Post on 11-Jul-2015
1
:5
version 1
24.11.06
CFL
PDA
),,,( SRV Σ
• V
• Σ�
• R
• S
• }1#:#}1,0{{ 01
*+=∈=
wwwL
SEMSE
M
MMEM
SME
SSES
1/0
/0/1
0/1
→
→
→
ε
• PDA}1#:#}1,0{{ 01
*+=∈=
wwwL
2
• }0,:{ >=+ mncbaL mnmn
bcbAcA
aAcaScS
/
/
→
→
• }0:{ ≥= nbaLofcomplementnn
*** )()()(}:{}:{ baababbajibajibaL jiji∪∪∪∪<∪>=
ε////
//
//
//
3
222
111
321
babXaXX
XbXaXS
bbSbaSS
aaSbaSS
SSSS
→
→
→
→
→
aA
BCA
→
→
aABC BC
ε→SS
ε→A
BA→
•
ε
ε
/00
//
→
→
B
BBABA
3
Lp
Lzxyuvi
pvxy
vy
uvxyzw
pwLw
ii∈Ν∈∀
<
>
=
⇒>∈∀
:
||)2
0||)1
||,
G
ww
4
b
G
b
iib
1|| +=
Vbp
wpw|V|+1
w
|V|+1
R
w
Rvxy
Rx
RR
RRuxz
v y
wR
R
uxzp
|V|+1p
CFL}:{ Ν∈= ncbaL nnn
LCFLppppcbaw =
uvxyzw =
vy
vy
vy
*** cba
5
L
CFL}}1,0{|{ *∈= wwwL
LCFLp1100 ppw =
LCLFppppw 1010=
vxywvxy
i=2
L
vxy wi=0pjip 1010 pji ==L
L
L2
1L
6