1
:
version 5
13.11.06
2
AB),( BAshufle
}.,...,......|{),( 21212211 ∑=∈∈== iikk
k baBbbbAaaaandbababawwBAshufle
),( BAshufle
AiAq ,B
iBq ,
=
==
∈∈∪
≤≤∪≤≤=
∑∑
))(,~()~,(
)~),((),~(
},:~,{),,~(,,
|},||,|:~,{|}||,|:,~{{),(
,,,,
,,,,
,,,,0,0,
,,,,
jBbiAjBiA
jBiAAjBiA
AiABjBjBiABABA
BAjbiaBAjBiA
qqqq
qqqq
FqFqqqqq
QjQiqqQjQiqqBAshufle
δδ
δδδ
δ
LW
L
LLL
LLL
LL
}{L
}|{*
}|{
..0i
*
1-kk
2
1
0
U∞=
=
=
=
=
=
∈∈==
∈∈=∪
iL
WlandLwwlLWWL
WworLwwWL
ε
3
:
,.....}0011,000,1111,110,011,00,11,0,{
}1111,110,011,00{
}11.0{
*
2
ε=
=
=
L
L
L
LLL =*
:}{* ε=Θ
εΘ}{εΘ
}{)(,)( εε =Θ=Θ LL
aa{a}L(a)={a}
EFE+F)()()( FLELFEL ∪=+
EFEF)()()( FLELEFL =
F(E)**))((*)( ELEL =
** 1001 +)1001( ** +L
*)10( +
++ )10(
** )10()10( ++
*** 1)10(1 +
*** 11)10(11 +
** )10()01( +**** )10(1)10(0)10()01( +++
)0()01)(1( * ++ εε
*0)100)(1( **ε+
4
** )10)(010000()10( ∪∪∪
L}'113:{ ksomeforskhaswwL +=
L
****** 0)110100(10
DFANFA
)'()exp( sNFALresionsregularL ⊆
5
NFA)10(1)10( * ++
)'()exp( sNFALresionsregularL ⊇
L
NFA
6
7
.כ
*0*1*)00*10( +
8
4(
.א
L+MM+L
(M+L)+N=M+(L+N)
(LM)N=L(MN)
LLL =Θ+=+Θ
LLL == εε
Θ=Θ=Θ LL L(M+N)=LM+LN
(M+N)L=ML+NL
***)( LL =
ε=Θ*
εε =*
** LLL = ++= LL ε*
9
LNLMNML
LNLMNML
∪⊇∪
∪⊆∪
)(
)(
LNLMw
LNorLMxyLNxyelseLMxythenMyif
NyorMyLxxywNMLw
+∈
⇒∈⇒∈∈∈
∈∈∈=⇒∪∈
⇐
,:)(
⇒
**** )()( MLML =+
LaM
b**** )()( baba =+
*)( ba +L–ab 2(
*** )( baL–ab.
*** LLL =
***)( SRSR +=+
** )()( RSRRRRRS +=+
*** )()( SRSSR =+
**** )1)10((1)10( +=++ ε
xwwwxxxwwif
worww
1#21
**
***
**
...)10(:11)10(
)1)10((
1)10(1)10(
=+∈=⇒+∈
+∈
=+∈⇒++∈
⇐
ε
εε
xiw
10*=iw
***
*****
#21
***
#21
**
)1)10((
]1)10[(1]1)10[(1...]1)10[(...1)10(11
+∈⇒
+∈⇒+∈⇒+∈⇒+∈
w
xwwwwwww xxi
1)10(1)10(:...:
1)10(:)1)10((
:)1)10((
***
21
****
***
+∈⇒+==≠
++∈+∈=
+∈
⇒
wwwwwwwelse
wif
w
ikε
εεε
Recommended