| 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 | |||||||||||||||