Finite state machines: Mealy | |||||||||||||||
q1 | q0 | x | q1+ | q0+ | z |
|
|||||||||
0 | 0 | 0 | 1 | 1 | 1 | ||||||||||
0 | 0 | 1 | 0 | 1 | 1 | ||||||||||
0 | 1 | 0 | |||||||||||||
0 | 1 | 1 | |||||||||||||
1 | 0 | 0 | d | d | d | ||||||||||
1 | 0 | 1 | d | d | d | ||||||||||
1 | 1 | 0 | |||||||||||||
1 | 1 | 1 | |||||||||||||
Mealy machine has outputs dependent on current state and inputs | |||||||||||||||
Example: | |||||||||||||||
In state 00, input of 0 gives state 11 and output 1 | |||||||||||||||
In state 00, input of 1 gives state 01 and output 1 | |||||||||||||||
Fill in "don't cares" for state 10, which doesn't exist | |||||||||||||||