מודלים חישוביים - תרגול 5
6
1 :5 version 1 24.11.06 CFL PDA ) , , , ( S R V Σ • V • Σ • R • S • } 1 # :# } 1 , 0 { { 0 1 * + = ∈ = w w w L S E M S E M MM E M S M E SS E S 1 / 0 / 0 / 1 0 / 1 → → → ε • PDA } 1 # :# } 1 , 0 { { 0 1 * + = ∈ = w w w L
-
Upload
igor-kleiner -
Category
Education
-
view
79 -
download
4
Transcript of מודלים חישוביים - תרגול 5
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