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