Automata
On a theorical point of view, the Moore machine is a particular
case of the Mealy machine:
lmealy (si, xj) = lmoore (sk)
To all couple (input, state) of a Mealy machine corresponds
a state in the Moore machine
Difference of interpretation of the dynamic:
- Moore Machine, The outputs take a new value after
- Mealy Machine, the outputs take a new value
simulatneouly with the input event
l is an instantaneous function