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”.
4.
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).
6.
7.
8.
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.