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

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