Máquina de moore e mealy

Máquinas de Moore e de Mealy
A Máquina de Moore possui uma função que gera uma palavra de saída (que pode ser vazia) para cada estado da máquina. Esta saída só depende do estado atual da máquina.
Já a Máquina de Mealy é um Autômato Finito modificado de forma a gerar uma palavra de saída para cada transição entre os estados. Neste tipo de máquina de estados estas palavras de saída dependem do estado atual e do valor das entradas.
Definições formais:
Uma Máquina de Mealy M é autômato finito determinístico com saídas associadas às transições e pode ser representada formalmente pela sêxtupla M = (Σ, Q, δ, q0, F, Δ), onde: Σ é um alfabeto de símbolos de entrada. Q é um conjunto de estados possíveis do autômato, o qual é finito. δ é a função programa ou de transição δ: QxΣ QxΔ* q0 é o estado inicial do autômato, tal que q0 é elemento de Q
F é um conjunto de estados finais tal que F está contido em Q.
Δ é um alfabeto de símbolos de saída.
O processamento de uma Máquina de Mealy para uma dada entrada w consiste na aplicação sucessiva da função programa para cada símbolo de w (da esquerda para a direita), até ocorrer uma condição de parada. Caso a saída da função programa seja uma palavra vazia, nenhuma gravação é realizada, ou seja, a cabeça da fita não se move. Porém se todas as transições de uma determinada máquina de Mealy gerarem saídas vazias, então esta se comporta como um Autômato Finito.
Já uma Máquina de Moore M, como dito anteriormente, é um Autômato Finito Determinístico com suas saídas associadas aos estados. É representada formalmente por uma sêxtupla
M = (Σ, Q, δ, q0, F, Δ, δS), onde: Σ é um alfabeto de símbolos de entrada.
Q é um conjunto de estados possíveis do autômato, o qual é finito. δ é a função programa ou de transição δ: QxΣ Q q0 é o estado inicial do autômato, tal que q0 é elemento de Q
F é um conjunto de estados finais tal que F está contido em Q.
Δ é um alfabeto de símbolos de saída. δS é a função de saída δS: Q