La teoría de autómatas es el estudio de dispositivos de cálculo abstractos, es decir, de las “máquinas”.