Finite state machines: implementing

q₁

q₀

x

q₁⁺

q₀⁺

0

0

0

1

0

0

0

1

0

1

0

1

0

0

1

1

1

0

0

1

0

1

1

1

0

1

1

1

Step 1: State transition table

(a) Write next state

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

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