Tin học lý thuyết - Chương 6 ppsx
Tin học lý thuyết - Chương 6 ppsx
... δ(q
1
, 1, B) = {(q
1
, YB)} 10)δ(q
2
, ε, R) = {(q
2
, ε)}
14
Tương đương giữa PDA và CFL
Định lý 6. 4: Nếu L được chấp nhận bởi một PDA chấp nhận chuỗi
bởi Stack rỗng thì L là ngôn ngữ phi ngữ ... dạng [q, A, q
1
] → a
12
Tương đương giữa PDA với Stack rỗng và
PDA với trạng thái kết thúc
Định lý 6. 2: Nếu một ngôn ngữ phi ngữ cảnh L được chấp nhận bởi
một PDA chấp nhận chuỗi bởi St...
Tin học lý thuyết - Chương 6 docx
... đã học trong chương trước (ĐỊNH LÝ 5.2)
để viết một văn phạm tương đương với văn phạm trên không có chứa các ký
hiệu vô ích ?
2.3. Quan hệ giữa CFL và tập hợp chính quy
ĐỊNH LÝ 6. 5 ... định lý 6. 1
2.2. Tương đương giữa PDA và CFL
ĐỊNH LÝ 6. 3: Nếu L là ngôn ngữ phi ngữ cảnh thì tồn tại PDA M sao cho L =
N(M).
Chứng minh
Giả sử ε không thuộc L(G) (có thể sửa đ...
Tin học lý thuyết - Chương 5 ppsx
... NewV';
(5) NewV' := OldV' {A A với (T OldV')* }
end;
(6) V' := NewV';
End;
26
Bổ đề bơm cho CFL
Bổ đề bơm: cho L là một CFL bất kỳ, tồn tại một số n chỉ phụ
thuộc ... aA
1
A
2
B
aA
2
A
1
A
3
A
2
B bA
1
A
3
A
2
B aA
2
BA
1
A
3
A
2
B bBA
1
A
3
A
2
B
aA
3
A
2
B
16
Luật sinh đơn vị
Định lý 5.4: (loại bỏ luật sinh A
B)
Mỗi CFL không ch...
Tài liệu giáo trình cơ học lý thuyết , chương 6 pdf
... biểu
thức sau:
2
1
ăn khớp ngoài
= -
1
2
r
r
= -
1
2
z
z
(6. 11)
H
ình
6
-1 0a
2
1
ăn khớp trong
=
1
2
r
r
=
1
2
z
z
(6. 12)
1
0
1
1
A
2
0
2
2
z
1
và z
2
là số ... định (Hình 6. 11).
H
ình
6
-1 0b
Trớc hết khảo sát các bánh
răng ăn khớp ngoài. Theo biểu thức
(6. 1) áp dụng cho các cặp bánh răng
tiếp theo ta có:
1
0
1
0
2
0
3
2...
Matlab - Tin học ứng dụng - Chương 6 ppsx
... nhưsau:
z = [-0 .05 0.18 0.28 0.33 0.19 0 -0 . 26 -0 .35 -0 .31 -0 .22 0.05 0.14 0.31
0.38 0.18 0.09 -0 .11 -0 .20 -0 . 36 -0 .11 0.08];1
plot(z)
Lệnh plot(z) sẽ vẽ biểu đồ dạng đường với số liệu cho bởi vec-tơz. ... từmô hình:
z2 =[0.05 0.2 0.34 0.38 0.28 0.08 -0 .21 -0 .35 -0 .23 -0 .18 0.11 0.22 0.4
0.45 0.2 0.13 -0 .02 -0 .11 -0 .32 -0 ....
Tin học lý thuyết - Chương 8 pdf
... (Membership)
Chương VIII :Ôtômát tuyến tính giới nội và văn phạm cảm ngữ cảnh
137
Cách chứng minh định lý này cũng tương tự như cách chứng minh của định lý
7.9 ở chương trước về ... chính quy.
Chương VIII :Ôtômát tuyến tính giới nội và văn phạm cảm ngữ cảnh
133
Chương VIII
ÔTÔMÁT TUYẾN TÍNH GIỚI NỘI VÀ
VĂN PHẠM CẢM NGỮ CẢNH
Nội dung chính : Trong chương...
Tin học lý thuyết - Chương 7 pptx
... X, R) (q
3
, Y, R) - - -
q
1
(q
1
, 0, R) (q
2
, Y, L) - (q
1
, Y, R) -
q
2
(q
2
, 0, L) - (q
0
, X, R) (q
2
, Y, L) -
q
3
- - - (q
3
, Y, R)
(q
4
, B, ∅)
q
4
- - - - -
ác phép chuyển ... :
Chương VII : Máy Turing
122
(a) - Băng của M
2
A
0
A
1
A
2
A
3
A
4
A
5
⊄
A
-1
A
-2
A
-3
A
-4
A
-5
(b)...
Tin học lý thuyết - Chương 5 docx
... thay bằng tập hợp
các luật sinh : A → B
1
D
1
D
1
→ B
2
D
2
D
m - 3
→ B
m - 2
D
m - 2
D
m - 2
→ B
m - 1
B
m
Đặt V’’ là tập các biến mới, P’’ là tập các luật sinh mới và ... Grammars).
[2] V.J. Rayward-Smith – A First course in Formal Language Theory (Second
Editor) – McGraw-Hill Book Company Europe – 1995 (Chapter 5: Context-Free
Languages )...
Từ khóa: