Teori automata

Dalam teori sains komputer, teori automata ialah kajian mengenai mesin-mesin abstrak dan masalah-masalah yang mampu diselesaikannya. Teori automata sangat berkait rapat dengan teori bahasa formal dan teori automata kerap dikelaskan sebagai sebahagian kajian dalam bahasa-bahasa formal.

Sains komputer

de:Automatentheorie
en:Automata theory
es:Teoría de autómatas
fr:Théorie des automates
hr:Teorija automata
it:Automa (informatica)
he:תורת האוטומטים
hu:Absztrakt automata
ja:オートマトン
pt:Teoria de Autômatos
ru:Теория автоматов
sk:Teória automatov
th:ทฤษฎีออโตมาตา