オートマトン・ 形式言語 演習問題解答例

オ ート マト ン ・ 形式言語 演習問題解答例
2015 年 10 月 13 日分
1
0
1
0
1
1
1
0
0
1
1
1
0
0
0
1
1
0
0
1
1. (a) w1 = 1010111 状態遷移: q0 → q1 → q2 → q2 → q0 → q1 → q1 → q1 , 受理
0
0
1
0
1
0
0
w2 = 0010100 状態遷移: q0 → q2 → q0 → q1 → q2 → q2 → q0 → q2 , 拒否
(b) w1 = 0011100 状態遷移: q0 → q1 → q0 → q2 → q0 → q2 → q2 → q2 , 拒否
0
1
0
1
0
1
w2 = 010101 状態遷移: q0 → q1 → q1 → q0 → q2 → q2 → q0 , 受理
(c) w1 = 011001 状態遷移: q0 → q0 → q1 → q2 → q0 → q0 → q1 , 拒否
1
0
1
1
1
0
1
w2 = 1011101 状態遷移: q0 → q1 → q0 → q1 → q2 → q3 → q1 → q2 , 受理
0
0
1
0
1
1
(d) w1 = 001011 状態遷移: q0 → q1 → q3 → q0 → q1 → q2 → q2 , 拒否
0
0
1
0
0
0
w2 = 001000 状態遷移: q0 → q1 → q3 → q0 → q1 → q3 → q3 , 受理
2.
(a) 受理状態を q0 から q3 に 変更する .
(b) 受理状態を q0 から q1 と q2 に 変更する .
3.
(a)
(b)
(c)
(d)
(e)
(f)
追加問題
1. 教科書 p.59 2.2.5(c)
2. 教科書 p.59 2.2.6(b)
2