Moore Machine:

It is a FA with no final state and it produces the output sequence for the given input sequence. In moore machine the output symbol is associated with each state.

Mealy machine:

It is a FA with no final state and it produces the output sequence for the given input sequence. In moore machine the output symbol is associated with each transition.

Logic:

Implementation:

$M = (Q, Σ, Ґ, δ,q_0, z_(0 ), F )$

$Q = {q_0, q_1, q_f}$

$Σ = {a, b}$

$Ґ = {X, R}$

$q_0 = q_0$

$z_0 = R$

$F = {q_f}$