Teoría de Autómatas

Natural & Formal Sciences Dictionary
El estudio matemático de máquinas abstractas (autómatas) y de las clases de lenguajes formales que reconocen, incluyendo autómatas finitos, autómatas con pila, autómatas linealmente acotados y máquinas de Turing; relaciona propiedades algebraicas, lógicas y combinatorias de lenguajes y modelos computacionales.