... 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
... (nonterminal symbol), còn
được gọi là các biến (variable),
T: tập các kí hiệu kết thúc (terminal symbol),
S ∈ V: được gọi là biến khởi đầu (start variable), đôi khi còn
được gọi là kí hiệu mục ... 26
Lý thuyếtÔtômát & NNHT - Khoa Công Nghệ Thông Tin
Các khái niệm (tt)
Sự dẫn xuất câu (derivation)
Nếu w ∈ L(G) thì phải tồn tại dãy dẫn xuất:
S ⇒ w
1
⇒ w
2
⇒ ⇒ w
n
⇒ w
Dãy này được...
...
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 ... của compiler
1.3.1. Phân tích từ vựng (lexical analysis)
1.3.2. Phân tích cú pháp (syntax analysis)
1.3.3. Phân tích ngữ nghĩa (semantic analysis)
1.3.4. Sinh mã trung gian (ICG)
1.3.5. Tối...
... quan hệ gồm bộ 3 số nguyên (a, b, c)
thỏa mãn a < b < c trên tập nguyên dương.
Ví dụ 1.4: Cho R là một quan hệ gồm bộ 2 số nguyên (a, b) thỏa
mãn a ≡ b mod 3 trên tập nguyên dương.
Automata ... giảng viên.
2. Nguyễn Gia Định. Lýthuyếtngônngữhìnhthứcvà
ôtômát. Đại học khoa học Đại học Huế - 2004.
3. Nguyễn Văn Xuất. Giáo trình Automata, ngônngữhình
thức và nguyên lý chương ... 2002.
5. John E. Hopcropft, Rareev Motwani, Jeffrey D. Ullman.
Introduction to Automata Theory, Languages, and
Computation (2nd Edition) -Addison-Wesley 2001.
1.4.4. Đồ thị và cây
07/03/2012...
... 010210 * vì có số 2
2
Bài 2. phạm vàngônngữhìnhthức
Grammars and formal languagues
MỤC ĐÍCH:
Trang bị những khái niệm cơ bản của môn học TA&FL;
YÊU CẦU:
Sinh ... kê các phần tử (chuỗi): L = {aa, aba, baa, baba}
Mô tả đặc điểm chủ yếu: L = {a
i
| i là số nguyên tố}
Biểu diễn ngônngữ một cách tổng quát thông qua văn
phạm (grammar) và automata:
... thuyết automata và
ngụn ng hỡnh thc
âcopyright by PhD. C.T.Ha, Le Quy Don Technical University
Languague
Grammar
Automata
07/03/2012
28
Ví dụ 6: Xét văn phạm sau:
G = ({a, b}, {S}, S...
... M
Lý thuyết automata và
ngụn ng hỡnh thc
â PhD. C.T.Ha, Le Quy Don Technical University
Languague
Grammar
Automata
3.4. NFA với dịch chuyển ε
28/03/2012
34
w = 012
δ*(q
0
, )...
... 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, ... 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
≤
... B→0D, A→1B,
B→1D, D→0E, C→1B, C→0A, E→1A, D→1E, E→0B, A→0D, E→1, C→1}>.
7.
Cho k là một số nguyên dương và L
k
= {ω∈{1}
*
| d(ω)=nk, n=1, 2, …}. Chứng
minh rằng L
k
có thể được biểu diễn...
... 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
≤
...
... họa (xem trong bài giảng)
Câu 16 : Khái niệm về Automat Mealy và Automat Moore.Phân biệt chúng
với Automat hữu hn?Vớ d ?
ã Automat Mealy.
Bộ M=( X,Y, S,,) trong đó
X -Tập hữu hạn các ký hiệu ... thái.
- ánh xạ từ XxSY gọi là hàm đa thông tin ra.
Đợc gọi là Automat Mealy
Với định nghĩa trên ta hiểu Automat Mealy hoạt động theo cơ chế tín hiệu phát ra
phụ thuộc vào tín hiệu vào và trạng ... trên bộ nhớ.
TM có khả năng đoán nhận lớp ngônngữ đệ quy đếm được (ngôn ngữ
loại 0 – recursively enumerable).
TM đơn định có bộ nhớ giới hạn thì gọi là một automata tuyến tính giới nội
(Linear...
... chấp nhận
số thập phân, bao gồm:
1. Dấu +, – (tùy ý).
2. Chuỗi các số nguyên.
3. Dấu ‘.’ phần thập phân.
4. Chuỗi các số nguyên khác.
q
0
q
1
q
2
q
4
q
3
q
5
Start ε, +, –
0, 1, …, 9 0, 1, …, ... minh:
(If) Giả thiết L được chấp nhận bởi NFA. Chứng
minh L cũng được chấp nhận bởi DFA.
48
(Only-if) Giả sử L được chấp nhận bởi DFA.
Chứng minh: L được chấp nhận bởi NFA.
67
DFA D được ... phép truyền rỗng ε của E.
35
(If) Giả sử w kết thúc bởi 01, chứng minh q
2
^(q
0
, w).
(Only-if) Giả sử q
2
^(q
0
, w). Chứng minh w kết
thúc bởi 01.
36
Sự tương đương giữa DFA và NFA
...
... Anh: Automata and Formal Languages
3. Số tín chỉ: 3
4. Phân bố thời gian: (học kỳ 15 tuần) 3(3:0:6) (4)
5. Các giảng viên phụ trách học phần (5)
1/ GV phụ trách chính: Nguyễn Quang Ngọc
2/ Danh ... qui.
Nội Dung (ND) trên lớp:
+ Tính đóng của ngônngữ chính qui đối với các phép
tóan giao, hội, bù
+ Nguyên lý chuồng bồ câu và ứng dụng trong việc xác
định một ngônngữ có là chính qui không.
Tóm ... học tập cần thiết (yêu cầu phải
thống nhất với mục 11 nêu trên)
+ An introduction to formal languages and automata,
Peter Linz, University of California at Davis
8.1/ Hiểu và ứng dụng được...
... 2
|L L L or L
ω ω ω
∪ = ∈Σ ∈ ∈
{ }
*
1 2 1 2
|L L L and L
ω ω ω
∩ = ∈Σ ∈ ∈
( )
C L
Σ
Recursively enumerable
Context-sensitive
Context-free
Regular
2.2.2. Chomsky hierarchy -1956
5/13/14
26
... ừ ướ
thu c L(G) hay không.ộ
2
Bài 2. Văn ph m vàngôn ng hình th cạ ữ ứ
Grammars and formal languagues
M C ĐÍCH:Ụ
Trang b nh ng khái ni m c b n c a môn h c TA&FL;ị ữ ệ ơ ả ủ ọ
YÊU C U:Ầ
Sinh ... automata và ế
ngôn ng hình th c
âcopyright by PhD. C.T.Ha, Le Quy Don Technical
University
Languague
Grammar
Automat
a
Bài 2. Văn ph m vàngôn ng hình th cạ ữ ứ
2.1. Ngôn ngữ
2.1.1. Các khái...