... phạm hìnhthứcvà các ôtômat cũng
như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính
chất của ngônngữ chính quy, ngônngữ phi ngữ cảnh, ngônngữ đệ quy vàngôn
ngữ
... là một ngônngữ trên
Σ
. Đặc biệt, tập
∅
là một ngônngữ trên
Σ
, gọi
là ngônngữ rỗng; tập {
ε
} cũng là một ngônngữ trên
Σ
, đây là ngônngữ chỉ chứa
từ rỗng và
Σ
*
là ngônngữ gồm ... văn phạm, ngônngữhìnhthứcvà ôtômat.
Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý
cho công việc viết giáo trình Lý thuyết ngônngữhìnhthứcvàôtômat này và lời...
... QUI
CHƯƠNG 4. VĂN PHẠM VÀNGÔNNGỮ PHI NGỮ CẢNH
CHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNG
CHƯƠNG 6. MÁY TURING
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG
Giới thiệu
Giáo trình Kiến trúc máy tính và Hệ
điều hành
9
CHƯƠNG ... hành
1
ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG ĐẠI HỌC BÁCH KHOA
KHOA CÔNG NGHỆ THÔNG TIN
NGÔN NGỮHÌNHTHỨC & ÔTÔMÁT
Giáo trình Kiến trúc máy tính và Hệ
điều hành
41
CHƯƠNG 2. ÔTÔMÁT HỮU HẠN
TRƯỜNG ĐẠI HỌC BÁCH ... hiệu vào từ
trái sang phải. Mỗi lần đọc thì xác định lại trạng
thái qua hàm chuyển trạng thái.
-
Nếu đọc xong xâu vào mà rơi vào trạng thái kết
thúc thì xâu vào được đoán nhận ngược lại xâu
vào...
... Mệnh đề:
Mọi ngônngữ hữu hạn đều là ngônngữ chính quy.
Chứng minh:
Ngônngữ hữu hạn là hợp hữu hạn của các ngônngữ một từ, nên từ
Thí dụ 13 (ngôn ngữ một từ là chính quy) và từ Hệ quả 1.3.3 ... Nếu L
1
và L
2
là hai ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm
ngữ cảnh) thì L
1
L
2
cũng là ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ cảnh).
Thí dụ 15:
1) Cho hai ngônngữ L
1
={a
n
b
n
... học. Ngônngữhìnhthức được sử dụng trong việc
xây dựng các ngônngữ lập trình, lý thuyết về các chương trình d
ịch. Các ngôn
ngữ hìnhthức tạo thành một công cụ mô tả đối với các mô hình...
... hãy chứng minh ngônngữ sau đây không là ngônngữ
chính quy: L = {a
i
b
j
c
j
d
i
| i, j ≥ 1}
Giả sử L là ngônngữ chính quy. Khi đó sẽ tồn tại một DFA M chấp nhận cho ngônngữ L.
Gọi n ... a
lớn hơn n (và số ký hiệu d không đổi là n). Vậy trong chuỗi uv
2
w sẽ có số ký hiệu a nhiều hơn ký
hiệu d, hay chuỗi uv
2
w không thuộc ngônngữ L.
Vậy giả thiết L là ngônngữ chính quy sai, ... L không là ngônngữ chính quy.
Câu 2 (2.0 điểm): Bạn hãy tìm một DFA tương đương với NFA sau:
DFA tương đương:
Câu 3 (1.5 điểm): Bạn hãy vẽ một automata hữu hạn chấp nhận cho ngônngữ được ký...
... văn phạm, ngônngữhìnhthứcvà ôtômat.
Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý
cho công việc viết giáo trình Lý thuyết ngônngữhìnhthứcvàôtômat này và lời
cám ... Nếu L
1
và L
2
là hai ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm
ngữ cảnh) thì L
1
∪ L
2
cũng là ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ
cảnh).
Thí dụ 14: Cho hai ngônngữ L
1
={a
n
cb
2n
... chặt
chẽ với Lý thuyết ngônngữhìnhthứcvà ôtômat. Một phần rất quan trọng trong lý
thuyết thuật toán là lớp các ngônngữ (hay bài toán) P và NP cũng như lớp các
ngôn ngữ NP-đầy đủ được giới...
... BCNF.
103
2.5. Định lý: Ngônngữ SAT là NP-đầy đủ.
2.6. Định lý: Ngônngữ CONSAT là NP-đầy đủ.
2.7. Định lý: Ngônngữ 3-CONSAT là NP-đầy đủ.
2.8. Định lý: Ngônngữ KNAPSACK là NP-đầy đủ. ... Diệu,
Lý thuyết ôtômatvà thuật toán, NXB Đại học và Trung học
chuyên nghiệp, Hà Nội, 1977.
[2] Đỗ Đức Giáo, Đặng Huy Ruận,
Văn phạm vàngônngữhình thức, NXB Khoa
học và Kỹ thuật, Hà Nội, ... ngônngữ mà ta sẽ
gọi là các ngônngữ NP-đầy đủ nhận được thực tế từ mọi lĩnh vực của toán học.
1.10. Định nghĩa: Ngônngữ L
1
⊂Σ
1
*
được gọi là dẫn được trong thời gian đa thức
về ngôn ngữ...
... mà ngônngữ lập trình cổ điển có.
4. Mở rộng ngônngữ (language extension). Bộ tiền xử lý tăng khả năng cho ngôn
ngữ bằng một số các macro nội tại của nó. Thí dụ ngônngữ Equel là ngônngữ ... phép chiếu ngữ nghĩa, trong đó cấu trúc cú pháp của câu trong
ngôn ngữ nguồn sẽ được ánh xạ đến vùng xuất – đó là ngônngữ đích (cuối cùng
cũng là ngônngữ máy). Ngữ nghĩa của ngônngữ là phép ... là ngônngữ phải chứa đựng
các cấu trúc thuật ngữ, phần tử dùng để miêu tả vấn đề và không phụ thuộc vào
máy tính cụ thể.
Các ngônngữ lập trình có tính chất như trên được gọi là ngôn ngữ...
... lý: Một ngônngữhìnhthức là loại 0 khi và chỉ khi nó là đệ quy đếm
được. Điều này có nghĩa là lớp ngônngữhìnhthức loại 0 chính là lớp ngônngữ đệ
quy đếm được.
4.3.7. Chú ý: Nhờ vào Định ... vấn đề ngônngữ này có thuộc hay không lớp con đã cho của lớp các
ngôn ngữ đệ quy đếm được.
Ta nói rằng một tính chất của các ngônngữ đệ quy đếm được là tầm thường
nếu hoặc mọi ngônngữ đệ ... thuộc ngônngữhìnhthức đã cho hay không. Trong
trường hợp ngược lại thì bài toán được gọi là giải đượ
c bằng thuật toán. Như vậy,
một vấn đề giải được bằng thuật toán nếu và chỉ nếu ngônngữ hình...
... đoán
nhận hết lớp ngônngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả
năng đoán nhận được lớp con thực sự của lớp ngônngữ phi ngữ cảnh mà thôi. Tuy
vậy, lớp ngônngữ được đoán nhận ... trình hình thành các xâu của
ngôn ngữ. Vì lẽ đó cần loại bỏ những yếu tố dư thừa không có ích trong việc sinh
ngôn ngữ, sao cho việc loại bỏ đó không làm ảnh hưởng tới quá trình sinh ngôn
ngữ. ... một ngônngữ phi ngữ cảnh. Khi đó tồn tại một ôtômat
đẩy xuống M đoán nhận L theo tập trạng thái kết thúc.
Chứng minh: Giả sử G=<
Σ, ∆, S, P> là văn phạm phi ngữ cảnh sinh ra ngôn ngữ...
...
q
0
q
2
q
1
Bài tập Lý thuyết NgônngữHìnhthứcvà Automata
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 4/5
PHẦN NGÔNNGỮ PHI NGỮ CẢNH
19. Tìm các VPPNC cho các ngônngữ sau:
L
1
= {a
2n+1
bn
+2
: ...
q
3
q
4
q
5
M
5
Bài tập Lý thuyết NgônngữHìnhthứcvà Automata
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5
10. Tìm dfa tối giản cho các ngônngữ sau:
L
1
= {anbm: n ≥ 2, ... văn phạm sau cho ngônngữ L = {w: n
a
(w) = n
b
(w)} không là văn phạm LL:
S → aSbbSaSSλ.
33. Tìm các văn phạm LL cho các ngônngữ sau (chỉ ra k bằng bao nhiêu) và dựa vào tính chất của...
... cảnh)
(A). Tồn tại m
ột ngônngữ CNC mà không PNC. (B). Lớp ngônngữ đệ qui và CNC là đồng nhất.
(C). Lớp ngônngữ khả liệt kê đệ qui bao trùm mọi ngôn ngữ. (D). Lớp ngônngữ PNC chỉ bao gồm hai ... ngônngữ nào cũng tồn tại máy Turing chấp nhận nó. (D). Cả A, B, C đúng
(E). Chỉ có A, B đúng.
50. Từ các lớp ngônngữ đã nghiên cứu chúng ta có thể phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ ...
(D). Cả A, B, C đúng (E).Cả A, B, C sai
47. Cho L
1
, L
2
là các ngônngữ PNC, L
3
là ngônngữ chính qui còn L
4
là ngônngữ không PNC. Thì
(A).
1
L
∩
2
L
là PNC.
(B).
4
L
là không...
... giúp cho người đọc làm quen với một số khái niệm về
Ngôn ngữHìnhthức & Automat như chuỗi, ngônngữvà văn phạm chính qui, ngôn
ngữ và văn phạm PNC, cây dẫn xuất… để có thể dễ dàng đọc ... cái gì đó bên ngoài ngônngữ chính qui, để bao trùm
những vấn đề này ta phải mở rộng ngônngữ dẫn đến việc nguyên cứu ngônngữvà văn phạm
phi ngữ cảnh.
5.1- Văn Phạm Phi Ngữ Cảnh
Các luật sinh ... của ngônngữ lập
trình vàngônngữ tự nhiên. Các giải thuật phân tích cú pháp cho các văn phạm phi ngữ cảnh đã và
đang đóng một vai trò rất lớn trong việc thực hiện các chương trình dịch cho ngôn...
... giúp cho người đọc làm quen với một số khái niệm về
Ngôn ngữHìnhthức & Automat như chuỗi, ngônngữvà văn phạm chính qui, ngôn
ngữ và văn phạm PNC, cây dẫn xuất… để có thể dễ dàng đọc ... VÀ THIẾT KẾ
Sau đây chúng ta bắt đầu đi vào việc phân tích cụ thể cho bộ công cụ thực hiện một số
giải thuật trong môn học “ Lý Thuyết NgônNgữHìnhThức & Automata” phần ngônngữ phi
ngữ ... thuật trong môn học ngônngữhìnhthứcvà
Automata.” Ngoài các giải thuật biến đổi văn phạm, tập trung vào nghiên cứu và hiện thực hai giải
thuật phân tích cú pháp CYK và Earley, Đánh giá số...