Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Nappali tagozaton:
Előadás: heti 2 óra / 4 kredit
Teljesítés módja: Kollokvium.
A kurzus felvételének előfeltételei: Formális nyelvek és szintaktikus elemzésük, vagy a Formális nyelvek tárgy
Előadás anyaga: /pub/fatr/folia.ps
A faautomata a klasszikus automatának jelsorozatokról fákra való általánosítása. Az elmélet a hatvanas évek közepén-végén alakult ki, és már akkor bebizonyította alkalmazhatóságát a logikában és a szintaktikus alakfelismerésben. A fatranszformátorok egyik alaptípusa pedig a szintaxis vezérelt fordítások absztrakt modelljének tekinthető.
Algebrai előkészületek
Fák és erdők
A faautomaták különböző típusai
Reguláris fanyelvtanok
Műveletek erdőkön
Reguláris kifejezések
A faautomaták minimalizálása
Eldönthetőségi kérdések
Lokális erdők
Projekciók
A faautomaták és a környezetfüggetlen nyelvek kapcsolata
A faautomaták egy alkalmazása a környezetfüggetlen nyelvek elméletében
Gécseg Ferenc: Automaták és formális nyelvek, 6. fejezet. Polygon, Szeged, 2005.
Sikeres kollokvium