Q2 Q1 Q0 Q2+ Q1+ Q0+
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Q2 Q1 Q0 Q2+ Q1+ Q0+
0 0 0 0
0
1
0 0 1 0
1
0
0 1 0 0
1
1 𝑄2+
0 1 1 1
0
0 = 𝑄2𝑄1 𝑄0 + 𝑄2𝑄1𝑄0
1 0 0 1
0
1
+
𝑄1
1 0 1 0
0
0
= 𝑄2𝑄1𝑄0 + 𝑄2 𝑄1𝑄0
1 1 0 0
0
0
1 1 1 0
0
0 𝑄0+ = 𝑄2 𝑄0 + 𝑄1 𝑄0
𝑄2+ = 𝑄2𝑄1 𝑄0 + 𝑄2𝑄1𝑄0
𝑄1+ = 𝑄2𝑄1𝑄0 + 𝑄2 𝑄1𝑄0
𝑄0+ = 𝑄2 𝑄0 + 𝑄1 𝑄0
Q2+
Q1+
Q0+
0
0
0
0
0
1
0
0
0
1
1
0
0
0
0
1
1
1
0
0
0
Q2
Q1
Q0
x
0
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
0
0
0
1
0
0
1
1
0
1
0
1
0
1
1
1
1
0
1
1
1
1
Q2
Q1
Q0
x
Q2+
Q1+
Q0+
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
1
0
0
1
1
0
1
0
0
1
0
0
0
1
0
0
1
0
1
0
1
1
0
1
1
0
0
1
1
0
1
1
1
1
0
0
1
0
0
0
1
0
0
1
0
0
1
1
0
1
1
0
1
0
1
0
1
1
0
1
1
0
0
0
1
1
0
0
0
0
0
1
1
0
1
0
0
0
1
1
1
0
0
0
0
1
1
1
1
0
0
0
𝑄2+
= 𝑄2𝑄1𝑄0𝑥 + 𝑄2𝑄1 𝑄0
+ 𝑄2𝑄1𝑥
𝑄1+
= 𝑄2 𝑄1𝑄0𝑥 + 𝑄2𝑄1𝑄0
+ 𝑄2𝑄1𝑥
𝑄0+
= 𝑄2 𝑄0𝑥 + 𝑄2𝑄0𝑥
+ 𝑄1 𝑄0𝑥 + 𝑄1𝑄0𝑥
𝑄2+ = 𝑄2𝑄1𝑄0𝑥 + 𝑄2𝑄1 𝑄0 + 𝑄2𝑄1𝑥
𝑄1+ = 𝑄2 𝑄1𝑄0𝑥 + 𝑄2𝑄1𝑄0 + 𝑄2𝑄1𝑥
𝑄0+ = 𝑄2 𝑄0𝑥 + 𝑄2𝑄0𝑥 + 𝑄1 𝑄0𝑥 + 𝑄1𝑄0𝑥
Detect bit sequence - 1001
Q1 Q0 x Q1+ Q0+ z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Q1 Q0 x Q1+ Q0+
0 0 0 0
0
0 0 1 0
1
0 1 0 1
0
0 1 1 0
1
1 0 0 1
1
1 0 1 0
1
1 1 0 0
0
1 1 1 0
1
z
0
0
+
𝑄1
= 𝑄1𝑄0𝑥 + 𝑄1𝑄0𝑥
0
0
𝑄0+ = 𝑥 + 𝑄1𝑄0
0
0
𝑧 = 𝑄1𝑄0𝑥
0
1
𝑄1+ = 𝑄1𝑄0𝑥 + 𝑄1𝑄0𝑥, 𝑄0+ = 𝑥 + 𝑄1𝑄0
𝑧 = 𝑄1𝑄0𝑥