La teoría de autómatas es una rama de las ciencias de la computación que estudia matemáticamente máquinas abstractas.

Formalmente, un autómata finito (AF) puede ser descrito como una 5-tupla $\backslash langle\; Q,\; \backslash Sigma,\; \backslash delta,\; S\_0,\; F\backslash rangle$.

Ver

• Autómata finito
• Autómata con pila
• Máquina de Turing

Lenguajes formales

Automatentheorie | Automata theory | Automa (informatica) | תורת האוטומטים | Absztrakt automata | オートマトン | Teoria de Autômatos | Teória automatov | ทฤษฎีออโตมาตา