Disciplina matemática que se ocupa de un dispositivo abstracto llamado autómata, el cual realiza funciones específicas de cómputo o reconocimiento. La teoría de autómatas incluye el estudio de las capacidades y las limitaciones de los procesos de cáculo, la manera en la cual los sistemas reciben la información, la tratan, y producen una salida, y las relaciones entre teorías conductuales y la operación y el empleo de dispositivos automatizados.
