... một ngônngữhìnhthức hay
ngắn gọn hơn 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ữ ... phạm hìnhthức và 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ức và ô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...
...
q
0
q
2
q
1
Bài tập LýthuyếtNgônngữHìnhthức và 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ức và 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: ... Bài tập LýthuyếtNgônngữHìnhthức và Automata
Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 5/5
L
4
...
... 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...
... file
Output
Storage
Trang 7
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
Giới thiệu
Ôtômát
Các 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 ... của ngônngữ chính qui
Chương 5 Ngônngữ phi ngữ cảnh
Chương 6 Đơn giản hóa văn phạm phi ngữ cảnh và các
dạng chuẩn
Chương 7 Ôtômát đẩy xuống
Chương 8 Các tính chất của ngônngữ phi ngữ ... ngônngữ lập trình
Trang 2
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
NỘI DUNG MÔN HỌC
Chương 1 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ôn ngữ...
... phức 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ức và ... 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ức và ôtômat.
Ngoài ra, một trong các vấn đề cơ bản của lýthuyết tính ... 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...
...
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 ... (high level languague);
IL: ngônngữ trung gian (intermediate languague);
NL: ngônngữ tự nhiên (natural languague);
MC: mã máy (machine code);
ML: ngônngữ máy (machine languague);...
... thêm cho việc học môn học NgônNgữHìnhThức & Automata” . Bộ công cụ này
cho phép sinh thấy rõ cách thức hoạt động của một số giải thuật của phần ngônngữ phi ngữ cảnh,
cũng như thấy được ... là 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 ... = L(r
1
)
+ L(r
1
*
) = (L(r
1
))
*
5. NGÔNNGỮ PHI NGỮ CẢNH
Trong thực tế hàng ngày không phải tất cả các ngônngữ điều là chính qui. Trong khi ngôn
ngữ chính qui hiệu quả trong việc mô tả...
... 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ữ cảnh.
I - YÊU CẦU ĐẶT RA CHO CHƯƠNG TRÌNH
1.1 Mục Tiêu Của Chương ... thêm cho việc học môn học NgônNgữHìnhThức & Automata” . Bộ công cụ này
cho phép sinh thấy rõ cách thức hoạt động của một số giải thuật của phần ngônngữ phi ngữ cảnh,
cũng như thấy được ... là 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...
... giáo trình
CHƯƠNG 1. MỞ ĐẦU
CHƯƠNG 2. ÔTÔMÁT HỮU HẠN
CHƯƠNG 3. BIỂU THỨC VÀ VĂN PHẠM CHÍ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 ... tính và Hệ
điều 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 ... ĐẦU
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG
2. Văn phạm
2.3. Ngônngữ được sinh ra từ văn phạm
-
Tập hợp các câu được sinh ra từ văn phạm sẽ
tạo nên ngôn ngữ.
-
Xác định câu được sinh ra từ văn phạm:
Từ...