Autómatas finitos con salida (Set 6)

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 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 ‘101’ como substring o la string de entrada comienza con ‘101’ o termina con ‘ 101’.
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 ‘w’ 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 ‘X’ e imprime ‘B’ como salida. El estado ‘X’ al obtener ‘1’ como entrada permanece en el estado de sí mismo e imprime ‘B’ como salida y al obtener ‘0’ como entrada transmite al estado ‘Y’ e imprime ‘B’ como salida y así sucesivamente para los estados restantes.
Por lo tanto, finalmente, la máquina Moore anterior puede dar fácilmente ‘A’ como salida al obtener ‘101’ como substring de entrada.

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

Explicación:
en el diagrama anterior, el estado inicial ‘w’ 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 ‘X’ e imprime ‘B’ como salida. El estado ‘X’ al obtener ‘1’ como entrada permanece en el estado de sí mismo e imprime ‘B’ como salida y al obtener ‘0’ como entrada transmite al estado ‘Y’ e imprime ‘B’ como salida y así sucesivamente para los estados restantes.
Por lo tanto, finalmente, la máquina Moore anterior puede dar fácilmente ‘A’ como salida al obtener ‘101’ como substring de entrada.