„Absztrakt automata” változatai közötti eltérés

Az [[elméleti számítógép-tudomány]]ban, az '''automata-elmélet''' az absztrakt számítógépek elméletével és azok problémáival foglalkozik, illetve megoldást keres azokra (azok matematikai reprezentációival, automatákkal, [[Turing-gép]]ekkel) foglalkozik). Az automata-elmélet közeli kapcsolatban áll a [[formális nyelv]]ek elméletével, ugyanis a [[formális nyelv]]ek egyes osztályaihoz különböző, azokat felismerni képes [[automata]] osztályok rendelhetők. A formális nyelv a [[matematika]], a [[logika]] és a [[informatika]] számára egy véges ábécéből generálható, véges hosszúságú szavak (például karakter stringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik.