| Finite state machines: implementing | |||||||||||||||
|
|||||||||||||||
| q1 | q0 | x | q1+ | q0+ | |||||||||||
| 0 | 0 | 0 | 1 | 0 | |||||||||||
| 0 | 0 | 1 | 0 | 1 | |||||||||||
| 0 | 1 | 0 | 0 | 1 | |||||||||||
| 0 | 1 | 1 | 1 | 0 | |||||||||||
| 1 | 0 | 0 | 0 | 1 | |||||||||||
| 1 | 0 | 1 | 0 | 0 | |||||||||||
| 1 | 1 | 0 | d | d | |||||||||||
| 1 | 1 | 1 | d | d | |||||||||||
| Step 1: State transition table | |||||||||||||||
| (a) Write next state | |||||||||||||||
| There is no state 11 | |||||||||||||||
| Put d for "don't care" as next state | |||||||||||||||