Thesis supervisor: Zoltán Ésik
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
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é.