Los Diagramas de Estados:
se usan para representar gráficamente máquinas de estados finitos. Las Tablas de Transiciones son otra posible representación.
Hay muchas formas de diagramas de estados que difieren levemente y tienen semánticas diferentes.
Una forma clásica de un diagrama de estados para una máquina de estados finitos es un grafo dirigido con los siguientes elementos:
Ejemplos
Máquinas DFA, NFA, GNFA, o Moore
S1 y S2 son estados y S1 es un estado de aceptación. Cada arista está etiquetado con la entrada.