témavezető: Ésik Zoltán
helyszín (magyar oldal): SZTE helyszín rövidítés: SZTE
A kutatási téma leírása:
A véges automata fogalmát az 1960-as évektől kezdődően kiterjesztették végtelen objektumokra, nevezetesen végtelen szavakra és fákra. Ezen automatákat felhasználva sikerült megmutatni számos első-rendű és monadikus másod-rendű elmélet, valamint programozási logika eldönthetőségét. Ugyanakkor kevés eredmény ismert olyan nyelvtanokra, amelyek végtelen objektumokból álló nyelveket generálnak.
A kitűzött feladat a végtelen objektumokból álló nyelvek felismerésére szolgáló automaták és az ilyen nyelveket előállító nyelvtanok vizsgálata és az eredmények felhasználása a számítástudomány egyéb területein.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2016-09-30
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Bejelentkezés
