758
Modeling Arithmetic, Computation, and Languages
67. present state
next state
output
present input
0
1
0
1
2
0
1
2
3
1
2
3
4
0
3
2
1
1
4
5
4
1
5
6
7
0
6
5
6
1
7
8
1
0
8
7
3
0
63. Identify any unreachable states of M.
present state
next state
output
present input
0
1
s 0
s 2
s 0
0
s 1
s 2
s 1
1
s 2
s 2
s 0
1
64. Identify any unreachable states of M.
present state
next state
output
present input
a
b
c
s 0
s 1
s 0
s 3
0
s 1
s 1
s 3
s 0
1
s 2
s 3
s 2
s 1
0
s 3
s 1
s 1
s 0
0
For Exercises 65–74, minimize the given machine.
65. present state
next state
output
present input
0
1
0
3
6
1
1
4
2
0
2
4
1
0
3
2
0
1
4
5
0
1
5
3
5
0
6
4
2
1
66. present state
next state
output
present input
0
1
0
5
3
1
1
5
2
0
2
1
3
0
3
2
4
1
4
2
0
1
5
1
4
0
68. present state
next state
output
present input
0
1
0
7
1
1
1
0
3
1
2
5
1
0
3
7
6
1
4
5
6
0
5
2
3
0
6
3
0
1
7
4
0
0
69. present state
next state
output
present input
0
1
0
1
3
0
1
2
4
1
2
5
4
0
3
1
2
2
4
2
1
1
5
4
0
2
70. present state
next state
output
present input
0
1
0
1
3
0
1
2
0
0
2
0
3
0
3
2
1
0