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:
Az automaták elmélete kialakulása óta kapcsolódott a matematikai, illetve számítási logikához. Büchi, Elgot és Rabin megmutatták, hogy a véges
és végtelen szavakon és fákon a véges automaták ekvivalensek a monadikus másodrendű logikával. Ezen kapcsolat felhasználásával számos struktúra első- és monadikus másodrendű elmélet valamint számítási logika eldönthetőségét sikerült igazolni. Az automaták és logika kapcsolatának vizsgálata a számítástudománynak ma is olyan területe, amelyen sok fontos új
eredmény születik. Ezek az eredmények hozzájárulnak olyan eszközök kifejlesztéséhez is, amelyek segítségével bonyolult hardver és szoftver rendszerek formális verifikálását teszik lehetővé.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2014-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).