Bài giảng Automata và ngôn ngữ hình thức - Chương 5: Văn phạm phi ngữ cảnh ppt
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (505.45 KB, 48 trang )
ả
ộ
! " # $ % % $ & " ! &
' ( ) & ! ! * + , ( - - -
Lý thuy t automata và ế
ngôn ng hình th cữ ứ
!
"#$%& ạ ữ ả
'()*+
Ụ
,- ./& 0ệ ạ ữ ả
1 &/& 0ự ậ ạ ữ ả
23 # & 0ọ ẩ ạ ữ ả
-456 & ủ ạ ữ ả
,./
1.&6 -7- .8 *ữ ệ ớ
%./# 9- -&/ :ụ ể ậ ươ
"#$%& '*+ạ ữ ả
;<!=<>?
@
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
"#$%& '*+ạ ữ ả
;<!=<>?
?
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
$>,- & ệ ạ ữ ả
;<!=<>?
$
%4B C-A :#*'A D B B B ụ ữ ậ ườ ượ ể ễ ướ ạ 8
E8=>=2E>+
E(FCCGE(FHE(F
E(FCCGE(FIE(F
E(FCCG'E(F+
E(FCCGEBJF
% . -& DK . L &6ệ ứ ạ ữ ả ạ ộ ơ ở ậ ữ
B A : :7.6- 543-ệ ể ễ ữ ậ ệ ả ậ
B :B #./ B 7-./( L ậ ụ ươ ị ứ ụ ử ỗ ẳ
956 4 A - A6 ./B56 A/ạ ữ ệ ả ể ứ ọ ớ ặ
5637A6A :# 487A ặ ữ ậ ể ứ ể
D ặ ả
#A : )ữ ứ
$>,- & ệ ạ ữ ả
;<!=<>?
;
3:F 1011 2ạ ệ %& # &6 A/?#5/GEMN1Fạ ộ ộ ứ ự
D9C
M) - # - ' -7.63Oả ữ ọ ả ữ ơ ả ả ữ G=21F;2HF+0
NN MGP # 7L '- -7A7.63O∩ ọ ả ệ ụ ữ G=21F;2HF+0
1 N)7L (56-.D./'∈ ệ ==1HFG+0
) - 'ậ ậ 4=<81=8FG+B Q RQR 'M N+IQ 456 7Lạ → ∈ ∪ ứ ộ
7A7.63'DA7 3#-8&6 .6 +ệ ọ ặ ậ ạ
#A : )ữ ứ
$>,- & ệ ạ ữ ả
;<!=<>?
=
34 2F 1&ạ ạ O%& ạ ữ ả I>JG7E>=GG=22=K#& #ạ
9B Q # .6D #Q 'M N+Iọ ậ ạ → ớ ộ ơ ∈ ∪
S
D< %"ụ G'TUT1 "U1+ A/- Cớ ậ
1→ "
→
"→"
D< %&ụ VW& G'TUT1U1+D9Cạ
1→1
1→
#A : )ữ ứ
2
2
()
()
()J
()J
2
2
$>,- & ệ ạ ữ ả
;<!=<>?
X
5 & 7Cạ ạ
"#$%& '*+ạ ữ ả
;<!=<>?
Y
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
$! (565B (56*#*ẫ ẫ
;<!=<>?
>Z
6 789:ẫ [.6 → β# & #ậ ạ αγ#! 567\:7-B ỗ ụ ậ
→ β# ỗ α(γ D ẽ ượ ỗ αβγC
α(γ → αβγ
6 789:5101L:4ẫ Cả ử α
>
→ α
!
α
!
→ α
@
α
)>
→ α
.6α
>
→ Mα
'3L&/α → Mα ớ
ọ ỗ α+
5N5 1H 1>ữ ở *GEMN1F
'+GT]]∈MI#1⇒I]U
' ]A/#7L 7.63#D B 1+ỗ ệ ượ ẫ ừ
#A : )ữ ứ
$! (565B (56*#*ẫ ẫ
;<!=<>?
>>
5O%"ị 5B (56'5543-+ & GEMN1FCẫ ủ ộ ạ
'>+
^ 39 K# 7L ỗ ộ ộ ệ ∈'M∪ N∪ T_U+
'!+
[3A69K#1'7L &6D5/+ệ
'@+
[.639K : ∈N
'?+
[.639K #-D ỉ
>
!
7
# - 9Kủ ứ ự ừ ả
5/ #Vượ
>
V
!
V
7
: →V
>
V
!
V
7
# ộ ậ
'$+
[.639K#_: #3-##3B56 3 9ả ủ ủ
#A : )ữ ứ
$! (565B (56*#*ẫ ẫ
>!
;<!=<>?
#A : )ữ ứ
5O%&ị B (56 ]#BK8&69B Cả ử ẫ ủ ừ ạ
1→
>>
>!
>
→
!>
!!
!
→]
>
]
!
]
,D99 B 9B B ể ể ễ ướ ạ 9;< 789:ẫ Cư
S
A1
n
A
2m
A
12
A
23
w4
w
n
A
22
.
w3
w2
w1
A
21
A
1
$! (565B (56*#*ẫ ẫ
;<!=<>?
>@
D< %@ụ & 'TUT1 U1U A/Cạ ớ
1→ 10 →1 0 →1101→0 →
VW Cỗ
1→ 1→1 1→ 1→1→
S
a
A
S
a
b
b
S
a
a
A
$! (565B (56*#*ẫ ẫ
;<!=<>?
>?
FP%"ị GEMN1F# *:ộ → Mα.6# .695B (56& ỉ ẫ ạ
α
6 789:=019:I4 19:Kẫ ả .6 B (56 D -B #.6.ạ ỗ ướ ẫ ậ ượ ụ
-56' 56+ả
D< %Aụ C1→ "0 → 0"→"0
'+
1 " " " " " → → → → → →
'+
1 " " → → → → → →
'+
1 " " " → → → → → →
'B+
1 " " " " " → → → → → →
()
ư !" ẫ ả ở ộ ẫ
#A : )ữ ứ
"#$%& '*+ạ ữ ả
;<!=<>?
>$
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
$@1 &/*ự ậ
;<!=<>?
>;
011 2ệ & 9.6A6 &/'+.6A/ ./ ộ ạ ữ ả ậ ạ ơ
5B (56` ]ộ ẫ ộ ỗ
D< %%ụ (W& B Cạ ạ
a→aHa aIa 'a+ 0
# ớ ỗ QM9!5B (567-Cẫ
#A : )ữ ứ
a
E
E
*
E
+
EE
a a
E
E + E
E
*
E
a
a
a
IQKMQIMKRRR
$@1 &/*ự ậ
;<!=<>?
>=
3:4 43/5 34 2ụ ự ậ ủ ạ
D &/-W #5AD - ' 7ị ộ ượ ự ệ ứ ự ừ ả ừ
D +ặ ặ ơ
a→aHaI
→'a+
D &/77A9B56 D &-:W5AD .ị ặ ơ ượ ự ệ ư
W ơ ộ
a→aH
→I**
*→'a+
#A : )ữ ứ
"#$%& '*+ạ ữ ả
;<!=<>?
>X
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
$?23 & ọ ạ ữ ả
;<!=<>?
>Y
=5>C 0;L:8N: ể ứ ừ
-7L 7A#8-:B (56 7L 7.630ệ ẫ ỗ ệ
B ậ ạ →"'#7WB# B (56+ỗ ẫ
011 234 2=B5 ệ ạ ọ 7 & A D9#7A .6ẫ ữ ả ả ữ ứ ữ
A6A47A # 7WB#B (56 ỗ ứ ạ ẫ ỗ
^ ọ 'M N+A/ ] B 9B (560∈ ∪ ạ ỗ ử ụ ẫ
,A9 B ậ ạ →"' " N+ớ ∈
[.6A 7A56 ữ ậ ỗ ỗ _: ạ ỏ ậ →_
#A : )ữ ứ
"#$%& '*+ạ ữ ả
;<!=<>?
!Z
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
$?23 & ọ ạ ữ ả
;<!=<>?
!>
5O%@ị 7L VD #94.69 B (56B ộ ệ ượ ọ ộ ẫ ạ →MαSβ →MT ớ
αβ#- 567\#]ỗ ∈MI
UL/%"ổ *GEMN1F '+ớ bP9 *GEMcNc1cF D ộ ươ ươ
ỗ (∈NcA/ ạ T∈MMD ể (→ MT
#!$ % &'! & &(ể ạ ỏ ẫ ỗ ệ
#A : )ữ ứ
$?23 & ọ ạ ữ ả
;<!=<>?
!!
1 18 V2 4P1 84 WXả ậ ậ ệ ụ
'>+dBNeCG∅0
'!+[]NeCGT →] ]ớ ∈IU0
'@+]'dBNe≠[]Ne+BT
'?+dBNeCG[]Ne0
'$+ []NeCGdBNe∪T →α0α∈'M∪dBNc+IU
U0
';+NeCG[]Nc0
UL/%&ổ *GEMN1F9 :D *GEMcNc1cF D ể ượ ươ ươ
ỗ S∈INe∪MXKA/ ạ αβ∈INe∪MXKMD ể → MαSβ
#!$ % &'! )ể ạ ỏ ẫ ừ
#A : )ữ ứ
$?23 & ọ ạ ữ ả
;<!=<>?
!@
1 18 F 1H 0P1 8N5< = P1 8789:40ả ậ ạ ỏ ệ ẫ ừ ệ
'>+f NcCGT1U0ặ
'!+ J' ∈Nc# → α
"
α
&
α
#- +ậ
J'V#7L ộ ệ ụ α
"
α
&
, α
#V 9Nc+ư
.V#WYZ
'@+ '!+D.677Ag.6#D .# ặ ạ ướ ượ ữ
#A : )ữ ứ
$?23 & ọ ạ ữ ả
;<!=<>?
!?
FP%&ị ^ A '*+7A D & ỗ ộ ữ ữ ả ỗ ượ ừ ộ ạ
'*+7A97L A4ữ ả ệ
D< %#ụ (W& GEMN1FCạ
1 0→ "h_0→ " h"h→
h"0→ →
[4< 5H UL/%"ụ ổ
NeGT1 "U
1 →
"h_→
" h"→
→
#A : )ữ ứ
[4< 5H UL/%&ụ ổ C
NeGT1 "U
1 →
"h_→
" h"→
"#$%& '*+ạ ữ ả
;<!=<>?
!$
%"011 234 2415 ệ ạ ữ ả
%&6 789:9;< 789:=5>?>)ẫ ẫ
%@ 43/5=5>ự ậ
%AB5 34 2415 ọ ạ ữ ả
5.4.1. Lo i b các ký hi u th aạ ỏ ệ ừ
5.4.2. Lo i b các lu t sinh ạ ỏ ậ ε
5.4.3. Lo i b các lu t sinh đ n vạ ỏ ậ ơ ị
%%8 C034 2415 ẩ ạ ữ ả
5.5.1. D ng chu n Chomskyạ ẩ
5.5.2. D ng chu n Greibachạ ẩ
%#0D9: 34 2415 ủ ạ ữ ả
#A : )ữ ứ
