מודלים חישוביים - תרגול 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
84 -
download
4
Transcript of מודלים חישוביים - תרגול 5
![Page 1: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/1.jpg)
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
![Page 2: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/2.jpg)
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
![Page 3: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/3.jpg)
3
Lp
Lzxyuvi
pvxy
vy
uvxyzw
pwLw
ii∈Ν∈∀
<
>
=
⇒>∈∀
:
||)2
0||)1
||,
G
ww
![Page 4: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/4.jpg)
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
![Page 5: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/5.jpg)
5
L
CFL}}1,0{|{ *∈= wwwL
LCFLp1100 ppw =
LCLFppppw 1010=
vxywvxy
i=2
L
vxy wi=0pjip 1010 pji ==L
L
L2
1L
![Page 6: מודלים חישוביים - תרגול 5](https://reader033.fdocuments.net/reader033/viewer/2022052213/55a12a5e1a28ab1d138b4595/html5/thumbnails/6.jpg)
6