... 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;...
...
1
Chương 2
AUTOMATA HỮU HẠN VÀ
NGÔN NGỮ CHÍNH QUI
2
1.Automata hữu hạn
1.1 Giới thiệu phi hìnhthức về automata hữu hạn
1.2 Automata hữu hạn đơn định
1.3 Automata hữu hạn không đơn định
1.4 Automata ... rỗng
2. Ngônngữvà biểu thức chính qui
2.1 Biểu thức chính qui
2.2 Chuyển đổi giữa biểu thức chính qui và
automata hữu hạn
2.3 Các luật đại số cho biểu thức chính qui
2.4 Ngônngữ chính ... Q
N
và mỗi ký hiệu a thì:
Rp
ND
apaR
),(),(
3
Automata hữu hạn (Finite automata)
Lớp ngônngữNgônngữ chính qui”, được đoán
nhận bởi máy ảo, gọi tên là “automata hữu hạn”.
Automata...
... đệ qui kể được vàngônngữ đệ qui
+ Ngữ pháp không giới hạn
+ Ngữ pháp không giới hạn vàngônngữ đệ qui kể được
+ Ngữ pháp cảm ngữ cảnh và các ngônngữ
Tóm tắt các PPGD:
+ Thuyết trình
+ ... đẩy xuống vàngônngữ phi ngữ cảnh
+ Ngữ pháp phi ngữ cảnh cho automat đẩy xuống
+ Automat đẩy xuống đơn định vàngônngữ phi ngữ
cảnh đơn định
+ Ngữ pháp cho ngônngữ phi ngữ cảnh đơn định
... giữa
Automat đẩy xuống không đơn
định vàngônngữ phi ngữ cảnh.
Nội Dung (ND) trên lớp:
+ Automat đẩy xuống không đơn định
+ Ngônngữ chấp nhận bởi Automat đẩy xuống
+ Automat đẩy xuống và ngôn...
... 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...
... 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 ...
4
{ngôn ngữ chính quy}
⊂
{ngôn ngữ phi ngữ cảnh}
⊂
{ngôn ngữ cảm ngữ cảnh}
⊂
{ngôn ngữ tổng quát}.
Ta cũng thấy về mặt cấu trúc ngữ pháp thì các quy tắc của các văn phạm
phi ngữ cảnh ... không thể áp dụng đối với các ngônngữ có vô
hạn từ. Nhiệm vụ chính của lýthuyếtngônngữhìnhthức là nghiên cứu các cách
đặc tả hữu hạn của các ngônngữ vô hạn.
Lý thuyết cơ sở của tính toán...
... cùng ngônngữ L) L
0
= {ε}
• Ngônngữ lặp (bao đóng Kleenr hoặc Closure)
• Ngônngữ lặp cắt (bao đóng dương – positive closure)
• Ngônngữ ngược.
• Ngônngữ cắt trái của ngônngữ X cho ngônngữ ... toán cơ bản trên ngônngữ :
Vì ngônngữ là 1 tập hợp nên ta có các phép toán đại số tập hợp trên ngôn ngữ.
• Phép hợp :
• Phép giao :
• Phép phần bù :
20
Automat vàngônngữhìnhthức …………………………………………………………….……….Ngô ... bơm.
20
Automat vàngônngữhìnhthức …………………………………………………………….……….Ngô Văn
Lương - ĐTH
ĐỀ CƯƠNG AUTOMAT
Câu 1 : Khái niệm về ngôn ngữ, từ(chuỗi,xâu) 1 số phép toán cơ bản trên từ và
trên ngôn ngữ. Các...