Bejelentkezés
 Fórum
 
 
Témakiírás
 
Fülöp Zoltán
Szimbolikus faautomaták és fatranszformátorok

TÉMAKIÍRÁS

Intézmény: Szegedi Tudományegyetem
informatikai tudományok
Informatika Doktori Iskola

témavezető: Fülöp Zoltán
helyszín: SZTE
helyszín rövidítés: SZTE


A kutatási téma leírása:

A klasszikus faautomaták és fatranszformátorok [3-5] egyik legújabb általánosítása a hálózati adatbiztonsággal kapcsolatos [1-2]. Az általánosítás abban áll, hogy szimbolikus címkék alkalmazásával végtelen ábécé feletti fákat kezelünk. A címkék predikátumok, melyek egy Boole algebra elemeiből kerülnek ki. A szimbolikus faautomatákra vonatkozóan csak néhány zártsági és eldönthetőségi eredmény ismert, míg a szimbolikus fatranszformátorok jóformán teljesen ismeretlen terület. Ígéretesnek tűnik a szimbolikus felismerhető erdőkre vonatkozó Kleene és Büchi-Elgot tételek kidolgozása, illetve a szimbolikus fatranszformátorok kompozíciós és regularitás megőrző tulajdonságainak felderítése. Ugyancsak ígéretes kutatási téma a súlyozott szimbolikus faautomaták vizsgálata. A meghirdetett tématerv egy fő olyan hallgatónak szól, aki érdeklődik az elméleti számítástudomány iránt és szívesen végezne kutatómunkát a témában.

[1] M. Veanes and N. Bjorner, Foundations of Finite Symbolic Tree Transducers, Buletin of EATCS, 105 (2011) 141-173.
[2] M. Veanes and N. Bjorner, Symbolic tree transducers, In. Proc. of Perspectives of System Informatics (PSI 11), LNCS., Vol. 7162, p. 371-387, Sringer-Verlag, 2011.
[3] Z. Fülöp and H. Vogler. Syntax-directed semantics --- Formal Models Based on Tree
Transducers. Monogr. Theoret. Comput. Sci. EATCS Ser. Springer-Verlag, 1998.
[4] F. Gécseg and M. Steinby. Tree Automata. Akadémiai Kiadó, Budapest, 1984.
[5] F. Gécseg and M. Steinby. Tree languages. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, chapter 1, pages 1--68. Springer-Verlag, 1997.

felvehető hallgatók száma: 1

Jelentkezési határidő: 2017-03-31

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 1.2318 ( 2016. XI. 26. )