| 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 | |||||||||||||
| 1 | 0 | 1 | |||||||||||||
| 1 | 1 | 0 | |||||||||||||
| 1 | 1 | 1 | |||||||||||||
| Step 1: State transition table | |||||||||||||||
| (a) Write next state | |||||||||||||||
| When state is 01 and input is 0, next state is 01 | |||||||||||||||
| When state is 01 and input is 1, next state is 10 | |||||||||||||||