... 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. ... (source languague);
TL: ngônngữ đích (target languague);
PL: ngônngữ lập trình (programming languague);
HLL: ngônngữ bậc cao (high level languague);
IL: ngônngữ trung gian (intermediate ...
CTD: chương trình dịch (compiler);
CT: chương trình (program);
SP: chương trình nguồn (source program);
TP: chương trình ở ngônngữ đích (target program);
SL: ngônngữ nguồn (source...
...
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ếttrình
+ Thảo ... đẩ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
... các ND và PPGD trên lớp: (12) 8.6/ Trình bày được các khái
niệm ngữ pháp phi ngữ cảnh,
ngôn ngữ phi ngữ cảnh, cây dẫn
xuất
Nội Dung (ND) trên lớp:
+ Ngữ pháp phi ngữ cảnh
+ Ngônngữ phi ngữ cảnh
+...
... 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áotrì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...
... đưa cho máy bằng ngônngữ
máy hiểu được. Việ
c viết các yêu cầu ta gọi là lập trình. Ngônngữ dùng để lập
trình được gọi là ngônngữ lập trình.
Cả ngônngữ lập trình lẫn ngônngữ tự nhiên đều ... 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 ... 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...
... & " ! &
' ( ) & ! ! * + , ( - - -
Lý thuy t automata và ế
ngôn ng hình th cữ ứ
... ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ
7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0> 58 556 ?')ự ... ậ
7.3.1. K thu t l u tr trong b đi u ki nỹ ậ ư ữ ộ ề ể
7.3.2. K thu t d ch quaỹ ậ ị
7.3.3. K thu t chu trình conỹ ậ
7.3.4. S d ng nhi u rãnh trên băng ử ụ ề
0> 58 556 ?')ự...