Este documento describe diferentes tipos de máquinas secuenciales, incluyendo autómatas finitos deterministas (AFD) y no deterministas (AFND). Un AFD siempre tiene una única transición posible desde cada estado y entrada, mientras que un AFND puede tener múltiples transiciones posibles desde un estado y entrada. También describe máquinas de estados finitas y máquinas de Moore, donde las salidas dependen del estado actual en lugar de la entrada.

1. MAQUINAS
SECUENCIALES
AUTOMATAS
FINITOS
DETERMINISTAS
Y NO
DETERMINISTAS

3. Es una máquina de estados finita, donde las salidas están determinadas por el
estado actual y la entrada. Esto significa que en el diagrama de estados se incluye
una señal de salida para cada arista de transición. Por ejemplo, en la trayectoria de
un estado 1 a un estado 2, si la entrada es cero la salida puede ser uno, y
se debe poner sobre la arista la etiqueta “0/1”.

5. La salida de una máquina de estado finito Moore (máquina de Moore), depende
solo del estado actual y no depende de la entrada actual. Por lo tanto, los estados
de una máquina de Moore son la unión de los estados de la máquina de Mealy y el
producto cartesiano de estos estados y alfabeto de entrada (posibles entradas).

9. Un autómata finito
determinista (abreviado
AFD) es un autómata
finito que además es un
sistema determinista; es
decir, para cada
estado en que se
encuentre el autómata,
y con cualquier símbolo
del alfabeto leído,
existe siempre a lo más
una transición posible
desde ese estado y con
ese símbolo.

10. Un autómata finito no
determinista (abreviado AFND) es
un autómata finito que, a
diferencia de los autómatas finitos
deterministas (AFD), posee al
menos un estado q ∈Q, tal que
para un símbolo a ∈ Σ del
alfabeto, existe más de una
transición δ(q,a) posible.
En un AFND puede darse
cualquiera de estos dos casos:
• Que existan transiciones del
tipo δ(q,a)=q1 y δ(q,a)=q2,
siendo q1 ≠ q2;
• Que existan transiciones del
tipo δ(q,ε), siendo q un estado
no-final, o bien un estado final
pero con transiciones hacia
otros estados.