Professional Documents
Culture Documents
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 1/5
Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata
10. Tìm dfa tối giản cho các ngôn ngữ sau:
L1 = {anbm: n ≥ 2, m ≥ 1}
L2= {anb: n ≥ 0} U {bna: n ≥ 1}}
L3 = {an: n ≥ 0, n ≠ 3}
11. Tìm các BTCQ cho các ngôn ngữ sau:
L1 = {w ∈ {a, b}*: số kí tự a trong chuỗi là một số lẽ}
L2 = {w ∈ {0, 1}*: chuỗi con 00 xuất hiện tối đa một lần}
(Ghi chú : chẳng hạn nếu w có chứa 000 thì xem như chuỗi con 00 xuất hiện đến 2 lần.)
L3 = {w ∈ {0, 1}*: w bắt đầu bằng 0 kết thết bằng 1 và không chứa chuỗi con 00}
12. Tìm biểu thức chính qui cho các nfa sau:
Nfa M1 Nfa M2
a B a b
q0 q1 q1 q0 q1 q2
q1 q2 q1 q1 q3
q2 q1 q2 q1
F = {q2} q3 q2
F = {q3}
13. Xây dựng các nfa và các dfa cho các BTCQ sau:
r1 = aa* + aba*b*
r2 = ab(a + ab)* (b + aa)
r3 = ab*aa + bba*ab
r4 = a*b(ab + b)*a*
r5 = (ab* + a*b)(a + b*a)* b
r6 = (b + a*)(ba* + ab)*(b*a + ab)
14. Cho VPTT-P sau:
S → aS|bA a) Xây dựng nfa cho VPTT-P trên.
A → bB|a b) Tìm BTCQ biểu thị cho ngôn ngữ được sinh ra bởi văn phạm trên.
B → aS|b c) Xây dựng VPTT-T tương đương với VPTT-P trên.
15. Cho hai ngôn ngữ L1 và L2 có hai dfa tương ứng M1 và M2 sau. Tìm dfa cho thương đúng của
L1/L2.
a a
b a, b b a M2 : a, b a b
M1 :
16. Cho hai ngôn ngữ có hai dfa tương ứng sau. Tìm dfa giao của hai dfa đã cho.
p2 q1
a b
b b a a
M1 : M 2:
b b
p0 p1 q0 q2
17. Sử dụng bổ đề bơm để chứng minh các ngôn ngữ sau là không chính qui:
L1 = {a2nbl: n ≥ 0, l ≥ n + 2}
L2 = {anblck: n = l+1 hoặc l ≠ k + 2}
18. Áp dụng tính đóng của họ NNCQ đối với các phép toán để chứng minh ngôn ngữ sau đây là
không chính qui:
L1 = {anblct : n, l, t ≥ 0, t ≠ n + l}
L2 = {anbl: n + l là hợp số}
biết rằng các ngôn ngữ L3 = {anbn: n ≥ 0} và L4 = {an: n là nguyên tố} là không chính qui.
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5
Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 4/5
Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 5/5