...
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 ... ),(),(
3
Automata hữu hạn (Finite automata)
Lớp ngônngữ “Ngôn ngữ chính qui”, được đoán
nhận bởi máy ảo, gọi tên là “automata hữu hạn”.
Automata hữu hạn đơn định (
Deterministic Finite
Automata ... – DFA
Automata hữu hạn không đơn định (Nondeterministic
Finite Automata – NFA)
Automata hữu hạn không đơn định, chấp nhận
phép truyền rỗng (ε-NFA)
4
Giới thiệu phi hìnhthức về automata...
... 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ônngữ phi ngữ cảnh
+ Ngữ pháp phi ngữ cảnh cho automat đẩy xuống
+ Automat đẩy ... tin
Đề cương chi tiết học phần
1. Tên học phần: Automatvàngônngữhìnhthức Mã học phần: AUFL330685
2. Tên Tiếng Anh: Automata and Formal Languages
3. Số tín chỉ: 3
4. Phân bố thời gian: (học ... chấp nhận
bởi Automat đẩy xuống,
Automat đẩy xuống đơn định ,
ngôn ngữ phi ngữ cảnh đơn
định, Ngữ pháp cho ngônngữ
phi ngữ cảnh đơn định.
8.9/ Hiểu được sự liên hệ giữa
Automat đẩy xuống...
... LIỆU THAM KHẢO
1. Bài giảng lý thuyết NgônngữHìnhthứcvàAutomat -
Hồ Văn Quân [2002].
2. An Introduction to Formal Languages and Automata -
Peter Linz [1990].
Trang 27
Lý thuyết Ôtômát & ... cộng
Xét một bộ cộng nhị phân tuần tự hai số nguyên dương
Trong đóhai chuỗi cộng x = a
0
a
1
. . . a
n
y = b
0
b
1
. . . b
m
biểu diễn cho hai số nguyên
Serial adder
a
i
b
i
Sum bit d
i
Carry
()
∑
=
=
n
i
i
i
axv
0
2
()
∑
=
=
m
i
i
i
byv
0
2
Trang ... (deterministic automata): là ôtômát trong
đómỗi di chuyển (move) được xác định duy nhất bởi cấu hình
hiện tại. Sự duy nhất này thể hiện tính đơn định.
Ôtômát không đơn định (non-deterministic automata):...
... là đến những vấn đề ngữ nghĩa. Một đặc tả về cú
pháp của một ngônngữ có hữu hạn từ, ít nhất về nguyên tắc, có thể được cho
bằng cách liệt kê các từ. Điều đ
ó không thể áp dụng đối với các ngôn ... = (n+1)
h
j
0
+(n+1)
h-1
j
1
+ … +(n+1)j
h-1
+j
h
,
trong đó 2 vế là hai khai triển của một số nguyên theo cơ số n+1. Do đó, k=h và
i
u
=j
u
với 1
≤
u
≤
k hay
α
=
β
. Vì vậy, f là một ... khác ngoài quy tắc của P, nên
ω
n
∈
L(G). Vậy
ω∈
L
n
⊂
L
*
.
b)
ω∈
L
*
\ {
ε
}: Tồn tại số nguyên dương n sao cho
ω∈
L
n
hay
ω
=
ω
1
ω
2
…
ω
n-1
ω
n
,
trong đó
ω
i
∈
L \ {
ε
}, 1
≤
...
... văn phạm phi
ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngônngữ
lập trình và chương trình dịch.
Trong quá trình dịch từ chương trình ngu n ra chương trình đích, ... T(A’)=T(A).
2.1.12. Định nghĩa:
Một ôtômat hữu hạn không đơn định hay một NDFA
(Nondeteministic Finite Automata) là một bộ năm
A = <Q,
Σ
,
δ
, q
0
, F>,
trong đó Q,
Σ
, q
0
, F như trong Định ... khác ngoài quy tắc của P, nên
ω
n
∈
L(G). Vậy
ω∈
L
n
⊂
L
*
.
b)
ω∈
L
*
\ {
ε
}: Tồn tại số nguyên dương n sao cho
ω∈
L
n
hay
ω
=
ω
1
ω
2
…
ω
n-1
ω
n
,
trong đó
ω
i
∈
L \ {
ε
}, 1
≤
...
...
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 languague);
TL: ngônngữ đích (target languague);
PL: ngôn ... trình (programming languague);
HLL: ngônngữ bậc cao (high level languague);
IL: ngônngữ trung gian (intermediate languague);
NL: ngônngữ tự nhiên (natural languague);
MC: mã máy ...
Chương trình ngu n
(SP)
Trình thông dịch
(interpreter)
Output (executable
machine-language
program)
Thông báo lỗi
(Error messages )
Dữ liệu vào
(input)
Chương trình ngu n
(SP on...
... đoán nhận bởi automata cho ở trên???
Bài 3. Ngônngữvà automata hữu hạn
3.1. Các khái niệm sơ lược
3.2. Automata hữu hạn đơn định (DFA)
3.3. Automata hữu hạn đa định (NFA)
3.4. Automata với ... dịch chuyển ε
Bài 3. Ngônngữvà automata hữu hạn
3.1. Các khái niệm sơ lược
3.2. Automata hữu hạn đơn định (DFA)
3.3. Automata hữu hạn đa định (NFA)
3.4. Automata với dịch chuyển ε
3.5. ... ,9
0,1, ,9
Bài 3. Ngônngữvà automata hữu hạn
3.1. Các khái niệm sơ lược
3.2. Automata hữu hạn đơn định (DFA)
3.3. Automata hữu hạn đa định (NFA)
3.4. Automata với dịch chuyển ε (NFAε)...
... ca automata ri vo mt
trong cỏc trng thỏi kt thỳc (finish states).
Vớ d minh ha (xem trong bi ging)
Cõu 16 : Khỏi nim v Automat Mealy v Automat Moore.Phõn bit chỳng
vi Automat hu hn?Vớ d ?
ã Automat ... dạng (áp dụng bổ đề 1)
Câu 15.Trình bày về Automat hữu hạn.Phân biệt các dạng Automat hữu hạn?
Ngôn ngữ đoán nhận bởi Automat hữu hạn.VD minh họa
20
Automat v ngụn ng hỡnh thc..Ngụ Vn
Lng - TH
... đó.
Câu 35 : Nêu khái niệm Automata tuyến tính giới nội?Lớp ngônngữ đoán
nhận bởi Automata tuyến tính giới nội ?
Automata tuyến tính giới nội (Linear Bounded Automata - LBA) là một máy
Turing...