Implement the FSM from this state-assigned table. Reset synchronously to state 000. The output z depends on the current state.
| Current state y | Next state if x=0 | Next state if x=1 | z |
|---|---|---|---|
| 000 | 000 | 001 | 0 |
| 001 | 001 | 100 | 0 |
| 010 | 010 | 001 | 0 |
| 011 | 001 | 010 | 1 |
| 100 | 011 | 100 | 1 |