... đó.
∧
w
*
_
|
∧
w
Trang 294
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
Máy Turing như một bộ chấp nhận ngôn ngữ
Định nghĩa 9. 3
Cho M = (Q, Σ, Γ, δ, q
0
, , F) là một máy Turing, thì ngôn ngữ
được ... & NNHT - Khoa Công Nghệ Thông Tin
Chương 9 Máy Turing
9. 1 Máy Turing chuẩn
9. 2 Kết hợp các máy Turing cho các công việc phức tạp
9. 3 Luận đề...
... G
UR
L
REC
LBAG
CS
L
CS
NPDAG
CF
L
CF
DPDA
⊃ LL(k) và LR(k)
L
DCF
⊂ NPDA
G
LIN
L
LIN
FSA ≡ DFA = NFAG
REC
≡ G
L-LIN
và G
R-LIN
L
REG
ÔtômátVăn phạmNgôn ngữ
Trang 3 09
Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin
Ôtômát ràng ... G
LR
LL(k) và LR(k)Phi ngữ cảnh đơn định: điển
hình là LL(k) và LR(k)
G
LIN
LinearTuyến tính
G
REG
≡ G
R-LIN
và G
L-LIN
Regular ≡ Ri...
... toán
Chương 2 Ôtômát hữu hạn
Chương 3 Ngôn ngữ chính qui và văn phạm chính qui
Chương 4 Các tính chất của ngôn ngữ chính qui
Chương 5 Ngôn ngữ phi ngữ cảnh
Chương 6 Đơn giản hóa văn phạm phi 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ết Ngôn n...
... trình (ngôn ngữ người – máy và
dịch tự động);
Chuyển đổi từ ngôn ngữ lập trình này sang ngôn ngữ 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ôn ngữ và chương ... TP: chương trình ở ngôn ngữ đích (target program);
SL: ngôn ngữ nguồn (source languague);
TL: ngôn ngữ đích (target languague);
PL: ngôn ngữ...
... phạm cảm ngữ cảnh chứa các văn phạm phi ngữ
cảnh và lớp văn phạm phi ngữ cảnh chứa các văn phạm chính quy.
Ngôn ngữ hình thức được gọi là ngôn ngữ tổng quát (hay cảm ngữ cảnh, phi ngữ cảnh, ... trong lớp ngôn ngữ cảm
ngữ cảnh L
1
và cuối cùng lớp ngôn ngữ tổng quát L
0
(ngôn ngữ ngữ cấu) là rộng nhất.
H. 2.2 So sánh các lớp ngôn ngữ...