מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה
-
Upload
igor-kleiner -
Category
Education
-
view
96 -
download
9
Transcript of מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה
![Page 1: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/1.jpg)
1
:2
version 5
04.11.06
DFA
KMP
DFA∑ },,,,{ 0 FqQ δ
Q
∑
δ
∑→× QQ:δ
0q
F
Q={“on”,”off”}
∑= }"_{" pressedkey
"")"_","("
"")"_","("
onpressedkeyoff
offpressedkeyon
=
=
δ
δ
""0 offq =
""offF =
DFA
![Page 2: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/2.jpg)
2
∈∈=
∈=
=
∑∑∑
+awawqwaq
aaqaq
,)),,(~
(),(~
),(),(~
),(~
δδδ
δδ
εδ
LDFA
}),(~
|{ 0 FwqwL ∈= δ
"
},01|{ *∑∈== yxyxwwL
•
3
00
321
}1,0{
},,{
qF
qqqQ
=
=
=
=
∑
),( aqδ
0q2q0q
3q2q2q
3q3q3q
)(3 nSn3q
![Page 3: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/3.jpg)
3
)(2 nSn2q
n-1
)(0 nSn0q
n-1
n
n=0
•
nkkS ,,2,1,0)(3 =∀)(2 kS)(0 kS
)1(3 +nS)1(2 +nS)1(0 +nS
• 3qn+1
3q
3q
)(3 nS3q
),( aqδn2q)(2 nS
nn+12q3qn+1
),( aqδ
• 2qn+1
n
• 0qn+1
nn=0
L
∑=
=
}1,0{
}3|{ bydividablenumberbinaryiswwL
![Page 4: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/4.jpg)
4
![Page 5: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/5.jpg)
5
LDFA
LW
}|{
}\|{
}|{
}|{
*
LwWandworWwandLwwWL
LwwL
WwandLwwWL
WworLwwWL
∉∈∉∈=⊕
∈=
∈∈=∩
∈∈=∪
∑
LWWL∪∩�WLו
� תשג ו י ר א ל ו ג ר ת ו .פ
LLת י ר א ל ו ג ר � .ג
LW WL⊕ת י ר א ל ו ג ר ה פ .ש
KMP
LALA
L
A
A
![Page 6: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/6.jpg)
6
)(4 nSn4q
)(3 nSn3q
)(2 nSn2q
)(1 nSn1q
w
w|w|+1
KMP
wy
wywy
w
ywy
O((|y|-|w|)|w|)
KMP
• :preprocessing
w
O(|w|)
![Page 7: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/7.jpg)
7
• y
O(|y|)
• O(|w|+|y|)
•
� KMP
� CLRS
� KMP
NFA NFADFA
DFANFA
NFA
- NFA
DFA
NFA
NFANFA ∑ },,,,{ 0 FqQ δ
Q
∑
0q
F
δ
∑ →× )(: QPQ εδ U
.
![Page 8: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/8.jpg)
8
∑ →× )(: QPQ εδ U
0q1q,0q0q
2qΘ1q
ΘΘ2q
NFA
NFA
NFA
),,,...,,,( 12110 +kkk qrqrqrqi
iq1+iqir
wkrrw ...1=
LNFA }|{ FinendwhichwforpathlegalexistwL =
DFA-NFA
NFA }'1'0|{ stwoexactlyorsofnumberevenancontainswwL =
![Page 9: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/9.jpg)
9
NFA
}110|{ substringthecontainnotdoeswwL =
NFA
}010000|{ substringasoreithercontainswwL =
DFANFADFA
NFA"" DFANFA⊆
DFANFA
DFANFA
DFANFA
![Page 10: מודלים חישוביים - תרגול מס 2 - אוניברסיטת חיפה](https://reader031.fdocuments.net/reader031/viewer/2022013111/55c123bdbb61eb14098b4576/html5/thumbnails/10.jpg)
10
LNFA
NFADFADFA
DFANFA
L
DFADFA
LWWL∪ת י ר א ל ו ג ר ה פ .ש
NFA
L Lת י ר א ל ו ג ר � .ג
LW WL⊕ת י ר א ל ו ג ר ה פ .ש
}|{
......if 121121
LwwL
aaaawthenaaaaw
RR
kk
R
kk
∈=
== −−
L RLת י ר א ל ו ג ר � .ג
}|{* WlandLwlwWL ∈∈=
LWWL *ת י ר א ל ו ג ר ה פ .ש
NFA
NFA