Autómatas finitos con salida (Conjunto 3)

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 {a, b} como entrada y cuentan el número de substrings ‘a’.
Aquí tenemos,
Ε = {a, b} y
Δ = {0, 1}
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 ‘b’ como entrada, permanece en el estado de sí mismo e imprime ‘0’ como salida y al obtener ‘a ‘ como entrada, pasa a un estado ‘Y’ e imprime ‘1’ como salida. El estado ‘Y’ al obtener ‘a’ como entrada, permanece en el estado de sí mismo e imprime ‘1’ como salida y al obtener ‘b’ como entrada, vuelve al estado ‘X’ e imprime ‘0 ‘ como salida.
Por lo tanto, finalmente, la máquina Moore puede contar fácilmente la substring ‘a’, es decir, al obtener ‘a’ como la substring, da ‘1’ como salida, por lo tanto, al contar el número de ‘1’ podemos contar el número de substrings ‘a’.

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

Explicación:
en el diagrama anterior, el estado inicial ‘X’ al obtener ‘b’ como entrada, permanece en el estado de sí mismo e imprime ‘0’ como salida y al obtener ‘a ‘ como entrada, pasa a un estado ‘Y’ e imprime ‘1’ como salida. El estado ‘Y’ al obtener ‘a’ como entrada, permanece en el estado de sí mismo e imprime ‘1’ como salida y al obtener ‘b’ como entrada, vuelve al estado ‘X’ e imprime ‘0 ‘ como salida.
Por lo tanto, finalmente, la máquina Moore puede contar fácilmente la substring ‘a’, es decir, al obtener ‘a’ como la substring, da ‘1’ como salida, por lo tanto, al contar el número de ‘1’ podemos contar el número de substrings ‘a’.