|
Téma:
|
Matematika
|
|
Pályázat:
|
TÁMOP 0027
|
|
Ismertető:
|
A jegyzet az automaták algebrai elméletének alapjait tárgyalja, rámutat
a véges automaták és a formális nyelvek közötti kapcsolatokra. A munka
hiánypótlónak számít, mert hasonló jellegű tankönyvet utoljára a korán elhunyt
Peák István (1938-1989) publikált a hetvenes évek végén. Mondhatjuk,
hogy a jegyzet III. és IV. része magyar területnek is tekinthető Gécseg
Ferenc akadémikus és munkatársai munkássága alapján. A szerző saját
eredményeit is felhasználva, több újdonságot tartalmaz az I., II. és főleg az
V. rész is. Az eredmények és a bizonyítások mutatják az univerzális algebra
ill. az absztrakt algebra (csoportelmélet, félcsoportelmélet, hálóelmélet)
hatékony alkalmazhatóságát az automataelméletben
|
|
|
|
Szerzők:
|
Babcsányi István
|
|
|
|
Kulcsszavak:
|
irányítható (szinkronizálható) automaták
Mealy automaták
Moore automaták
automaták kongruenciái
karakterisztikus félcsoport
Reguláris nyelvek
Kleene tétele
Krohn–Rhodes tétel
|
|
|
|
|
ALGEBRAI AUTOMATAELMÉLET