La programación basada en autómatas es un paradigma de programación informática que trata las secciones del programa como autómatas finitos. Cada autómata puede dar un "paso" a la vez, y la ejecución del programa se divide en pasos individuales. Los pasos se comunican entre sí cambiando el valor de una variable que representa "el estado" y el flujo de control del programa está determinado por el valor de esa variable.

La variable "estado" puede ser un tipo de datos de enumeración simple, pero se pueden usar estructuras de datos más complejas. Una técnica común es crear una tabla de transición de estado, una matriz bidimensional que comprende filas que representan cada estado posible y columnas que representan el parámetro de entrada. El valor de la tabla donde se encuentran la fila y la columna es el siguiente estado al que la máquina debe hacer la transición si se cumplen ambas condiciones.

Máquina de estados finitos, entrada, paradigma, términos de programación