Thesis supervisor: Zoltán Ésik
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
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.
Number of students who can be accepted: 1
Deadline for application: 2015-05-15
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).