Automata Theory

O estudo de máquinas abstratas e autômatos, bem como os problemas computacionais que podem ser resolvidos usando-os. É um campo da ciência da computação teórica.