Es posible encontrar una gran variedad de clasificaciones de  máquinas de estados, en nuestro caso y desde la  perspectiva de la teoría de la computación, presentaremos un esquema evolutivo, en donde cada nueva máquina presentada de acuerdo a las limitaciones impuestas genera una familia o conjunto en donde cada nueva definición ampliará las potencialidad de las anteriores.

Cada nueva máquina puede ser definida a partir de la definición de la anterior en donde se  le levantará alguna restricción o se le proveerá de alguna capacidad adicional.

.   

Esta primer división  entre Máquinas Secuenciales y Máquinas de Estados, se debe a que las primeras no poseen estado inicial ni estados de finalización previstos, mientras que las Máquinas de Estados, a diferencia de las anteriores tienen un estado inicial que es por donde comenzará a aplicarse la secuencia de transiciones en su ejecución y un conjunto de estados de finalización.