Este documento describe diferentes tipos de autómatas, incluyendo autómatas finitos, probabilísticos, a pila, células de McCulloch-Pitts, máquinas de Turing y autómatas celulares. Define un autómata finito como un modelo computacional que realiza cálculos automáticos sobre una entrada para producir una salida, diseñado para aceptar o reconocer cadenas de símbolos. También explica brevemente las características de los otros tipos de autómatas.