...
q
0
q
2
q
1
Bài tập LýthuyếtNgô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
...
q
3
q
4
q
5
M
5
Bài tập LýthuyếtNgô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: ... các chuỗi w
1
= (a+b*c)*a và w
2
= (a + b)*+c
theo phương pháp Earley.
G:
E → T|E + T F → I|(E)
T → F|T * F I → a|b|c
Bài tập LýthuyếtNgônngữHìnhthứcvà Automata
Trường ĐH Bách...
... 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...
... 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ữ
... bó chặt
chẽ với Lýthuyếtngô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 ... 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ếtngônngữhìnhthứcvà ôtômat này và lời...
... 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 ... 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ố ... NÓI ĐẦU
Môn học ngônngữhìnhthứcvà automata có rất nhiều ứng dụng trong lĩnh vực khoa học
máy tính như xây dựng các trình biên dịch, nhận dạng và chuyển đổi giữa các ngônngữ khác
nhau…...
... 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ếtNgônNgữHìnhThức & Automata” phần ngônngữ phi
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 ... 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ố...
... Ng Duc Thuan
Lý ThuyếtNgônngữHìnhthức & Ôtômat 1 Nguyễn Đức Thuần
Ch-ơng I
Nhập môn về văn phạm & Ngônngữhìnhthức
1.khái niệm chung về ngônngữNgônngữ là ph-ơng ... 1 ngônngữhìnhthức trên ồ, nói gọn là một
ngôn ngữ trên ồ
Các tập { } và tập {e} đ-ợc xem là các ngônngữ trên bảng chữ cái bất kỳ.
Từ các ngônngữ cho tr-ớc, ta có thể thu đ-ợc các ngôn ... ng-ời và máy, hoặc giữa máy và máy. Ngônngữ giao tiếp
giữa ng-ời với ng-ời gọi là ngônngữ tự nhiên, chẳng hạn nh- tiếng Anh, tiếng Pháp
Ngôn ngữ giao tiếp giữa ng-ời và máy nh- các ngôn ngữ...
... tạp, ngữ nghĩa vàlýthuyết về
tính đúng đắn của các ngônngữ lập trình, lýthuyết mật mã, lýthuyết các cấu trúc
dữ liệu vàlýthuyết các cơ sở dữ liệu.
Lýthuyếtngônngữhìnhthứcvà ôtômat ... từ ngônngữ học
đến sinh vật học. Do đó những khía cạnh thích hợp của lýthuyếtngônngữhình
thức sẽ có tầm quan trọng quy
ết định trong các giáo trình về Lýthuyếtngônngữ
hình thứcvà ... 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...
... 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...
... 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ý...
... mô hình tính toán tự động
Ngôn ngữhìnhthức (formal languages):
Định nghĩa
Phân loại ngôn ngữ
Quan hệ với ôtômát
Ứng dụng vào việc xây dựng các ngônngữ lập trình
Trang 2
Lý thuyết ... Giới thiệu về lýthuyết tính toán
Chương 2 Ôtômát hữu hạn
Chương 3 Ngônngữ chính qui và văn phạm chính qui
Chương 4 Các tính chất của ngônngữ chính qui
Chương 5 Ngônngữ phi ngữ cảnh
Chương ... {a
n
b
n+m
c
m
: n, m ≥ 0}
Trang 3
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
TÀI LIỆU THAM KHẢO
1. Bài giảng lýthuyếtNgônngữHìnhthứcvàAutomat -
Hồ Văn Quân [2002].
2. An...
...
Nguyên lý làm việc của các chương trình dịch;
Lýthuyết thiết kế ngônngữ lập trình (ngôn ngữ người – máy và
dịch tự động);
Chuyển đổi từ ngônngữ lập trình này sang ngônngữ khác. ... trình ở ngônngữ đích (target program);
SL: ngônngữ nguồn (source languague);
TL: ngônngữ đích (target languague);
PL: ngônngữ lập trình (programming languague);
HLL: ngônngữ bậc ... khác.
Ứng dụng:
Hiểu từng ngôn ngữ, điểm mạnh điểm yếu của nó;
Lựa chọn ngônngữvà chương trình dịch thích hợp;
Phân biệt được công việc do CTD thực hiện và do CT ứng dụng
thực hiện;...