Tải bản đầy đủ (.pdf) (93 trang)

Lý thuyết Ngôn ngữ hình thức và Automata ppt

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.66 MB, 93 trang )












 !

"#!$%&
'(! !!)*+'',






 /0















,121


343 5-444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446
347 89:;4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446
  
 
  !" 
# $%
&  !%'
34< 89:9=>8 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444?
34@ 89:84444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444433

743 '8;-ABACDEFF8GHF-8IJKLM44444444444444444437
 (%)%*+ 
 (%*+ 
 , "/0"123 
# 4567889, #
& :3;5<=4;>? #
 $%71@AB>, 
 3B
747 '8;-ABACDEFF8GHF-8IKLM3N
 C<D*+$ 
 :3;5<=4;>? '
 $%71@AB>$ E

74< OPBAB;JKL9KL444444444444444444444444444444444444444444444444444444444444444444447Q
 =5F, A$ G
 F18718$ H3, 
 3B#
74@ )E14444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444447R
# $  *;)2;A)I&
# ,  *;)2;A)I
# 3B




<43 S-TUV DF-2FW>FGGGM4444444444444444444444444444444444444444444444444444444447N
 C<D*+94+0J=
 C?1! !4+0J='
 0K7LMN94+0J= '
# 3BE
<47 S-TUV 9;UV 444444444444444444444444444444444444444444444444444447?
 3B
<4< )E1XYS-TUV 444444444444444444444444444444444444444444444444444444444444444444444<<
 O0AHF"=MM 
<4@ *=>8UV 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444<<
# PQL;=20H3HQL;=20
# $%0J=H3HQL;0J=#
# 3B
<4R UZA[X;UV 444444444444444444444444444444444444444444444444444444<6
& R07I9%0J=51S B@
& R07I51S )'
<46 -\2]V-A^;UV 44444444444444444444444444444444444444444444<?
<4N OPBABX89PS-[84444444444444444444444444444444444@Q

 F187189L#G
 F187189, #
 F4I, #
# 3B#
<4_ \Y^;2UV 444444444444444444444444444444444444444444444444444444@@
' C<TU8;V %0J= ##
' W5X7<U8;V#&
' 3B#

@43 *=>8>;`444444444444444444444444444444444444444444444444444444444444444444444444444444444444444@N
# C<DHQL;H3%#
# ,Y"KKH35Y"KK #E
# =5Y"K#E
## 3B&
@47 )E1X9=>8>;`444444444444444444444444444444444444444444444444444444444444444R7
# (%%B*&
@4< OP\>a9=>8>;` 44444444444444444444444444444444444444444444444444R7
# 3B&#
@4@ J-bX9=>8>;`44444444444444444444444444444444444444444444444444444444444R@
## Z L[)0\H%0&#
## Z L[BM]ε&
## Z L[BM78H<&E
### ^1@HQL;
##& ,L_ ;M)= 
## 3B

#


R43 '8Ab.W-cDd-GJeL-8IdJLM444444444444444444444444444444444444444444446@

& (%)%*+ #
& C<D*+ &
& 456O,.`47a
&# K*9O,.
R47 ;AfA\YgdJL44444444444444444444444444444444444444444444444444444444444444444446N
& C B>LN 
& C B>Q"2b '
& =4AO,.7 B>Q"2bHcO,.7 B>L
N E
&# =4O,.7 B>LNHcO,.7 B>Q"2
b 
&& 3B
R4< OPBAB;dJL99=>8>;` 444444444444444444444444444444444444N7
& =4HQL;3O,. 
& =4O,.3HQL; 
& 3B
R4@ '8Ab.W-cABAC44444444444444444444444444444444444444444444444444444444444444444444444444444444N6
&# 3B
R4R UZX;>;`4444444444444444444444444444444444444444444444444444444444NN
R46 -\2]V-A^;>;` 44444444444444444444444444444444444444N?
R4N \Y^;>;`44444444444444444444444444444444444444444444444444444N?
& d01S=5Y"K'G
& C<T8; %'G
& W5X7<T8; %'
&# 3B'

643 ,.- 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444_@
 C<D;=R '#
 456;=R`47a '
 K*9;=R '

# $%71@7 B>;=R ''
& 3B''
647 UYg8.- 44444444444444444444444444444444444444444444444444444444444444444444444444444444444__
 3B'E
64< "-\A:-I-D--FGGM4444444444444444444444444444444444444444444444_?
64@ h-\Wi.EP8.-44444444444444444444444444444444444444444444444444444444444444444444?Q
# $S>?7c)4L EG
# QceEG
# 18* E
64R 80X8.-444444444444444444444444444444444444444444444444444444444444444444444?3
& (=RIcQ E

&

& (=R)%787<E
2-8`j j j j j j j j j j j j j j j j j j j j j j j j j j j j ?<






P3 Q;EGf.R7e!+;=A1@I)QF
\0 1;=03==;=A1@3=71@g3
P3 Q;E#GH3E&Gf;=A1@788f;3hg3
f7e71@!+>3) g
7IfH3 Q;E&Gf3%g ;M)=7eF\!+Hc
*+PQL;3=I;NJ\ijHS%%;H33==HQL;
3;?kc9H\"=5F;?MNk;c;f7i\;318*5<
l%;3;%*0 ck;c;JgmL51S7=3;?MN

+5Xn
• Ok;c;2)2H3)4;;L7\/MN
• ?0AHF9;?18*5<
• ,<A%B M%BK
• ,<A%F!3=M%F!).fOfP\fo
• R*;)2;A HQ
)\;89;%g3=3n%fHQL;H3%%;Mj71@*3=
AS7872S+LH3;NJ\;K2h
(?%f 5p3%F!=%B*f*7c71@";3;?
B@R=!f1S)I7<D0"Hc%fhMj*;
4;?MNJ\;*+Hc%
 
 = q g3 ? )0 F 3 ;?  L  )0\M=;   
1r71@)0\3Σ
 Mn
  sfffoftunZ
  sGffofEu nMNB
  sGfu  nMN<



 
Afb3;?5e=L)0\A
R%1rfM/5X1rfffo456)0\?
H3vffHfo456"
 Σwsffu"H3?Σ
b3")%h)0\3 f1r71@)0\3ε
  !" #$
kE"9;?"v71@)0\3xvxf3MN)0\9"
^c  "H3H3"B71@`N)0\9"H

H3 Np!9"f+3n
w



o

H3Hw



o
;
*)2N9H3H3"Hw



o





o
;

`HM"3"B71@`H2)0\ +F1@LfD
3
vw




o

*"7 B71@3v
y
w


]
o


Z1Tfε
y
wε
:cz"H3\-c Mz"n2vwH*71@g3cN9vH3H3BN
9v
"l.m v"n2v3;?"*v

3"B71@`)2NvHS
0Ik
v

wvvovk
Z1Tfv
G
wεHS;gv
% &'
$%3;?B@"!Σ$%1r71@)0\3Z

RBK"!Σf71@)0\3Σ
{

|3;?%
Σ
}
3BK"!Σ LA"bfD3n
Σ
}

wΣ
{

]ε
∅3%bf+3)%+K)~)0\3 
sεu3%•+"bZ1Tf∅)HSsεu
 ΣwsGfu
ZwsGG

x€Gu3;?%!Σ
qΣ
{
wsεfGffGGfGfGffGGGfou
 Z

wsffffu3!sfu
 Z

ws



x€Gu3!sfu

'

(  !" #'
$%3;?B@f5 7IK !B@7cI45X 
%$ 3%qI;?MN Jg)
 %ZfZ

H3Z

!Σ
 Z

∪Z

wsvxv∈Z

 iv∈Z

u
Z

∩Z

wsvxv∈Z

H3v∈Z


u
 Z

•Z

wsvxv∈Z

H3v∉Z

u

wsvxv∉Zu i

wΣ
{

]Z
 Z

Z

wwsvxvwHf∈Z

H3H∈Z

u
 Z

wsGfuH3Z


wsGGfu
 Z

Z

wsGGGfGfGGfu
Z
y
wsvxv
y
∈Zu
 Z

wZZoZk
:=Z
G
wsεufZ

wZZ
]

 Z
{
wZ
G
∪Z

∪o∪Z



 Z
}
wZ

∪Z

∪o∪Z


Z1Tn Z
{
wZ
}
∪sεu
  Z
}
wZZ
{
wZ
{
Z
 Zwsfu
  Z

wsfffu
Z

wsffffffffffff
fffu


E

d!+%k;?82;%%7I3;;(?
)%*+fHQL;3J=‚M7h
CNHS%F!fHQL;3\NCNHS%B*fHQ
L;3J=‚hH218*
C<D;?2P\78>HQL;Mn
  ƒ€ → ƒ9€ƒP<€
  ƒ9€ → ƒ,A€xƒ,A€ƒR0A€
  ƒP<€ → ƒC?A€xƒC?A€ƒ„€
  ƒ„€ → ƒRLA€xƒ,A€ƒR0A€
PQL;!M7hMn
]  „Q q7
] :gMI=\c
Cn3434PQL;^71@7<D13?Nn
  ^w$fΣfyf
 7In
] $3B@L)0\)%)2h ;M=; =
q71@g32…
] Σ3fB)0\)2h;M=; f$∩Σw∅…
] ∈$3)0\7k=2)>7k…
] y3BJ=‚ iM"K†BM 5 fB
MI5Ln
α→β
   7Iα∈$∪Σ
}
I+0K;?2fβ∈$∪Σ
{

• 2†)0\)%)2h?$71@456>)0Fn.fffo

• )0\)2h?Σ71@456>)0Fnfffo
• "•a;)0\)2h71@456>)0FnvffHfo
• "a;)0\)2hH3)0\)%)2h71@456>
)0Fnαfβfγfo
]  HQL;^

wsf.fufsfufyff 7Iya;BM
Mn→x.f.→f→x.xε
]  HQL;^

wsufsGfufs→Gxεuf
RAHQL;74MfhI)\;5Y"K
Cn3474

G

 HQL;^w$fΣfyfH3"∈$∪Σ
}
H3H∈$∪Σ
{

• =5Y"K;?1SnI5Y"KF2Hf)0\



f2H3•2n 
w"α=
    Hw"β=
    α→β∈y
• =5Y"Kc1SnI5Y"K2Hf)0

\
{

 
f2H3•2n









Cn34<4
 ^w$fΣfyffv∈Σ
{
5 HQL;^M2H3•2n
 


{


$D3aLn









fv

fv

fo71@g39
5Y"K
Cn34@4
 HQL;^w$fΣfyff%Z5 HQL;^M3n
  Z^wsv∈Σ
{
x 

{
 u
 HQL;^

wsufsGfufs→Gxεuf
*GGGGGGGGG3;?5Y"K
$%18+9HQL;^

3nZ^

wsG



x≥Gu

 HQL;^

wsf.ufsfufs→.f.→.f.→uf
$%18+9HQL;^

3nZ^

ws

x€Gu
R  ;M)=I# LHQL; 5L9BM1Mn
 $2BM7cI5L.→ i.→HS.f∈$f∈Σ*HQL;
71@g3 !=HQL; L
 $2BMI5L.→αf.∈$fα∈$∪Σ
{
*HQL;71@g3
"=HQL; L
 $2BMI5Lα→βfα∈$∪Σ
}
fβ∈$∪Σ
{
[;exαx≤xβx*
HQL;71@g3""=HQL; L
# $2)%IL2*!BM*HQL;71@g3
#$%=HQL; LG



Z1T`fHQL; L3B 9HQL; LfHQL; L3B 9
HQL; LfH3HQL; L3B 9HQL; LG

IKc\NI471@";L;br74;*> ;?LM
9;?B@LL(X709L3SL;?k9
<M/9\NRB@9H\•IMNLL3;?\NI4
71@37iHSB@L3=!
(?)%*+f;?%%;a;;?B@LH37c)4
5<=4AL3=ML))B5\H3 
l%;78K3;%L9;?=4;LMvR2
<kSL9I3&'=(f 1rM/5XKh*\+I
X?H3 L\L92<d2<>L&'f1rM/5XKh
*IMj=4ML(f1@L)2<7> L(1rM/
5XKh*I=4ML&'(%*%%;L ;?=4;L
92<71@;% *Hj

)*+,+,-*"&./
l%;!;%L&'H3(92<f)IMF7?A! 3U
0V*IMj=4AL3=ML)
l%;;%;?k9?0AHF:*Hj;%%%;
LB2A)I&1
)*+,2-*3$'4567&1
(bL9%%;456k"7e71@B29A)I&1‡
*B2‚7kA"bf 72)A&171@*K=*LN 
7 BA)I


 


















0

8'
(
0




)'* +
183=MjS\S%f71@g3U !VZS%
3=71@;%>%%;LZS%%;L71@3; Ln%%;
L787<3%%;;3L;?r74;I•I4> ;?LK7<f
 )%%;L)%787<K7<3%%;;3L;br74;I4>
 cL)
 ','-.
l%;L3;?U;=V7 B"$I a;?BMn
] ;?&9$71@3 %f5p74 " H3 f;b )0\9" H3 

?Σ71@!;?%…
] ;?3:3;f;br74;7g[72;?%!QH3 …
] ;?&<3=5/‡fa;;?MNLLfL;br74;II
;?L
)*2,+-"3>3.
: L7?9%%;71@F\1Mnl%; L7? A1S(b1S
1Mnp= L\r9?7c)4H3)0\;37k7g77gf;3
%%;=4M;?L;Sf7ar7k7g5<=4M;?%
‡=B=4L9%%;L787<71@;%>;?3;f71@g
33;5<=4M z 1Mn
δn‡"Σ→‡
R ‡fI;?3:f1r)0\J
G
H3;?B@?†A
Bf1r)0\--⊆‡
RI%%;47'"H3 v2M)"KAL7kJ
G
H37k7g•
H3 )0F!K9"vfM;?MN1S5<=4Lf%%;7g" "
vH38H3 ;? LN?-
G G   G  G    G
J
QH3 
Ck7g
?7c)4




RB @ K   " 7  B > %%; @ 3 %  71@ A B >

%%;7I
 '-.
Cn7434(?3>3., 71@7<D13;??Q;n
(w‡fΣfδfJ
G
f-
R 7In
] ‡3BLLf‡wsJ
G
fJ

fofJ

u
] Σ3H3 
] δn‡"Σ→‡33;5<=4fδI471@H251S5LδJfwJˆf
D3%%;7>LJH37g)0\*IMj=4ML
Jˆ
]
 J
G
∈‡3L7k
] -⊆‡3BLAB=LN
 /01$23$456"
^ M/v w 
G





 3" H3  , Mj ‚ 7k HS L J
G
f I Mj F\ 5<
=4δJ
G
f

M/ J

, =r>LJ

H3)0F2 Mj7g3

fI
F\5<=4δJ

f

M/ J

$I+2X12f 72)7g

*Mj
=4MLJ

3 7If2J

?B-*, AB"H3 vf1@L
*"H3 Mj)%71@AB
=5F, AB"a;•)0\GfH3+0K;?k

"GfD3hI4;%%Z3=1Mn
Zws"G=x"H3=a;)0\GH3K)*u
C4"=5F, ABZf, (kS)QMn
 , 7e7g"Gf12M7III4AB"H3 
 , 1 r7g)0FGf1I7e7g0K)0Ff 1r@3=
II42X7g)0F 72)3 7g;?)0FG7k!f*II
4M7I7g;?)0F7cM
 , 17g"Gf1=1S7II7g0K;?)0FGf12II
42X7g)0FG 72)i;?)0F*I4=4MAB
"H3 
PSB"!fh5653BK=;b1r@!Mj+HS;?L
S9, R1r@Mj18+HSLABf)0\LJ

f
>L3=f, I42X7gK)~)0\3 $12fδJ

fGwδJ

fwJ


R1r@Mj18+HSL7kJ
G
f)>L3=, I42X
7g )0F   72) i )0 FG * =4M L  )$1 2f δJ
G
f w J
G
f
δJ

G
fGwJ


R1r @ Mj 18+HS L J

f) 7e7g 1S7I 0K ;? )0F Gf
11 r7g"G‰LJ

*, I42X7g)0FG 72)
i)0Ff*=4MLABJ

$12fδJ

fGwJ

fδJ

fwJ



#

PB=fNphI, 1Mn
(wsJ
G
fJ

fJ


ufsGfufδfJ
G
fsJu
HSδ71@"=5F1!
%   789::;/01
;%, `?Q;1!3187N)I4H30FJI
;%788;?, 3n&/3@./M 5;H3&"./
M 
(?47a5<=4 ;?, (w‡fΣfδfJ
G
f-3;?7a<71@7<D
1Mn

 (bL ‡3;?h
 PS;bLJ∈‡H3;b)0\∈ΣfIδJfw∈‡$12f47a
5<=4I;?7Ah72hJ;ef2Ic)0\L 
5<=4AJ72*•k456;?;e35M
)0\7I
 I;?;|!7H3 hJ
G
74)0\L7k
# L)2h-3h71@456>Hqq
& L)%?-3h71@456>•;?Hqq
,p47a5<=4L74456, 71@"=5F H0
5X
)*2,+,AB&/C$ D2,+
5<=4 ;?, 3;?J=1S4565L9;?3;f;3>
7=35<=4HS;MNnLH3)0\H3 RL7k71@7
5K>5KŠ→ˆfLNMj71@75K>5KŠ{ˆ

5<=49, "=5F H05X31Mn
δ

G 
→J
G

J

 J
G

J


J

 J


{J


J

 J


( <6* 8=>7* ?
(?)%*+hI4BK=`f;?, 7<D%

a;"3)2J9J*5<=4AL7k72;? L
ABC4"7<%71@AB>;?, fhMj7<D9
./E<"55M z 
Gf
G
G
J
G

J


J




&

:3;5<=4;>?f)0\3δ
{
fMjB;MN3LJH3"vH3
HcL$D3f, 7>LJfM)"/T"v*, 7L72L

Cn7474:3;5<=4;>?71@7<D7\J=!7?539"v
1Mn
 δ
{
JfεwJfHS;gLJf2, )%7g)0\H3 3 *Mj>LL
7I

 δ
{
Jfvwδδ
{
Jf"ffHSvw"f"∈Σ
{
H3∈Σ
=5F, AB%n
Zwsvxv•+)0\GfH3%)2h>)0\u
, \)Qn)I7g)0\f*=M7II4)2h…
)I7g)0\G*=M7I)%71@)2hf;37g2)0\)
 72)i)0\$12f, MjI0KL18+HS)Q
!R"=5F, 1Mn
(wsJ
G
fJ

ufsGfuf
δfJ
G
fsJu
R 7If3;δ1Mn
)*2,2,AB$ D2,F
:=hI44563;δ>5<=41Mn
δ

G 
→J
G


J
G
 J


{J


J
G
 J


=rfhM/5X3;5<=4;>?747 B"vwGG9%
Z
δ
{
J
G
fεwJ
G

δ
{
J
G
fwδδ
{
J
G

fεfwδJ
G
fwJ


δ
{
J
G
fGwδδ
{
J
G
ffGwδJ

fGwJ
G

δ
{
J
G
fGwδδ
{
J
G
fGfwδJ
G
fwJ



δ
{
J
G
fGwδδ
{
J
G
fGfwδJ

fwJ


δ
{
J
G
fGGwδδ
{
J
G
fGfGwδJ

fGwJ
G

δ
{
J

G
fGGwδδ
{
J
G
fGGfwδJ
G
fwJ


$12f"H3 vwGG71@AB>, 

G
J
G

J


G



hI4456J*7 B7881Mn
J
G
GGJ

GGJ
G

GJ

GJ

GJ
G
J

∈-
G'HICNHS;?"H3 vf, • ;?J*7 B5=K
@ &'4ABC/01
Cn74<4 , (w‡fΣfδfJ
G
f-f%71@AB>(f71@)0
\3Z(f71@7<D1Mn
Z(wsv∈Σ
{
xδ
{
J
G
fvwJ
z
fJ
z
∈-u
$D3f%Z(a;"vM  ("KAL7kJ
G
fM)
7g2"v*7L72;? LJ

z
?-
C n74@4 , (f;?%Zw Z(71@g 3 !
:=I)f%71@AB>;?%%;L78
7<3%0J
=5F%%;AB%Za;"!Σwsfu
71@‚7k>"
)*2,J,AB$ D2,K
hI45653BK=`J

3;?L7i\f2%%;7L72
L3=*Mj)% r 71@
+;`%Zws


;
x;f€Gu3%0J
C4+;;?%30Jf•`aL, AB%
7IRBHB=Z71@AB>, Mn
)*2,F,AB47'LM7&7

&

NOPQR
G'HICNHS;?, (w‡fΣfδfJ
G
f-f+HS;?LK)~J∈‡H3
;?)0\K)~∈Σf*3;5<=4δ ;?)2J"7<f+3;?
LH3•;?L∈‡
f


f
J
G

J



J


J


 


f

J
G

J
#


J



J
&

 

J


J


 




D 6C
:e="7<, 7 B%!sGfuMn
 RB"I7?532 
 RB")2h>GG
 RB"+)0\G!2
5 RB"‚7k i)2h i>G
+;%M30Jn
 Zws


;
xf;≥Gu
 Zwsv∈sGfuxv)%+" 3 u
(%;?)%*+%71@AB>, Mn

δ

G 
→J
G

J

 J
G

{J


J

 J
G

J


J

 J


(?%%;L)%787<I)Q> cL)>L
;?r74;|1, f;?$ I;?B@LLf 7II
;?L7kH3BLABfH3;?BL)0\H3 

H3 $ |I;?3;5<=4f71@)0\3δF)8
$ H3, 37<D93;5<=4CNHS$ f3;5<=4B;?
LH3;?)0\H3 |17NHS, H3Hc;?B@fI4bf
L=H*•Hc7h;?L7NHS, 
 E=F-.&01
Cn74R4(?53>3.$ 71@7<D13;??
Q;n
(w‡fΣfδfJ
G
f-
R 7In
] ‡3BLLf‡wsJ
G
fJ

fofJ

u
] Σ3H3 
] J
G
∈‡3L7k
] -⊆‡3BLAB=LN
] 3;5<=4δn‡"sΣ∪sεuu→B 9‡
$12f$ H3, IMF)\83n
• <Hc93;5<=4δn, •Hc7h;?L?
B‡f )$ Hc;?BL3B 9‡

'


• ;?$ I4I5<=4)7gεf+37g"bf ), *
)%7g"b$1HB=f$  F\MF=4L;3
)%7g)0\H3 3 
(?$ |I471@;%>47a5<=4=5<=41, 
=5F$ AB%a;"!sGfuf‚7k
>)0\GH3)2h>)0\$ 71@"=5F *Hj&
)*S2,K,GAB$ D2,T
^M/"H3 vwGGGfJ*7 B"v31Mn
J
G
GGG
J

GGJ

GGJ

GJ

GJ

GJ

J

∈-
R=!fhI45653B K= `fJ*7 B! •3 ;?
 J*7 BJ*7 B)*)%4AB"
H3 
G'HICNHS;?"H3 vf$ I4IcJ*7 B)f

 ), *•I;?J*7 B
$ !I44565L=45<1Mn
δ

G 
→J
G

sJ

u ∅
J


sJ

u sJ

fJ

u
{J


∅ ∅
UVId2J93;5<=43;?BLH3I43Bb)$ 
>;?L3 7If7g)0\H3 f)%aL5<=418+d7IfI
$ U<IVf)% L7?
=5F%%; B2 % a; " I7? 53‹! 
sGfu$ 71@"=5F *Hj

)*S2,W,GAB$ D2,X
 <6* 8=>7* ?
|17NHS, fh7<D3;5<=4;>?f)0\δ
{
f)$ 
>;?LJ3 7If7g;?"vHcB@L
G
J
G

J


J



Gf
ε

Gf

J
G

J


J



Gf

E

Cn7464:3;5<=4;>?71@7<D7\J=!7?539"v
1Mn
 δ
{
JfεwsJufHS;gLJf2$ )%7g)0\H3 3 *Mj>L
L7I
 PS v w "f "∈Σ
{
 H3 ∈Σf  M/ δ
{
Jf " w s

f 

f of 
)
u H3

5


7


ufffsf

=
=
δ
*δ
{
Jfvws

f

fof

u
UVI(?)0\∈ΣI471@";3;?"ε
{
ε
{
$D3fIn
ff
{{{
εεδδ
7!7! = 
 $  *Hj51S7=f0δ
{
J
G
f
)*S2,T,GAB$ D2,Y
RInδ
{
J

G
fwsJ
G
fJ

fJ

u
/5X3;5<=4;>? *Hj&74"/T"vwGGG
1S7 B1Mn
 δ
{
J
G
fεwsJ
G
u
 δ
{
J
G
fGwδJ
G
fGwsJ

u
 δ
{
J
G

fGwδJ

fwsJ

fJ

u
# δ
{
J
G
fGGwδJ

fG∪δJ

fGwsJ

u∪∅wsJ

u
& δ
{
J
G
fGGwδJ

fwsJ

fJ


u
 δ
{
J
G
fGGwδJ

f∪δJ

fwsJ

fJ

u∪∅wsJ

fJ

u
 δ
{
J
G
fGGwδJ

f∪δJ

fwsJ

fJ


u∪∅wsJ

fJ

u
' δ
{
J
G
fGGGwδJ

fG∪δJ

fGwsJ

u∪∅wsJ

u
E δ
{
J
G
fGGGwδJ

fwsJ

fJ

u
 &'4ABC&01

Cn74N4 $ (w‡fΣfδfJ
G
f-f%71@AB>(f71@)0
\3Z(f71@7<D1Mn
Z(wsv∈Σ
{
xδ
{
J
G
fv∩-≠∅u
$D3f%Z(a;"v?Σ
{
M  ("KAL7kJ
G
f
*δ
{
J
G
fv+0K;? LAB
7<%71@AB>%%; *Hj51S7=n
ε


J
G

J



J


ε

G

)*S2,X,GAB$ D2,++
$%Zwsv∉sGfuxv)2h>"Gu
h  B K= ` 7< D ,  H3 $  3 ) n 4 \ > 3; 5<
=4$ 3f7NHS;?%f$ 35653"=5F8, :8fMN
L9;?, 1r3KSf )MNL$ 1r308R=
!fhMjK=`$ H3, IHq1 7 B%RB
HB=fhMj•`, F\*;3$ F\
 >8G/01B&01
RA;?$ $w‡
$
fΣfδ
$
fJ
G
f-
$
hI4"=5F;?, ,w‡
,
fΣfδ
,
f
sJ

G
uf-
,
M  Z$wZ,R 7IfH3 9$ H3, NfL
7k9, 3B@sJ
G
u•a;L7kJ
G
9$ 3k)
71@"=5F1Mn

 ‡
,
3B@B 9‡
$
Z1T`f2‡
$
IL*‡
,
MjI


LR=!f1rIL)%7L7271@ ‡
,
f
L3=I4 L[$1HB=f‡
,
1rIMNL[8



• -
,
3B@B 9‡
$
M  ∩-
$
≠∅$D3f-
,
B@
L ‡
,
M  ;bL7II+0K;?LA
B?-
$

• CNHS;bBR⊆‡
$
H3;b)0\∈Σf
(
)

$!
G
7!7 ff
δδ
=

 $ $ *Hj'KB%a;"!sGfu)2
h>G>H*BL9$3sJ
G

fJ

fJ

ufMNB@B L
9$3

$12fhI4"=5F5<=4 , 1Mn
δ

G 


∅ ∅
→sJ
G
u

sJ
G
fJ

u

sJ
G
u
sJ

u


∅ sJ

u
{sJ

u

∅ ∅
sJ
G
fJ

u

sJ
G
fJ

u

sJ
G
fJ

u
{sJ
G
fJ


u

sJ
G
fJ

u

sJ
G
u
{sJ

fJ

u

∅ sJ

u
{sJ
G
fJ

fJ

u

sJ
G

fJ

u

sJ
G
fJ

u
Z1T`f;bL9, 3;?B@L9$ hI4
7i!L L3=fmLsJ
G
u71@=>
G
fsJ

u71@=>

fo
RI5<=41Mn
Gf
G
J
G

J


J







δ

G 





 


→
G



 
G






 



{




 







 
#

{
#



 
G

{
&




 


{




 
#

R!5<=4fhI4BK=AL7k
G
h•I4
7L72L
G
f

H3
#
fQ;LqL3L)%7L7271@
$12I4 L[L3=5<=4•qn
δ

G 
→
G




 
G






 
#

{
#



 
G

:=4565L47a *HjE
G


G

G


#






G

)*S2,Y,8/3@./Z7AB D2,++
R=!f hI 4BK=` "=5F , A$  1!3;K
crf5 05<=4 K

B 9L9
$ C4F\8fhIB 51S7=
RB =4$ 3, n
[9$I $ $w‡
$
fΣfδ
$
fJ
G
f-
$

\7I , ,w‡
,
fΣfδ
,
fsJ
G
uf-

,

F

,
wssJ
G
uu
δ
,
w∅
F>F
  ZK=J
5
∈‡
,

 HF∈Σ
YF



   R0
(
)


!$!
G
7!7! == ff

δδ

  ‡
,
w‡
,
∪s
5
u
   δ
,
wδ
,
∪sδ
,
J
5
fw
5
u
 FE
-2:2J
5
∈‡
,
1K=
-
,
wsJ
5

∈‡
,
xJ
5
∩-
$
≠∅u
oE4
=5F, A$ G *Hj B !
7kf‡
,
•a;sJ
G
u
δ
,
sJ
G
ufGwsJ
G
fJ

u
δ
,
sJ
G
ufwsJ
G
u

δ
,
sJ
G
fJ

ufGwδ
$
sJ
G
ufG∪δ
$
sJ

ufGwsJ
G
fJ

u
δ
,
sJ
G
fJ

ufwδ
$
sJ
G
uf∪δ

$
sJ

ufwsJ
G
fJ

u
δ
,
sJ
G
fJ

ufGwδ
$
sJ
G
ufG∪δ
$
sJ
G
ufGwsJ
G
fJ

u
δ
,
sJ

G
fJ

ufwδ
$
sJ
G
uf∪δ
$
sJ
G
ufwsJ
G
u

,
wssJ
G
ufsJ
G
fJ

ufsJ
G
fJ

uu
-
,
wssJ

G
fJ

uu
 HS"=5F,  H05XGfBK=B 3= F\
8f788
=5F,  $  *HjMn
)*S2,+Q,AB$ D2,+F
δ
,
sJ
G
ufGwsJ

u
δ
,
sJ
G
ufw∅
δ
,
sJ

ufGwsJ

u
δ
,
sJ


ufwsJ

u
δ
,
∅fGw∅
δ
,
∅fw∅
PB=hI, 1Mn
Gf
G
J
G

J





)*S2,++,AB$ D2,+F
 G4:4:&01H6/01
$12fh HA• "=5F , A$ f= !h k 
+;`, 71@"=5FABp;?%HS, RBH=f
hI7<T51S7=
C2p7434$2,w‡
,
fΣfδ

,
fsJ
G
uf-
,
3;?, 71@"=5FA$ $w‡
$
fΣf
δ
$
fJ
G
f-
$
 B !*Z$wZ,
T8
$12hk+;`n2$ $AB"v*, ,71@"=
5F| ABv H31@Lf2, ,AB v * $ $ |AB
"v
^M/n‡
$
wsJ
G
fJ

fofJ
;
uH3‡
,
ws

G
f

fof

u
R 1"=5F‡
,
f*n


wsJ
Œ
xJ
Œ
∈‡
$
ufHS
(
)

]
$!
G
77!7 Σ∈= fff
δδ

hk+;Z$wZ,hMj+;1Sn2v∈Z$
*v∈Z,H32v∈Z,*v∈Z$
^_


#G%*

#%I
^M/vw



o

f≥GH3I5Y"K $>H*$ABvn
J
G




o

J



o

oJ
]


J


fHSJ

∈-
$

|HS"v ,fhI5Y"Kn
 
G




o





o

o
]





PK7c3hk+;`


∈-
,

hMj+;`J=L`nHS∀fG≤≤fJ

∈

{
]wGfIJ

∈

wsJ
G
u B !
]^M/{7hHSƒf+3J

∈

fk+;{7hHS}
R 27kfIn
δ
,


f
}
w
}
 H3 δ

$
J

f
}
+J
}

P*J

∈

f!δ
,


f
}
+δ
$
J

f
}
PB=fIδ
,


f
}

+J
}
=
}
+J
}

$I)fJ
}
∈
}
f{7hHS}
Gf
G
J
G

J




Gf


#

RA{M=J

∈


f;3J

∈-
$
 27kf8 "=5F-
,

 B !*

∈-
,

PB=v∈Z,
^_

#%*

#G%I
>H*v∈Z,!M/I5<=4;>? ,1Mnδ
{
,

G
fvwHS
∈-
,

hMj+;`J=L 7?539wxvx`n∀J∈faL5<
=4 $nδ

{
$
J
G
fvwJ{{
]PSwGf+3vwεf*Iδ
{
,

G
fεw
G
f;3 B !*
G
wsJ
G
ufHB=
δ
{
,

G
fεwδ
{
,
sJ
G
ufεwδ
{
$

J
G
fεwJ
G

]^M/{{7hHS•fk+;{{|7hHS
^M/vw"f"∈Σ
{
f∈Σ
R 2J=L7hHS]fInδ
{
,

G
f"w*∀J∈faL5<=4
 $nδ
{
$
J
G
f"wJ
:8 f    2  7kf v ∈ Z,f + 3 δ
{
,

G
f v w 
z
f HS 
z

 ∈ -
,
f =
δ
{
,

G
fvwδ
{
,

G
f"wδ
,
fw
z
$D3δ
,
fw
z

J
z
K)~?
z
fIδ
,
fw
z

;3 "=5Fδ
,
 B !
+33;?B@L $H3δ
,
3B@δ
$
*aLδ
$
J
z
f+
J
z
HSJ
z
∈
z

:8f 2J=L*nδ
{
$
J
G
f"wJHS∀J∈
PB=δ
{
$
J
G

fvwδ
{
$
J
G
f"wδ
$
JfwJ
z
fHS∀J
z
∈
z
$12f{{|7hHS}
‡=LHS2v∈Z,k+;v∈Z$
R {{Inδ
{
,

G
fvw
z
HS
z
∈-
,
*aLδ
{
$
J

G
fvwJHS∀J∈
z
, J∈
z

!∃J
z
∈
z
M  J
z
∈-
$
 B "=5F, 
PB=Inδ
{
$
J
G
fvwJ
z
HSJ
z
∈-
$
fD3v∈Z$
$12fh7e+;71@nZ$wZ,
 6C
=4$ M3, n


δ

G 
→

sfJu su
J

su su


sMu ∅
{M

sMu sMu

δ

G 
→

sJfMu sJu
{J

su sJfu


sMu su


&

{M

∅ su

δ

G 
→

sfJu su
J

sfMu su


sfu su
{M

∅ ∅
{

∅ ∅
#
δ

ε   
→


sJfu ∅ sJu su
J

∅ su su sfJu
{

∅ ∅ ∅ ∅
hMjBK=`%%;L71@+5XK\J *;)2;HQ
nmL1*;)2;%!vf*;)2; A74fo
% &01"-*,5*B,I
^M/hI;?B@Afg34567fh;N*;MF"K\
9A7IR 1r@3=fhMj"=5F;?$ B2;?A)I)
I7L72;? LABRL;?r74;$ Mj7g;?)0F9HQ
$ 1271@"=5F1Mn
 (?L‚7kJ
G
F\5<=4!0I)7gK)~;?)0F
3 ?L !HQRLJ
G
MjU7 VMF‚7k9;?
A)I=)%
 CNHS;bA)Ivw



o

ILJ

fJ


fofJ

d$ 7g

I
5<=4AJ
G
72J

f)$ 7g

I5<=4AJ

72J

foRLJ


3LABH3•`A)Ivw



o

71@*;K=
=5F$ B2A)IHH3EH^M/HQa;A
!Σwsfffoftu
,F!B"=5F$ HA*3=>!fh"=5F$ 1Mn


)*S2,+2,AB'&4 9EH


#
 

& 
z

5
z

×