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:
Jól ismert az, hogy a számítástudományban mindenhol fellelhető rekurzív definíciók fixpont egyenletekhez vezetnek. Az utóbbi évtizedekben sikerült igazolni azt, hogy a számítástudomány számos alapvető eredménye csak a fixpont művelet néhány azonosságán múlik. Kleene nevezetes tétele mellett (amely a reguláris és a véges automatákkal felismerhető nyelvek ekvivalenciáját mondja ki) ilyen pld. Parikh nevezetes tétele a környezetfüggetlen nyelvekre, a Floyd-Hoare logika helyessége és relatív teljessége, stb. A fixed pont műveletek teljes axiomatizálását adják az iterációs elméletek. A kitűzött feladat az iterációs elméletek alkalmazása a számítástudomány különböző
területeinek axiomatikus tárgyalásában.