Autómatas finitos con salida (conjunto 5)

Requisito previo: Máquinas Mealy y Moore , diferencia entre la máquina Mealy y la máquina Moore

En este artículo, veremos algunos diseños de autómatas finitos con salida, es decir, máquinas de Moore y Mealy.
Problema: construcción de máquinas que toman un conjunto de todas las strings sobre {0, 1} como entrada y producen ‘A’ como salida si la entrada contiene ‘1’ como substring o la string de entrada comienza con ‘1’ o termina con ‘ 1’.
Aquí tenemos,
Ε = {0, 1} y
Δ = {A, B}
donde Ε y Δ son el alfabeto de entrada y salida respectivamente.

La máquina de Moore requerida se construye a continuación: –

Explicación:
en el diagrama anterior, el estado inicial ‘X’ al obtener ‘0’ como entrada, permanece en el estado de sí mismo e imprime ‘B’ como salida y al obtener ‘1 ‘ como entrada, pasa a un estado ‘Y’ e imprime ‘A’ como salida. El estado ‘Y’ al obtener ‘1’ como entrada permanece en el estado de sí mismo e imprime ‘A’ como salida y al obtener ‘0’ como entrada vuelve al estado ‘X’ e imprime ‘B ‘ como salida.
Por lo tanto, finalmente, la máquina Moore anterior puede dar fácilmente ‘A’ como salida al obtener ‘1’ como substring de entrada.

La máquina Mealy requerida se construye a continuación: –

Explicación:
en el diagrama anterior, el estado inicial ‘X’ al obtener ‘0’ como entrada, permanece en el estado de sí mismo e imprime ‘B’ como salida y al obtener ‘1 ‘ como entrada, pasa a un estado ‘Y’ e imprime ‘A’ como salida. El estado ‘Y’ al obtener ‘1’ como entrada permanece en el estado de sí mismo e imprime ‘A’ como salida y al obtener ‘0’ como entrada vuelve al estado ‘X’ e imprime ‘B ‘ como salida.
Por lo tanto, finalmente, la máquina Mealy anterior puede dar fácilmente ‘A’ como salida al obtener ‘1’ como substring de entrada.