... 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ữ
... về văn phạm, ngônngữhìnhthức và ô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ức và ôt mat này và ... 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ôn ngữ...
...
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: ... là nguyên tố} là không chính qui.
M
1
:
a
b a
b
a, b
M
2
:
a
b
a
a, b
a
b
b b
p
0
p
1
p
2
b
b
a a
q
0
q
2
q
1
Bài tập LýthuyếtNgônngữHìnhthức và Automata
Trường ĐH ... 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
=...
... (PNC: phi ngữ cảnh, CNC: cảm ngữ 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). ... đơn định hay không. có thuộc họ LL(1) hay khô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ì ... Lớp các ngônngữ phi ngữ cảnh ĐƠN ĐỊNH thì (VP: văn phạm)
(A). Tồn tại giải thuật thành viên có độ phức tạp tuyến tính. (B). Tồn tại VP biểu diễn mà không nhập nhằng.
(C). Chứa các ngônngữ được...
... 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 ... Thuan
Lý ThuyếtNgônngữHìnhthức & Ôt mat 4 Nguyễn Đức Thuần
Còn Ôt mat (automata) là một cơ chế cho phép đoán nhận 1 xâu bất kỳ có thuộc về
ngôn ngữ hay không. Tuy nhiên, về mặthìnhthức ... th-ờng biểu diễn ngônngữ nhờ 1 văn phạm
hay nhờ 1 Ôt mat. Văn phạm là một cơ chế cho phép sản sinh ra mọi xâu của ngôn ngữ.
Ng Duc Thuan
Lý ThuyếtNgônngữHìnhthức & Ôt mat 9 Nguyễn Đức...
... Duc Thuan
Lý ThuyếtNgônNgữHìnhThức & Ôt mat 30 Nguyễn Đức Thuần
<biểu thức& gt;
<biểu thúc> * <biểu thức& gt;
( <biểu thức& gt; ) db
<biểu thức& gt; ... Thuan
Lý ThuyếtNgônNgữHìnhThức & Ôt mat 39 Nguyễn Đức Thuần
3.2.6.1 Định lý : Mọi ngônngữ phi ngữ cảnh không chứa xâu e đều có thể sinh ra
từ một văn phạm phi ngữ cảnh không có ký hiệu ... nhiều chu trình, chẳng hạn A,B,C,A. Vậy ngônngữ là vô hạn.
S
S
S
S
S
S
S
S
Ng Duc Thuan
Lý ThuyếtNgônNgữHìnhThức & Ôt mat 42 Nguyễn Đức Thuần
Trong phần...
... 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ữ
... về văn phạm, ngônngữhìnhthức và ô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ức và ôt mat này và lời ... 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...
... Một ngônngữ L được gọi là NP-khó nếu với mọi ngônngữ L’
trong NP, ta có L’
≤
P
L.
Ngônngữ L được gọi là NP-đầy đủ nếu nó là NP-khó và L
∈NP.
2.2. Chú ý: Các ngônngữ NP-đầy đủ có thể hình ... quyết định vì các ngônngữ nằm ngoài P có
thể xem là không thể tính được. Trên th
ực tế ta nói rằng một ngônngữ đệ quy là
bất trị nếu nó không thuộc P.
Rõ ràng rằng các ngônngữ nằm ngoài P ...
[1] Phan Đình Diệu,
Lý thuyết ôt mat và 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à...
... 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 ... của các ngôn ngữ.
Phân loại: 1) Ngônngữ máy (machine language),
2) Hợp ngữ (assembly language),
3) Ngônngữ cấp cao (higher-level language).
Bởi vì máy tính chỉ có thể hiểu ngônngữ máy...
... 37
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
Phân loại ôtômát
Dựa vào hoạt động của ôtômát, có đơn định hay không:
có hai loại ôtômát.
Ôtômát đơn định (deterministic automata): ... 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 ... chuỗi.
Trang 9
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
Ba khái niệm cơ bản
Ngôn ngữ (languages)
Văn phạm (grammar)
Ôtômát (automata)
Trang 38
Lý thuyết Ôtômát & NNHT - Khoa Công...
... b}
*
}.
2.2. QUAN HỆ GIỮA ÔT MAT HỮU HẠN VÀ NGÔNNGỮ CHÍNH
QUY.
2.2.1. Định lý:
Nếu ngônngữ L được đoán nhận bởi một ôt mat hữu hạn không
đơn định thì tồn tại một ôt mat hữu hạn đơn định đoán ... rằng mọi
ôt mat hữu hạn đều đưa về được ôt mat hữu hạn đầy đủ tương đương.
20
2.2.3. Định lý:
Nếu L là ngônngữ được đoán nhận bởi một ôt mat hữu hạn đơn
định thì L là một ngônngữ chính ... là lớp các ngônngữ được đoán nhận bởi ôt mat hữu hạn đơn định,
N
là lớp các ngônngữ được đoán nhận bởi ôt mat hữu hạn không đơn định và
R
là
lớp các ngônngữ chính quy.
Định lý 2.2.1 cho...
...
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);...