Autómata de estados finitos.

Es una quíntupla (Q, ∑, δ, q0, F) Tal que:

 Q es un conjunto finito de estados
 ∑ es un alfabeto de entrada
 q0 Ꞓ Q es el estado inicial,
 F Q es el conjunto de estados finales
 δ es la función de transición que proyecta Q × ∑ en Q.
Es decir, δ (q, a) es un estado para cada estado q y cada símbolo de entrada a.

Para comprender mejor cómo se comporta exactamente el autómata. Hay tres condiciones
previas sobre las situaciones en que el autómata debe detenerse.

1. En primer lugar, si el primer símbolo que lee el autómata es la cadena vacía ", se
detendrá en este punto, en el supuesto de que al autómata «nunca se le hacen
trampas», es decir, que el primer símbolo de la cadena siempre se halla en la
primera casilla de la cinta y no en cualquier otro lugar. El motivo es simple, cualquier
cadena puede ir precedida por un número indeterminado de cadenas vacías, de tal
modo que, si permitiéramos este tipo de situaciones, el autómata debería ir
recorriendo la cinta durante un tiempo indefinido hasta localizar la cadena que debe
computar.
2. En segundo lugar, el autómata se detendrá siempre cuando el último símbolo que
lee es la cadena vacía. Este supuesto también es lógico: si después de leer un
símbolo, el autómata se desplaza hacia la derecha y lee la cadena vacía, debemos
asumir que ha llegado al final y que ya no le quedan más símbolos por leer. Con
este supuesto, nos ahorramos la necesidad de incluir el símbolo especial de final de
cadena y de definir transiciones especiales para cuando el autómata se tope con la
cadena vacía.
3. Finalmente, el autómata se detendrá, se halle donde se halle, si no hay una
transición definida para la configuración en la que se encuentra en ese momento.

Diagrama de transiciones Manera gráfica de visualizar mejor el funcionamiento

de un autómata.

En el diagrama,
 Los estados se representan mediante círculos.
 Los estados finales aparecen como círculos dobles.
 El estado inicial con una flecha que apunta hacia él.
 Las transiciones se representan mediante flechas que conectan estados y
van etiquetadas con un símbolo