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é.
Login
