Finite state machines: implementing

q₁

q₀

x

q₁⁺

q₀⁺

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

1

1

1

Step 1: State transition table

(a) Write next state

When state is 10 and input is 0, next state is 01

When state is 10 and input is 1, next state is 00