Context-Free Event Domains are recognizable

(1)

HAL Id: inria-00074095

https://hal.inria.fr/inria-00074095

Submitted on 24 May 2006

Context-Free Event Domains are recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

To cite this version:

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are recognizable. [Research Report] RR-2588, INRIA. 1995. �inria-00074095�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Context-Free Event Domains are recognizable

Eric Badouel Philippe Darondeau and Jean-Claude Raoult

N˚ 2588

juin 1995

PROGRAMME 2

(3)

(4)

."/1032547698;:=<#>@?BAC"D;0E?F0FGHG%>I56=/J:=K#8H>L6=<MA6=K#8!NO>L6=KHP(QM?36=<#8H>5RB69:=<;?ESTA

UVXWZYZV\[]]7^ _a` b#[1cedgfhc9ikjl]MmnWJcporqsfL^utsvhVwWZYJVx[1]][yXopWJz^(y{Y}|^-zLop^ cpWJYZordgop^(c

UVwWZ~3^(y%ord([Zi

%[vhvnWJVwy l^VX^1dxL^(VxdxL^zl_ZJZ` ~3fLoz(JZ` Jv[YZ^i

Tg11LZ L^ vnWuiwi3opmLcjzLWJz@orikyXVwopmhfLywo^^(^(zlyM@WJ][ozi{Lord[1Vwoei3^ VwWJ]

¡¢opzi3£^(cF¤¥i^(^(zlyHi3ywVwfdgywfLVX^1i;{oywMmLopz[Vwj7dgWJz@¦oed§y[1Vw^¨£lzLW1{zMywW"d§WZopzdgoe@^%{opyXyXL^

@WZ][opzi;W©dgWJz@ªYZfhVx[yXopWJzi«W1H¬yx[1Vw£¤®iyXVx[Zd§^ [fLyXWZ][1yx[l¯¡5^¨vhVwW1^°yX[y{{h^(zL^(^(V

ywL^)ywVx[1zikoywo^{Vw^1@fdgywoWZzMWTywh^°WJVx@^(V#WZzªzLopyX^°^(c^(]^(zlyxi9opz7[z7^(^(zlyH@WZ][opzMoei#[

dgWZzlyw^-±@yX²³ VX^(^¨YZV\[vLBopzyXL^ik^(zik^¨W1Hµ´fLcpc^(V%[z¬ldxlfLvLv9tlyw[1y{^(^(zly{@WJ][oz][(j

[crikWm^YJ^(zL^(V\[yX^1 VXWZ]¶[ªzLoyw^ ywV\[Zdg^a[fLyXWZ][1ywWJz9tn{h^(Vw^ mWZyXywL^aik^(y%W#i3yx[1yw^1i

[zyXL^"d§WZzdgfhVwVw^-z@y)[cvL[m^(y·[Vw^ ªzLoyw^¯{¡ ^"ikhW¸yX[y¨yXL^"i3^(y%W#YZV\[vLYJVx[]7²

][V\i{LordMYZ^(zh^(Vx[1yw^{^(^(zly}@WZ][1opziori[¨Vw^1dgfhVxiko^{i3^(y(¯¡ ^{WZmLy\[oz[cywWZYJ^(ywh^(VH[z

^g¹^1dgyXop^%vLVwWldg^@fLVw^ {Lord@^1dgor@^1i© VXWZ]º[1zfLzLce[1m^(cpc^1YZV\[vLBYZV\[]][1VH{L^(ywh^(V

opy%YZ^(zh^(Vx[1yw^1i¨[1z^(^(zly%@WZ][opzB[1z»{hoedxd§WZzi3ywVwfdgyxi°ozyX[y d-[Zik^M[ªzLoyw^ywVx[Jdg^

[fLyXWZ][1ywWJzVw^1dgWJYZzLo¼(opzhYyX[y¨^-^(z@y%lWZ][1opz9¯%L^M[J@J[zlyx[YJ^W1HywV\[Zdg^M[1fLywWJ][y\[

W1^(VfhzLce[1mn^-cpcp^·YJVx[1vLYJVx[1]][V\i=oei9ywW¨vhVwW1@or@^ WZVH[%]WZVX^d§WZzdgVX^(yw^½[zyXL^(VX^g WZVX^

]WZVX^yXVx[Zd§yx[mhcp^"Vw^-vLVw^1i3^(zlyx[yXopWJzW½^(^(zly%@WZ][opzigt=#^(cpc}ikfLoyw^1ywWB[z [1fLywWJ][yX^1

^(Vwo¾ªd([1ywopWJzW©ywL^(oVvLVXWZv^(VXywop^ig¯

¿ÀÁ9ÂwÃÄ1ÅZBÆ^(zlyHÇ°WZ][opzigtlÈV\[Zdg^)É°fLyXWZ][1yx[lt@bHWZzlyw^(±lyw²EÊLVw^(^¨Ë%V\[vLi§t«^dgWZYJ²

zLop¼[mLocpopy3j

ÌeÍ"Î

ÏÑÐ3Ò(Ó

Î

Ï;ÔÕÐ3ÖØ×xÙ

Ú9Û1Ü®Ý°Þßgà áÞOâÝ¨ãJâxàØä å®æMÝØç1ã1ãZß§à äØèXéê(æä Û1è"ë1àØè3ìJíØÛ5î©ïñð½ï¥ò½ïóôwõLö

Ïk÷¥ÏÑÐaÏÑÕ#øùFÏ3Ò(ÖxÏFÐ3ú ê(æä Û1è

û%ïñò½ïñüïZý9è3äeÞ=ß§àØáþnÿ

×ZùEÏÑÐEÐ3ú

âìJé°ê-æ{äØÛ1èLÝØã1à Ü®ä#ïñð½ï)ï

Ð3Ó ÑÐ

¨âxÜ®åLàØÜí â§éß§ç1è3å

ú Û1Ü®å®Ü®ã1ãZè

âà ßgìJé(èXâç

ú

èXâì=åâçJé(è

âxß§çå¥ä! "Ü®à Ü®ÝEâ

#à

(5)

} #$% H}"* +(

ÀlÀM%WZfid§WZzi3oe#|^(VXWZzicr[°dgcr[ZiXik^%@^1iZlWZ][1opzL^1iT=¤X|^(#|^-zL^(]^(zy\i3¯Fchig¤¥[YZoy

@^1iM@WZ][opzh^1i@^BdgWJz@ªYJfLVx[1ywopWJzi@^Bi3ywVwfdgywfLVX^1i"=¤X|^(#|^-zL^(]^(zy\i[5dgWJz@¦oy"mLopz[1opVX^

WZf @^E[ dgWJz|^1qfLopJ[1cp^(zlyw^ @^1i@WZ][opzh^1il^ dgWJz@ªYJfLVx[1ywopWJzi¤®[fhywWZ][yw^iywV\[Zdg^¯

°WZfi;vLVXWZfLWJziqfL^{ywWJfLy{lWZ][1opzL^%=¤X|^(#|^(zL^(]^-z@y\i9@WZzlyHce[¨Vh|^1lfdgywoWZzMywV\[zi3opywo^%@^

cF¤WZVxlVw^)ikfLVHcp^i |^(c-|^(]^(zlyxi=ªzLori^1ikyHfLzYJVx[1vLL^!dgWJz@yX^(±@yX²³ VX^(^[1fik^(zi@^)´fLccp^(V}^(y

¬ldx@fLvhvv^(fLy#"^(ywVX^°^-zLYZ^(z@Vh|^%v[V#fLz[1fLywWJ][yX^°yXVx[Zd§^«ªzhoF¯$°WZfi;]WJz@yXVwWZzi©v[V{[1opc²

cp^(fhVxi%qsfL^ cE¤ñ^(zi3^(]MmLcp^%@^i«YJVx[]7][oVw^1iH@^YZVx[1vLL^1i%qfLo9^(zLYJ^(z@VX^(z@y%l^1i°lWZ][1opzL^1i

=¤X|^-#|^(zh^(]^(zlyxi^1i3y{VL|^1dgfhVxiko¾X¯nË%cpWJm[c^(]^(zlyzhWZfi%@oei3vWikWJzi =¤ñfhzL^ vLVwWld|^@fLVw^ ^g¹^1d§²

ywo^%|^1dgorL[zly#ikofLzL^%YZV\[]][1opVX^{@^¨YJVx[1vLL^1iHzLWZz,|^(yXoeqfL^(yh|^1i^(zLYJ^(z@VX^¨fLz7@WZ][opzh^

=¤X|^-#|^(zh^(]^(zlyxi^(y·qsfLo#dgWJzikyXVwfLoy L[1zicE¤®[&%7Vw][ywo^ fLz [1fLywWJ][yX^"ywV\[Zdg^ªzho;VX^1dgWJ²

z[oriwiX[zly%dg^¨lWZ][1opzL^¯$'¤¥[J[1z@y\[YZ^@î[fhywWZ][ywî;ywV\[Zdg^%loei([ @ori@î;YZV\[]][opVX^1i

@^%YZVx[1vLL^1iH^1iky#@^{ WZfhVwzLoV;fhzL^°VX^(vLVh|^1ik^(zlyx[1ywoWZz"vLcfiHdgWZzd§V^(yX^¨@^i;lWZ][1opzL^1i}=¤X|^(#|^(²

zL^(]^-z@y\i°^(y"lWZzd*),+.-0/213-0/ÈvLcfi·E[Jdgopc^(]^(zy%fLywocporiw[mhcp^M^(z5lfL^¤ñfLzL^M#|^(Vwo¾ªd([yXopWJz

[fLyXWZ][1ywori@|^(^@^ cp^-fLVxiHvLVwWJvLVwo-|^(yh|^1i§¯

4¸ÄgÂx35À5¢Ç%WZ][1opzL^1i{¤w|^(#|^(zL^(]7^(zyxi§t@[1fLywWJ][yX^1iywV\[Zdg^7tLYZV\[vLL^i¨dgWZzlyw^-±@yX²³ VX^(^t

Vw^1d§WZzLz[1oeiXiw[mhopcpoyh|^

(6)

;

% &('

11Ä9Å Z*)ØÄ

' +

, -

hÀ 91Ä @1

'

Å/.Ä

'10

)ØZ3254À

'

76Ä 8)

' 9

+ ÀlÄ;: ' )<L 5ØÀ=254À ' 76Ä 8) ' >

?

.Ä

'

À@9(ÂBA91À@À=254À

'

36 Ä C)

'

%ED

F ¯p Ë%V\[vL Ë°V\[]][Vxi{Ë%^(zL^(V\[ywozLYMÆ^(zly{Ç°WJ][ozi GGHGGHGGHGGIGJG LK

F

¯®_ Æ±lywV\[ZdgyXopzLYM[MÈV\[Zdg^É°fhywWZ][ywWJz VwWJ]¶[Ë°V\[vL Ë%Vx[]7][V7GHGGIGJG _Z

9 .Ä

'

35TM) Ä

' +N+

O QPRPHÀ ' ÅR)ØÀl +N?

l¯p ÉbH[1Vx[Jdgyw^(VXop¼1[1ywoWZzW#bHWZzlyw^(±lyw²e Vw^-^Æ^(zly{Ç%WZ][1opzi GHGGHGGIGJGS$

F

l¯®_ Ç%^1dgoelopzLY{{L^-ywL^(VT[¨Ë%Vx[1vLË%Vx[1]][1VË%^(zL^(V\[yX^1i9[·bHWJz@¦ordgyÆ^(zly

Ç%WZ][1opz GHGGIGJGIGGHGGGHGGHGGHGGIGJGIGGJGIGGHGGHGGHGGIGJGS$Z

l¯®_l¯p 9Vx[zikopyXop^ {^1@fdgywoWZziW1{bHWZz@¦oedgy%Æ^(zly{Ç°WJ][ozi GGIGJGS$K

l¯®_l¯®_ WZz[Z@ord¬^1dgWJzUT%Vx@^(V '=WZYJoed [zbHWJz@¦oed§y{Æ^(zly{Ç°WJ][oziV$Z

l¯®_l¯W$ É°zB[cyw^(VXz[yXop^ l^1dgoei3opWJz WZV)É°±lopWZ]iYX3bZxt[XE\Z\t[zVX]IZ^GJG F_F

` a

# cb $%;-

Loei}ikywf@j[Vworik^1i= VwWJ]¸ywL^9~3fLzd§ywopWJzW1=y3#W{Vw^(cr[yw^ywVX^(zLi9opzadgWZzdgfLVwVX^(zdgj)ywL^(WJVwjt

z[]7^(cpjBywL^7dgWZ]7v[VXoeikWJzW)i3^(][zlyword]Wll^(cei¨[1z5yXL^MdgWZzdg^(Vwz WZV^(±lvLVw^1iXiko@oykju¯

L^°ªV\iky{yXVw^(ztsm^1i3y{Vw^(vhVw^1i3^(z@yX^1"opzed°¡f$LgFtl[1op]iH[y%dx[1VwywozLY^-]m^1LlopzLYui[z

^1qfLopJ[c^(zdg^i=mn^-yk#^(^(zd([1yw^(YJWZVwo^1i=W]Wl@^(cri=WdgWJzdgfLVXVw^(zdgjt(ywlfiTdgWZ]7v[VXopzLY{yXL^(opV

opzlywVXoeikord°vW1^(V#WHVX^(vLVw^ik^(zlyx[1ywopWJz9¯lÊLWZV{opzikyx[1zdg^tL#^ ikhW#^1opzhdji{Ç¨_$_gyw[1y%ik^(v[²

Vx[1yw^1ywV\[Zdg^·[fLyXWZ][1yx["[VX^¨^1qfLopJ[1cp^(zlyH{opywiw[yXfLVx[1yw^1yXVx[Zd§^zh^(yxi#[zdgWJVwVw^ikvWZz

[yyXL^c^(^(c#W@WJ][ozi"WdgWJz@ªYJfLVx[1ywopWJzi{opyX^(^(zly"i3ywVXfdgywfhVw^1i"{opyXmLoz[VXj

dgWZzl¦oedgy-¯{L^VX^1ikfLcywozLY dgoVxdgfLoy"m^(y3^(^(z¢]7Wl@^(cei"vLVX^1ik^(VX^1i"mn^-[(@oWZfLV\ioE¯ñ^¯HlWZ²

][ozi°W1%dgWJz@ªYZfhVx[yXopWJzigt}[zopy [1cei3W vhVw^1i3^(Vw^1i{ªzLopyX^(zL^1iXig¯¬ufdm^([lopWJfLV vLVw^-²

ik^(VX@ozLY"d§WZVwVX^1ikvWJz@^(zd§^1i;m^(y3^-^(z]7Wl@^(ceiL^-cpviX[lopzhYywh^°^g¹WJVwy{W}d§WZzi3ywVwfdgywozLY

^(±lvLcpordgopyXcpji3^(^(Vx[1copzlyw^-VwvLVX^(yx[1ywopWJzi« WJV[YJop^(zBvLVwWJYZVx[1]]ozLYce[1zLYZf[YZ^M{Locp^"Vw^-²

][ozLopzhY· VX^(^%ywW"dxLWWuik^¨yXL^°]7Wiky#dgWJz@^-zLop^(zlyT]Wl@^(cL WZV½[z[1cpjhikozLY"i3fd7[zikfdx

(7)

F

ik^(][zlywoed ^1[1ywfLVX^ X ^¯ñYh¯@zL^-yxi; WZV%d-[fiX[cpoy3jtL[1fLywWJ][y\[ WZV%dgjhdgcp^i[zyX^(Vw]7opz[1ywopWJz9t

^(yxdJ¯Zx¯OL^Mik^1d§WZzywVX^(z=t9[1vLv^1[VX^15oz dñ@^Z¬s F g#[1z djii K1[ gH[z5[1]vLcpo¾ª^1opz

d]#[Z[JZ__gEt@[1op]iH[1y{]^1[Zi3fLVwozLY ywL^)^(±@yX^(zi3opWZzMW}WZzh^¨WZV½ik^(^(V\[cRX³ V\[YJ]^(zlyxiWZHvLVXWZ²

YZV\[]]ozLY"ce[1zLYZf[YZ^i·oz@yX^(VwvhVw^(yX^1opz [YJop^(z]Wl@^-cF¯UWuiwikomLcp^MiXd([c^1i{W#]^1[JikfLVX^

[VX^{ywL^#vnWJcpjlzLWZ]7oe[cl[1z"[VXopyXL]^(yXoedLo^(Vx[1VxdxLop^i=WOik^(y\iÈWJVywh^°bHLWJ]ik£lj¨Lo^(Vx[1Vxdx@j

W}ce[1zLYZf[1YZ^1i§tL[1vLvLcpo^1yXWywh^¨WZmL~3^1d§yxiWTyXL^¨]Wl@^-cei@o^(^"[Zi{ik^-yxi;WJVcr[zLYJf[YJ^1ig¯

ÊLWZV^-±L[1]vLcp^utoy;½[Zi#ikLW1{zozVd@^Z¬l

F

gyw[1y{[dgWZ]MmLopzh^1fi3^°W1TfLzLYJf[V\@^1VX^1dgfLVX²

ikoWZz [zW1{WZv^(V\[yXopWZz[cVXfLcp^1i%opz @^M¬op]WJzL^1i§¤®i WZVw][y%j@o^(ceLi{^(zLWJfLYZ vW1^(V° WJV

[ZiXikopYJzLopzhY[ªzLoyw^"^(±lvLVw^iwikoWZz ywWB[zljVw^dgfLVxi3op^(cj^(zlfL]^(V\[mLc^ ywVx[1zikoywoWZz ikjhikyw^-]

dgWZzikoel^(Vw^1fLv yXWi3ywVwWJzLYmLorikop]MfLcr[ywoWZz9¯¡ ^i3LW1 opz ywLoriv[1vn^-Vyw[y"[1z@j^-^(z@y

@WZ][opz {LordµoeiYJ^(zL^(V\[yw^, VwWJ] [5dgWJz@yX^(±lyw²e Vw^(^YZV\[vL¢YJVx[1]][Vad([z [crikW m^

YZ^(zh^(Vx[1yw^1 VwWZ] ikWZ]7^°ªzLoyw^¨yXVx[Zd§^[1fLywWJ][yXWZz9¯ FzWZV\@^(V%ywW"^1i3yx[1mLcporikyw[1y°VX^1ikfhcpy(t

^)dgWZzikywVXfdgy#[zM^g¹^1dgyXop^ XØv[1Vwywor[cZ][vLvLozLY¨W1TfLzLce[1m^(cpc^1YZV\[vLYJVx[1]][V\iÈoz@yXW

ªzLoyw^ ywV\[Zdg^[fhywWZ][yx[ltLvLVw^ik^(VX@ozLYM@WZ][opzi;W;dgWZz@ªYZfLV\[ywoWZzi§¯

É°z ^(^-z@ya@WZ][1opz oriyXL^Bik^(y"W1dgWJz@ªYZfhVx[yXopWJziW[z^-^(z@yaikyXVwfdgyXfLVw^{oyw

mLopz[VwjdgWZz@¦oedgy-tsWJVx@^-Vw^1mlj7ik^(y{ozdgcpfikopWJz9tl[zoyoeiHopzv[VwyXoedgfhce[V½["dgWZh^(Vw^(zly#[z

ªzLoyx[VXj ¬sdgWZyXylWZ][1opz d¡¢opzLgE¯9É¨iikfdx9t9[1z ^(^(zly @WJ][oz5ori·yXWZy\[cpcj @^(yX^(Vw]o²

zL^1mljyXL^yXVx[zikopyXop^Vw^1@fdgywoWZz X oF¯^¯¨[ZiXik^M@or[YJVx[] Z{W#ywh^"WZVxl^(V¨WZzoyxi«ªzLopyX^

^(cp^-]^(zlyxig¯lÉ°z^(^-z@y½@WZ][1opzoei{iX[or ywWMm^"dgWJz@yX^(±lyw²e Vw^(^¨{h^(zyX[y)@oe[1YZV\[]º][(j

m^YJ^(zL^(V\[yX^1 VwWJ]["d§WZzlyw^(±lyw²e Vw^(^%YZV\[vLYJVx[]7][VWJV{^1qfLopJ[c^(zlywcpj{L^(zªzLopyX^(cpj

][zljy3j@v^1i°W1{zLWJz5orikWJ]WZVXvLLoeddgWZzhzL^1dgyX^1dgWZ]7vnWJzL^(zlyxi¨[1Vw^"c^g y [ yX^(V¨VX^(]W1@ozLY

[cc°zLWll^1i[y@^(vLyXcp^iwi"yw[1yi3WZ]^B[VXmLopyXVx[1VwjµdgWZzikyx[1z@y dñ5¬lJLgF¯¡ ^{ocpc%i3LW1

yw[1yyXL^i3fLmL²eE[]ocpjW%fhzLce[1mn^-cpcp^YZVx[1vL YJVx[]7][V\i°YZ^(zh^(Vx[1ywopzhY ^-^(z@y·@WZ][1opzi

WZVX]i°[MVw^1dgfhVxikoîk^(y-¯9L^][vLvLozLYMW#yw[1y¨Vw^dgfLVxi3opîk^-yöpzlywWMywL^Mi3^(y¨W1;ªzLopyX^

ywV\[Zdg^[1fLywWJ][y\[ oz@fdg^iVw^-YZfLcr[Vcr[m^(ccpopzhYi¨WZz¨[Jiwik^@oe[1YZVx[1]i¨W·dgWZzlyw^-±@y¨ Vw^-^

^(^(zly#@WZ][1opzi§tZ{L^(VX^¨^(VXywoed§^1i[VX^°][vLv^1"ywWa[ªzLopyX^¨i3^(yHW}i3yx[yX^1i{[z[V\d(i[1Vw^

][vhvn^ ywW7[ªzLopyX^dgWZzd§fLVwVX^(z@y%[1cpvL[m^(y(¯L^WZfLy\dgWZ]^ ori°["]WZVX^ dgWJzdgVw^-yw^[z

ywV\[Zdgy\[mLc^vhVw^1i3^(z@y\[yXopWZzW1^(^-z@y#@WJ][ozigtl^(cc9ikfhopyw^yXWM[zB[fhywWZ][yw^^-Vwoªnd([²

ywoWZzW1yXL^(oV{vLVwWJvn^-Vwywo^1ig¯

'=^(y fi [JL [ ^(#WZV\Li [mWZfLy"yXL^"m[Jd£lYZVXWZfLz W{yXLoei¨#WZVw£¯bHWZzlyw^(±lyw²e Vw^-^

YZV\[vLi§t={Lord][(joz YJ^(zL^(V\[cTvLVw^ik^(zly%dgjhdgcp^1i§t@[(^mn^-^(zBikywf@op^1B[y)@^(vLyX9¯ÊWJV

opzi3yx[1zdg^tlywL^(jM[1Vw^ £lzLW1{zywWadgWZozdgoel^°{oywyXL^ [cYZ^(mhVx[ord°YZV\[vLiWYdbHWZf_g[z

{opyX"ywL^{v[1ywyX^(Vwz"YJVx[vhi;W1ld®b#[fJ__gF¯T%z"ywL^{WJywL^(VH[1z=tZVX^1dgfLV\iko^(cpj l^gªzL^1[z

^g¹^1dgyXop^{lWZ][1opzi[(^{m^(^(z"yXLWZVXWZfLYJLcpjMopzl^1ikyXopYu[yw^Qd¬u]j;K_KgFtJmLfLyHzLW[yXyw^(zlywoWZz

(8)

[Zi ywL^7dgWZzlyw^-±@yX²³ VX^(^"^(^(zly @WJ][ozig¯9h^vLVX^1ik^-z@y WJVw£ori[cpo]opyX^1[ywyX^(]vLy)opz

ywLori@oVw^1d§ywopWJz9¯@bHWJz@yX^(±@yX²³ VX^(^%^(^(zly@WJ][oziH[VX^¨]fd]WZVX^{YZ^(zL^-Vx[cyw[1zywh^¨i3WZ²

d([ccp^1MdgWJz@yX^(±@yX²³ VX^(^%vLVwWldg^iwik^i;{Lord7[VX^¨fikf[cpcjMdgWZzikoel^(Vw^1MopzMywL^¨copyXyw^(V\[ywfhVw^{WZz

mLoei3op]MfLce[1ywoWZz=djii K(m gJopz"WZfhV;WJvLopzhopWZzOtZywL^%[Jiwi3Wldgoe[1yw^1"^(^(zlyi3ywVXfdgywfhVw^1ivLVXWloel^

[yXVx[Jdgyx[1mLcp^[cyw^(VXz[yXop^¨yXW"ywL^ VX^1dgfLV\ikop^-cpjM@^gªzL^1^(^(zly{i3ywVwfdgywfLVX^1iW5dË '9@MgE¯

L^VX^1iky7W"yXL^v[1vn^-VoeiMWZVwYu[zLo¼(^1[Zi WZccpW1%ig¯%¬^1dgyXopWZz_ Vw^1d([1cpcriywL^m[²

ikord·VX^(ce[1ywoWZzi3Lopvim^(y3#^(^(zdgWJz@¦ordgy{^(^(zly#@WZ][1opzi§t@^(^-z@y½ikywVXfdgyXfLVw^1i{oywmLoz[VXj

dgWZzl¦oedgy-tT[z5yXVx[Jdg^[1fLywWJ][y\[@¯¬^1d§ywopWJz $oz@yXVwWl@fd§^1i[YZ^-zL^(Vx[1c#@^gªzLoywoWZz W%Vw^-²

dgWZYJzLop¼[mLc^UX mLfLy zLWZyzL^1dg^iwiw[1Vwocpjd§WZzlyw^(±lyw²e Vw^(^fZ{^(^(zly @WJ][ozigt9[1z5VX^(vWZVwy\i¨WZfLV

^1[VXcpj WJVw£ywW1{[1VxLiyXL^(oVWJVx@^(V}ywL^(WJVw^(yXoed#d[1Vx[Jdgyw^(VXop¼1[1ywoWZz9¯(¡ ^ WldgfiWJzd§WZzlyw^(±lyw²

Vw^(^{^-^(z@y}@WJ][oziÈoz¬^1dgyXopWJz

F

tZ{LordMd§WZzlyx[oziyXL^{][ozVX^1ikfLcyxi§¯Z¡5^{YJop^#opzM[z

[vLv^(z@op± y3WB[cyw^(VXz[yXop^"vLVXWldg^1@fLVX^1il^1dgoelopzLY{L^(yXL^(V[ YJVx[1vL YZV\[]][V @^-²

ªzL^1i}[¨dgWZzl¦oedgy}^(^(zlyT@WZ][1opz9¯1h^ªVxi3yvLVwWld§^1@fLVX^{Vw^(cop^1i=WJzM´fLccp^(V}[z¬ldx@fhvLv9¤®i

ywL^-WZVw^-]tn{hoedx i3yx[yX^1i¨ywL^7@^1d§oeL[1mLopcopy3jW{yXL^M]WZz[J@oedyXL^(WJVwjW«dgWZzlyw^-±@y¨ Vw^-^

YZV\[vLi dñ5¬lJLgF¯h^i3^1dgWJz vLVXWldg^1@fhVw^ oei]WJVw^¨^-±@vLcoedgoy{[1z VX^(cpo^1ii3WZcp^-cpjMWZzyXL^

dgWZ]7vLfLyx[1ywoWZzWTª±l^1vnWJopzlyxi{W}]WZzhWZywWJzL^ WZv^(V\[ywWJVxi°WJz ªzhopyw^)ce[yXywordg^1ig¯

#$% b " 1$%

15

Loei)ik^1dgyXopWJz VX^1d([1cpceiyXL^"l^gªzLoywopWJzi{W#dgWJz@¦ordgy°^-^(z@y½@WZ][opzigtL^(^(zly%ikyXVwfd§ywfLVX^1i

{opyX mhopz[1VwjdgWJz@¦ordgy{[1z yXVx[Zd§^ [fLyXWZ][1yx[lt[zywh^m[Zikord¨ywL^(WJVw^(]i;i3yx[1ywopzhYyXL^(opV

ywoYZly;VX^(ce[1ywoWZzi3Lopvi§¯É°ccLywL^{][yw^-Vwoe[1c@W19yXL^¨i3^1dgyXopWZz"orimnWJVwVXW#^1 VwWZ] yXL^%cpopyXyw^(V\[²

ywfLVX^t@^ikv^1dgor[cpcj VwWJ] d¡¢oz gFt d¡¢ozZ gFt[d®¬yx[JZJ[_g9[zcd®¬yx[JZ1mNgE¯LÉN 1_ 31 )3/

oei [z ©²F[1cpYZ^-mLVx[1oedM[z dgWZzikoei3yw^(zlywcjBdgWZ]vhcp^(yX^v[VwyXoe[1cWZV\@^(V(tO[zopy¨ori /# )3-o

^(^(VXjªzhopyw^ ^(c^(]^(zlyH@WJ]opz[yw^i©ªzLoyw^(cj][zlj^(c^(]^(zlyxi§¯

"!$#&%')(*+,-/.0 214357698:;/<=?>A@CBED"!/ 9F G3HIKJK1ML(N3EO

3P RQ0SF,-/T/T0U.0I-/0V*+F0, WX"YHZ2[ 9S\0^],F_`68:;a<I=?>A@CBbDc!/d

9F G3HIKJ+\7Le]/(3bOSfg\K%]/hU3iUjZkT0F G3H.YPlnmporqs3it68uwvx>5vx=?Dyu0=?BEz"698:;{BEDy=?D|3EO

}~kj0$35G [ G-/.0 Q0YPG -/T/T0.0-/0`!13i698uwvx>5v=?Du0=?*Cn03Pd

YP~jZkT0 3P.YH*a3bO}~203P G-/.0 NFO+13iNjZkT0F G3H.YPF(9l0$35G [ GYH~

jZkTYP RorqRXjF3P0j_3iRWX3P Q".0-/0&jZkTYP SoXqRN!RoXq3iX&e

3EO}I~tI3Pj &-/.0 X1Q0XYP N-/T/TN.0I-/0F02oXq3iR@8I[uw

D 698:;{BEDy=?D3EOK}~UjZkT0F 3P.YP)T0y3PQ0YHI -/T/T.-/0(9lImoXq35

(9)

<BDF@<>6n3EOG*OAI}~RYPZk \*F Q/e O003P NYPZk 9GZtyYEYP _Q0Fk\

3iI3Pj 2F0U\S3in3P 9YP -/T/T.0I-/0"!$])3i03P X3EO*yOAI}~I3Pj _

1 WX3P Q7YP |-/T/T0|.-/0&1 *] '1 [\1] ' \ (9l/m oXq

3iN<BDF@<>6X3EO3P X3ieyY./y3ijRF0"Q0j-/[ F.YP~ZtF~k03P SYHZ2[ 9Cl

É°cpc{yXL^^(cp^-]^(zlyxi¨W·[,¬sdgWZyXy@WJ][ozµ[Vw^c^1[Zi3yfLvhvn^-V"mnWJfLzLiMWi3^(yxi"W¨ªzLopyX^

^(cp^-]^(zlyxig¯ Fz5yXL^"v[VXywordgfLce[1V d([Jik^"W«[z^(^-z@y)@WZ][opzOt=[ªzLoyw^"^(c^(]^(zly][jm^

fLVwyXL^(V}@^1dgWJ]vWi3^1¨opzlywW)[°i3^(yW1opz@o@orikomLcp^TYZV\[opziWoz@ WZVX][yXopWJz9t1d([ccp^1¨^(^-z@y\igt

^1[ZdxW1{Loedx oei9WZmLy\[opzh^1m@j)v[ZiXikopzhYyXLVwWJfLYZM[%ikv^1d§oªd#dgce[Jiwi9WvLVwWJ~3^1dgywo^vLVXop]^

opzlyw^(VXJ[ceiWJzi3WZ]^¨v[ywBcp^1[J@opzhY"ywW"yw[y%^(cp^(]7^(z@y-¯

N_}N _Q/N/ 9F G3HI\K%] | Q/r;9>:UD)3P[ _}gyYi*I3llI | Q/X3P }ggY5

-0j_Q Q0F X\ ]`!$\23ie68yDD

.[~"]/(9*IZkF3Pk Q0 \ ]kF02 Q/3iX/

YPZk . WU Q/Z!$\'"!2']#$!#%\UI&!#%]w(l'XQ/X;8)(D96y=?>*yDe8+

D,.-IRT/3PZk 3H }FyYi3iK Q/ YP n9nYiF 3Pk-0j_QR Q0F \K%]/-01!/%324

3EO \5%]768!UF092%];:<!/l'XQ/)YiF 3P"FOK;8)(D96y=?>*y>i=?zF*I/ >=*3iX Q/

?I-3H}FyYP0jtIT/3PZkS3H }FyYi@I/9F 7.[~-Rl/m)?I-3P}gyYP0jtj_Yi_NFO

T/3PZk)3P }ggY5r3iNjyYEYPF,DyDu=?l[ [ _-3H G3H}IYH~*T/+A$j 3P})T/3PZk)3P }ggY5

T/G[ ) Q/RFZ2)3H0j_Zk[ )FOK3PO?Zt 3PKl

L^ªzLoyw^^(cp^-]^(zlyxi°W1 [1z^(^(zly@WZ][opz,[Vw^][1vLv^1 mLoñ~3^dgywo^(cpjywW ywh^[ZiXikWZ²

dgoe[1yw^17ik^(y\iW}^(^(zlyxigtld([1cpc^1U 1R$- )_ /21§¯LoeiH][vhvLopzLY][(j"m^^-±@yX^(z@^1"mlj

dgWZzlywoz@fhopy3jyXW[VXmLopyXVx[1Vwj ^(cp^(]7^(z@y\igtVw^1i3fLcpyXopzLYoz [z orikWJ]WZVXvLLoei3] m^(y3^(^(z^-^(Vwj

^(^(zlyM@WZ][opz [zyXL^ [ZiXikWldgor[yX^1¢ik^(yMWadgWJz@ªYJfLVx[1ywopWJziWZV\@^(Vw^m@j opzdgcpfi3opWJz

XØyXLoeiHoeikWJ]WZVXvLLorik]][viywh^°c^1[Zi3y;fhvLv^(VmWZfhzWT[dgWZ]7v[yXopmLc^%ik^(yHWT^-cp^(]^-z@y\i

ywWMywL^ fLzhopWZzW1HywL^-opV%[ZiXikWldgor[yX^1dgWJz@ªYJfLVx[1ywopWJziZ\¯

BV N-0XF0gYH~DC| Q/|,E3HIZtF 3ij)?I-3PZk 9 OAX Q/|F.g}IeT/_[ F 3P

3P703P 9F~GF[j kZ"y3PK*WNQ/WX/j_3iF ,}~T0y3PkFO03H _

YPZk 9 \MF0 ] -0jQ _Q0F e\4K]tS F0 3P 3P^\IH

J

]UYiF.YEYH .[~" Q/

T/+A$j 3P}j_Yi_LK FOe _Q/T/3PZk"3P[ _}gyYM\K%9]+?ln92 Q0F k703H _

YPZk c\ Zty~.0"T/G[ .[~& Q/t |FON} ONQPt/jj-/3PIF

F.3P F~^G?-/0j"FO _9F0 3P 3P0O?Z Q/c3H0ZU-/ZM \K*V Q/SO?FYEYPgWr3H

Q/-Yi&Q/FYiVJ

RTSVUXWZY\[Z]^<B Bn=`_[D|;/<=`_vab8: =`_[D">iudc:U[: =?8k\e_[<D2=`_[Dkv<:UDkBEDuD=`_

<u =`_[Dyz <DBE<[@_DBBED @Cz =`_[D&vx<I:D7vxDy=|8)aDyDu=vgfeD<6d_ 8)a8hi_[>6_866Dv

(10)

903P 3P^~/ ZZ-0G . _ZU3P35G 3ijFJ

RTSVUXWZY^.\%9]+ =44Z\%9]1. ] %]

&9N _Q0F N P m % N P N@m*/ _Q/)OAFYEYPFWX3Pk3ir00yYEYP~?-3PJ

RTSVUXWZY T^&\4K] \4Z!7 ]kL ! ]% !;& []iK!$];:<!(

! 4n!$];:<!(V

gWS* Q/|j -/9 3P5N P Gaj_3iF 2WX3P QF"F.3P 9F_~kYPZk[ N\Zty~

.00/) Q/k-/3P OjI -/9F 3P07N m O?)03P FT/T/,E[3PZt 3P0

] FO\ l

Édx[V\[ZdgyX^(Vworikyword ^1[yXfLVw^MW 1 /"H^(^(zly @WJ][ozigt=zhWZyy\[£^(z opzlywWB[Zd(d§WZfLzly opz

ywL^ [1mW^ [z[cpjhikoriWaYZ^(zh^(Vx[1c¨^(^(zlylWZ][1opzi§t;oriywL^ WJcpcW{ozLY#opz[ dgWJz@¦ordgy

^(^(zlylWZ][1opz9tZyXL^{Vw^-ce[yXopWJz"WTd§WZ]v[1ywomLopcopy3j°m^(y3#^(^(z"^(c^(]^(zlyxi=WJVd§WZz@ªYJfLVx[1ywoWZzi

oei¨ywWJyx[1cpcpj l^(yw^(VX]opzh^1 mlj [ mLoz[VXjVw^(cr[yXopWZz WZz ^(^(zlyxi§t9d([1cpcp^ywL^7dgWZzl¦oedgy VX^(ce[1²

ywoWZz9¯ )[]^(cj

\

[z

]

[1Vw^MdgWJ]v[1ywopmhcp^QX

\"L|]

Z{o½[z»WJzLcpjBo N P [1z

N@m

@W7zLWZy

dgWZzlyx[1opz dgWZzl¦oedgyXopzLY7^(^(zlyxig¯;ij [ZLlopzLYB[ikv^1dgo¾ªd"[±lopWJ] X]HZ{^(zd§Wl@opzLYyXLoei° ^1[1²

ywfLVX^t9[1z @VXWZvLvLozLYB[±lopWJ] XÇJZ%{LordyXL^(zm^1dgWJ]^1i°VX^1@fLzh[zly(t=WJzL^^-zLi¨fLv

{opyX ¡¢ozik£^-cF¤®i#@^gªzhopywoWZzW©dgWJz@¦oed§y{^(^(zly{@WJ][ozig¯

6À ' )e ) Ä '/% .Ä '[0 ) Z7254À ' 36 Ä C) ' 1 /"RL 31 )3/ / ) 1H

+;!#

)_! - )3/#+ )3- /2)_! 13- 0- 1L /# 3!# )_ /"!g ;#! 1_!!1$/_%! 1$-

)L /21J&

RTSiUW Y('7^ fg]*)F]"'\Vh|3ir03P

RTSiUW Y+<^ \4K]0*\ !w*0]% !w*0]2L !T ];:<!k E3i 9 ]i4n!$] :8!(* ! +!]7:<!(

RTSiUW Y(^ \%9]+g=4V\%9] ] %]

RTSiUW Y-, ^ \%9\

=44.]%9]

. \K%\

/

=4 ]%9]

/

. s\

L|\

/

]

Le]

/

FzE[Zdgy-t=WZzL^Md-[zvLVXW^3XFi3^(^ WZV¨oziky\[zd§^ dbHfLV\ZLgZ{yw[y [1z@jByk#Wv[1ywi¨m^(y3^(^-z

y3Wªzhopyw^ ^(c^(]^(zlyxi#[VX^^1qfLopJ[1cp^(zly{m@jv^(VX]fLy\[yXopWZzigtL{L^(VX^yXL^^1qfLoZ[1cp^(zdg^¨mlj

v^(Vw]MfLyx[1ywoWZzi9oeiyXL^{d§WZzLYJVwfL^(zdg^ X ¯ñV(¯y(¯1cp^g yT[1z"VwopYJ@y}dgWJzd([yX^(z[1ywopWJziZOYZ^(zL^-Vx[yX^1

m@jMywh^¨v[oVxi

\ H

J

]10

J

!32 \40

J

]TH

J !

¯hWZVw^-W^-V(tZWJzL^d([z[1cei3W"vLVwW1^IXFik^-^ [Yu[opz

dbHfLV\Z_gZ=yX[y}[±lopWJ]i XFÊ ZO[z XkbZop]7vLcpj%yw[1yyXL^WJVx@^-VoridgWJzikorikyX^(z@yXcpj d§WZ]vLc^(yw^ut

ywlfiH[ dgWZz@¦oedgy^-^(z@y}@WJ][oz"oei[°ªzLoyx[1Vwj¬sdgWZyXylWZ][1opz9¯bHWZz@¦oedgyH^(^(zly}@WZ][1opzi

][(j°m^HYZo^(z [{vLfLVX^(cpj)ik^(y9yXL^(WJVw^(yXoedVX^(vLVw^ik^(zlyx[1ywopWJz¨opz yXL^ WZVw] W XFdgWJz@¦oed§y"ZL^-^(z@y

ikyXVwfdgyXfLVw^i°@^§ªzL^1[Zi; WJcpcW%i§¯

6À

'

)e ) Ä

' ,5

2 4=À

'

761 TZ 1Àl"

'

Å8À ) .Ä

' : Tl )ØÄ

'

^(^(zly{i3ywVwfdgywfLVX^ /!)Q - /+;!

!)Nt%:9t%;V(

;0-

< = /!)dgWZfLzlyx[1mLcp^7 1>!%^(^-z@y\i:?

(11)

/ ) / )3-y gf -0/ ) /2- - /L -!)_ /21 1 = )_!#!# H;HdgWJz@¦ordgy

-B!)_ /21$?

!# "; ! ) /#!P,1>!N /# )Q 1: /"! - 1>! = ; /

) 1>!

N

)_!!# Q ;{^-z[mLcopzLY -B!)_ /21 )_

X 1 ;

)

1

NZ

;

¸dgWJz@ªYJfLVx[1ywopWJz / )

1"N

/ /

<

{dgWJz@¦oed§y Vw^(^&

9

!*71 1(

)

{ik^dgfLVw^ &

O71 !#"lyll$#%T1

e )_

#% %&

)

f'#"F%lyll(*),+.-yh ;#)

! 13-

/ %10%lyll%

-

8TÀ@Ä1À$

+ *2354 ) '

6À 5

/87:9; 1>! 1CR - )_/21

#7!N2(

1>! )QL[ - " -

N 13- 0- 5 F /C"!_ /21

/ )Q 1: /5L 31 )3/

/2/87= 18L0- !P !#

#

" ) 1: /"L31 )3/ R;

!)N<;)%9;)%;=;(

/ )UL

- " $- /# ; ! 1_!#!1$/f /# /21

< N>;

/ ; 1>!7L @?/ "!)L 1>! +.- 1BA " /L +.-0/ !/0-)_!C7 1>!I;

L 31 )3/

#

K9;<D

/! ) 1 !P /!e;0- /

\ ] )

!

/

# )_

\K%]/K

\%g!nZED )

] L !

!#

NF+

" ;!- +.- )_ /21*! C /21h ) +3+./_U!# 1>!

# 13 1CR

- )_ /21 /

N

PHG

f ]%9]

=44JI

]V'\Vh R;

1 ;=; K ! 13- )X /# ) 1: /

! - 1>!L 1 /K ;0- / 1 <L )NM/

# 7 )_

N P 1

)

\%9]+K

O 13- 1L0- N +

/!)*/ 1 13- + /( ! - 1

#

1 1

#7! N ; (

L^[mW1^ ywL^(WJVw^(] jlop^(crLiH[z^-±@vLcoedgoyHdgWJzLzL^1dgyXopWJz m^(y3#^(^(z7dgWZz@¦oedgy{^(^-z@y#ikyXVwfd§²

ywfLVX^1i{[zdgWZzl¦oedgy#^(^(zly#@WZ][1opzi§¯$'=^(yfiHzLW1 ^-±@vLcr[ozyXL^¨Vw^-ce[yXopWJzikLovm^(y3^(^-z

dgWZzl¦oedgy%^(^(zly{lWZ][1opzi{[1z yXVx[Zd§^[1fLywWJ][y\[@¯9Ë%op^(z[MdgWJz@¦oed§y°^(^-z@y½@WZ][1opz

# t

[cr[m^(ccp^1[1z[Zdgjhdgcoed{ywVx[1zikoywoWZzBikjhikyX^(]P

;

][jMm^@^(Vwo^1 VwWZ]

#

m@j7ik^(yXywozLY

\ H

J ] opz:P

;

{L^(z

\K%]/K

¯hW"^(^(zlyxi

K

[1z

D

[Vw^ /+N tn{VXopyXyw^(z

KRQ ; D

{L^(z ywL^-Vw^M^(±@orikyL t5M [zTS opz&U ikfd yw[1y

\K%9]+/K

t

\K% !nVD tT[z

]2L ! ¯

Fy%ikLWJfLcem^ dgc^1[VH VwWZ]ywL^° WJcpcW{ozLYM@^gªzLopyXopWZz7yw[1yFP

;

m^1dgWJ]^1iopzywhoei;½[(j[

(12)

6À

'

)e ) Ä

' ? -

1LÀ 91Ä @1 ) 1 )_1

% !S%2% "%

P ( 1 / 1>!

) d§WZfLzlyx[1mLcp^U B

1>! ) /21 )

1>! )_ /# / /# /2)_! )_ "7

)

) - ) /# /21*-B!)_/21VP

ywV\[Zdg^a[fLyXWZ][1ywWZz

% !S%'QF%k% "%

P ( /

) ) 1 )_1 1L )_!+ ) " 1 I $/+3+N /# ) gf - /#)/2- - /L

-!)_ /21

Q

J )_!#!# ;"opz@^-vn^-z@^(zd§^Vw^(cr[yXopWZz5 )_;*! 1_!#!1$ /_

13/#/21 1U - ) /# /21

H

J

)3- )_/? &

ÅÀ1Àl )'

)e X

H

J

H

J

Z<

Ä È@ )4[)exÁ^X

KRQ*D 0H

J

50

J

Z< X

0

J H

J

CZ

Fz@^(^1tZ[1±@oWZ]"! iX[jhi^(±h[Zd§ywcpj yX[y P ;

oei}@^(yw^-Vw]ozLoei3ywoedJt{hopcp^½[±lopWJ]i [z$#

^(zlyx[ocTdgWZ]7]fLy\[yXolopyEj¯

%ÄL1@*)ØÄ

'

9*) ) 1>!= 1_ )_ /21 3!#FP

; % !P ; %Q ; (

1_ 3 ;7 - )"

) 1 )_ 1 0- / ! - 1 ;I 1: /"5 31 )3/

#

T%mik^(VX^yX[y [MywVx[Jdg^"[1fLywWJ][yXWZz][(jm^"oz@ªzLoyw^QX cpo£^ P ; o #

ori°opz@ªzLopyX^_Z#[z

yw[1yoy¨][(jvLVX^1ik^-z@y d§jLdgc^1iHX fLzLcpo£^ P ;

Zx¯TWywV\[Zdg^7[fhywWZ][yx[{Lord [1Vw^ªzLopyX^

[zMdgjhdgcpordZtgVX^1ikvO¯Zopz@ªzLopyX^{[z"[ZdgjhdgcpordZt(][(j¨zL^-^(VwyXL^(cp^iwi9YZ^(zL^-Vx[yX^{y3W%oeikWJ]WZVXvLLord

@WZ][opziW#dgWJz@ªYJfLVx[1ywopWJzi%[Zi%@^gªzL^m^(cW1 ¯

BV )-0XE,/ 9F G3HI0NF0 _ZU3P/FYP~l,t _ZU3P35G 3ijU 9F0$3H G3HI^~/d

Z

P

2*[\ H

J

3iFt././}3iF G3HIUOAI@ []9\ H

J

]0*F02\Z1KSd

/ Q/N-/3*?I-/ ]s-0j_Qk Q0 \ H

J

]SWNQ/2 E[3i 9Cl &/I' 0)(*,+y*

.-

J

F0/D0(F_R0/"3P0-0j 3P}YP~{J132

J

O?X}~/[*WX3P QD54 %6I*0F0

7H87-

J >96 H

J

:D1K;-

J

*/Wr3H _Q<DE! K 0(V(i%s!D1Kw(g0(Vl

L^ !)_$)M$=

! (

W[z[fhywWZ][ywWJz3¶oeiywh^ik^-yW1#WZV\Li

f?> / + I "/@

J h

ce[1mn^-cpcpozLY opy\i©v[ywi© VwWJ] ywL^%opzhopywor[chiky\[yw^u¯@h^°^1qfLoZ[1cp^(zdg^{m@jv^(Vw]MfLyx[1ywoWZziBA ori

ywL^"^qsfLoJ[cp^-zdg^¨WJz=

! (

YZ^(zL^-Vx[yX^1mlj yXLWi3^v[1opV\i

!( K!DDC%( DK Cw(

ozE=

! (

*=

! (

ikfdx yw[1y

K Q#D

opz¯ '=^(y

'

m^"yXL^"vLVw^§ª±WJVx@^(V-t9[zGFH

% !9' A (+

m^yXL^"vLVw^-²

ª±MvLVw^(WJVx@^-V]Wl@fhcpW v^(Vw]MfLyx[1ywoWZzi§¯@h^¨^1qfLopJ[c^(zdg^{mlj"v^(Vw]MfLy\[ywoWZziHdgWJopzd§oe@^1i

{opyXywL^)^1qsfhopJ[c^(zdg^{oz@fdg^m@j"yXL^¨vLVX^(WZV\@^(V X >

A&o¹ >

FH [1z IFH

>

Zxtlywlfi

ywL^¨ WJcpcpW1{ozLYM@^gªzhopywoWZz][1£^1ii3^(zik^u¯

6À ' )e ) Ä ' O 6Ä C) ' Ä1J.Ä ' : 1@ ) Ä ' MÄ1J¨ - 1LÀB 91Ä l1Ä '

9; #1>! ªzLopyX^MdgWZzlªYZfLV\[yXopWZzi 1>! )U - )") 1 )_ 1E /)=

! ( I A )U;

@WZ][opzBW#d§WZz@ªYJfLVx[1ywoWZzi

#7! (

1>!K /H; / )_!R 1 +;!# /21 1>!I; 13- 0- H

!= ! ( I A % FH

I A (

(13)

H H H H

H H H

0

0 0

; ;

0 0 0 0

H H H

0 0 0

H H

0 H 0 0

H

0

ÊTopYZfhVw^M Ly3W"VX^1dgWJYZzLo¼1[mLc^ ^(^(zly{@WJ][ozi

°W1

# A%

#7!

P

;N(

WZV½[zljd§WZz@¦ordgyH^(^(zlyH@WJ][oz

#

¯LL^¨^-±@vLcoedgoyd§WZzLzL^dgywoWZzm^(yX²

^(^-z¢dgWJz@¦oed§y^(^-z@yM@WJ][oziM[zyXVx[Zd§^[fhywWZ][yx[oeiMiky\[yX^1m@j yXL^ WJcpcpW1{ozLY

ywL^-WZVw^-]¯

-

8TÀ@Ä1À$

D5 2 34 3

61L 6 9; 31 )3/ 1>! 1C1 - )_ /21#1>! - )" ) 1 )_ )

)3- ;I 1: /"5L 31 )3/

¬fL]]7opzLY¨fhvywL^-WZVw^-]il$[zeKut^ i3^(^¨yw[y{d§WZz@¦ordgyH^(^(zly#ikywVXfdgyXfLVw^1i#[zMywVx[Jdg^

[fLyXWZ][1yx[M[VX^«~3fiky)[cpyX^(Vwz[ywo^xi3j@zlyx[Jdgyword· WJVw]i; WJV{^(^(zly{@WJ][ozig¯

$%M&5-'¨"* +- 7a 1

LoeiMik^dgywoWZz vLVw^ik^(zlyxiyXL^^1[VXcpj i3yw^(viW1[YZ^(zL^-Vx[c%i3ywflj [o]opzLY [y7[zµWZVxl^(V

ywL^-WZVw^-ywoed#d[Vx[Jdgyw^-Vwop¼[ywoWZz"W1=yXL^{Vw^dgWZYJzLop¼1[1mLcp^#^(^(zlyT@WZ][opzi@^gªzh^1"[ZiÈ WJcpcW%i§¯

6À

'

)e ) Ä

'

7À@Ä;:

'

)<L 5ØÀ=254À

'

76Ä C)

'

1: /" L 31 )3/*/

Vw^1d§WZYZzhop¼1[1mLcp^ /! /# / / 1 13- + / 1Q; 31 )3/*1>! 1R$- )_ /21 1>!J 1 X /#

- )"#) 1 )_1

ÊopYJfLVw^7"ikhW%i%yk#WVX^1dgWJYZzLo¼1[mLc^ ^(^(zly%@WZ][1opzi

#-

A%

#! -y(

[1z

#

A%

#7! y(

t

{L^(VX^*

-

[z.

[VX^yXL^"y3WB@o¹^(VX^(zly¨ywV\[Zdg^M[1fLywWJ][y\[{oyw [BikopzhYZcp^Mi3yx[1yw^<

"

(14)

[z^-^(z@y#@WJ][oz

#

oz@fdgozLY[yXVx[Zd§^¨[1fLywWJ][yXWZzP

;

[Zil^gªzL^1"opz7ik^dgywoWZz_ltsyXL^

@WZ][opz

#

orioz@^(^1oei3WZ]WJVwvLhoedywWBywL^@WZ][1opzW1 dgWJz@ªYJfLVx[1ywopWJziW%yXL^MywVx[Jdg^

[fLyXWZ][1ywWJz3ºo·[z WZzLcj o oeiM[ ! 1_!3/_ W1P

;

[Zd(d§WZVxlopzLY ywW ywL^ WJcpcpW1{ozLY

@^gªzhopywoWZz9t[JL[vhyw^1 VwWZ] di{Ç¨f$LgF¯

6À

'

)e ) Ä

' >

A9Ä 5 Å ) ' : Ä P 8R)Ø J3Ä

-

1LÀ 91Ä @1 WZcr@opzhY°]WJVw²

vLLorik]

!V%n(+J -

" - )" ) 1 )_ )#/) + )3/2- 1>! ) +3+./_L

kJ - J

J -

J

"B ;0/2-- +;" /Ll 1>! )" /21 )\)_ )_ /"!g/_ 13/#

/21

< 1 &

< n! " -(.%6 "

0H

J

/VP

-

/ +;!/

n!I(

H

J

n! E(

/VP

#)_ L0-

- - -0/"l 1#) /A " /21 "B

f K I H

J h )

f'D

I

n! ( 0

J h

! 13-HL0-

K0% D@ - /! 0H

J

)

0

J

/*

- ! 13-Y 1 -

;

KRQ - D

! Kw( Q !CDy(

/= )3/ 1 " ) WZcr@opzhY 1>!/

- ? 1_ )_ /21 &B

- 7 /!U;0-V /U 1

! 1_!3/_ 13- + /(

!V%n(

! - 1

- 1

-

8TÀ@Ä1À$

% 2 3

LÅTÄ TÀ$5 8 3

6L1Ä

'

ÅTÀl BS " ;9fLz@ WJce@ozLY1 +;

- )_ 13- )_ ) +C )H - )") 1 )_ 1 1H; )F_!/5 - )" ) 1 )_ 1

G P ;

!

0-0/L ! - 1 ; 31 )3/ 1>! 1R$- )_/21 1>! ;

< " $# )

%&#

A%

%

;0-

2

1_ / 1 13- + /(1>! - )" ) 1 )_ )

.ÄÄ 5 5ØhÁ

%;%

1: /" L 31 )3/TU / - 1 / ) "! /!*) 1 !P /!= ;

0-0/L Q - )"#) 1 )_ 1

;

) /#!)| /##! 1_!3/f

;

Loei{d§WZVwWJcpcr[Vwj7^(z@y\[ocei;yXL^¨zLWJzL² Vw^1dgWJYZzLo¼1[mhopcpoy3jW1yXL^¨^(^(zly#@WZ][opz U i3LW1{zopz

ÊopYh¯1_@¯JÉ¨i9[{][yXyw^(VWLE[Jdgy(t1[1z@j y3W{^(^-z@y\i('

)

[1z'*)}ikfdx yw[1y

/ %,+

[VX^{dgWJ²ØozLopyXoe[c

[y½ikWZ]7^¨i3yx[yX^ [zopzl^(v^(z@^(zlyHopz

;

tL^-zdg^{ VwWZ]dgWJz@opyXopWJzUX F ZozÇ°^gX¯llt

! K ) (

-

! K ) (

[z )%! 13- /213- /

! K ) (/.

! K ) (

WJVM[zlj» WJce@ozLY]WZVXvLLorik]

!V%n(+J

J

%Ht

{L^(VX^(m@j/%5]Mfiky#m^oz@ªzLoyw^¯$Fy{oeiHWJVwywBzLWZyXopzLY"yX[y{yXL^@WZ][opz U [Zi^(±h[ZdgyXcpj

ª^ÿ3jlvnîW}oeikWJ]WZVXvLLord«y3jlvnî;W - / )_!§tl{L^(VX^yXL^¨VX^1ikor@f[c5U

P

ori;ywh^fhvLv^(V

(15)

H

0

0 0

0

;<K -

;D#-

f K ) h ;5K ) -

f'D )h ;D ) -

f'D )h ;<K ) -

K )79 D ) -

ÊoYZfLVX^_ ["zLWZzBVw^1dgWJYZzLo¼1[mhcp^¨^(^-z@y½@WZ][1opz

Vw^1i3ywVXoedgyXopWZzW Ul^(yw^(VX]opzh^1°mljEL9¯(¡5^%d-[zzhWµi3yx[yX^{y3W7N" )3-yHdgWZz@opyXopWZziW

Vw^1d§WZYZzhop¼1[1mLopcopy3j« WJVd§WZz@¦ordgy9^(^(zly9lWZ][1opzi§t(opzi3vLopVX^1« VwWJ]¸ywL^#[mW1^tJ[z vLVwWJvWik^

[d§WZzZ~3^1d§ywfLVX^¯lÊopV\iky(th[Vw^1d§WZYZzhop¼1[1mLcp^¨^-^(z@y½@WZ][opz U ]Mfi3y;[^·[ªzLopyX^ z@fL]Mm^(V

ywV\[Zdg^[fhywWZ][ywWJzE¸i3fdx yX[y

# A%

#7! ( ¯

'XQ3icOAFYEYPFWekj_YPFYP~O?Z)Ol F0 Q/&T/T ~ FOkBbD ax=S69<Iu06DBBb<I=?>i8u

!$>F 9,?( 9 3P Q0F ( C FH

( 3EOkF0YP~3EO C FH O?" Q/T/E

9G3H23P Q/S 9j|Z2/F3iF}X Q/Uj0j-/ eyYPT/Q0F. |FO */WNQ3ij_Q

jF3P0j_3iWNQ/_ 3ij

= ! (RWX3P Q Q/T/

FH

FO)Ol !$

n[g3H>F 9?(l

¬^1dgWJz=t9[MVw^1dgWJYZzLo¼1[mhcp^^-^(z@y)@WJ][ozU ]Mfiky{[(^"mWZfhz@^1dgcoeqfL^1i{W#^(^(zlyxi

WZV"yXL^Vw^(cr[ywoWZz l^gªzL^1 [Zi WZccpW1%i %oeiyXL^cp^[Ziky"oVwVX^g¦^(±lop^M[1z ikjl]]^(yXVwod

Vw^(cr[yXopWZzWJz = ;

ikfdyX[y

-

o¾

- Q ; WJV

- 9 ;

WZV[Ji·oz ÊopYh¯W$

-Q ;<

[z

9;<

WZVaikWJ]^^-^(z@y

d§WZ² opzLoywoe[1cH{opyw

-

[z

[1yy3W @o ¹^(VX^(zlyi3yx[1yw^1i opz

; Z\¯ØU

2

U=X Zxt}[z i3opzdg^7dgWJz@opyXopWJz X F

Z¨opz,Ç°^gX¯T^(zlyx[ocei

! -( Q !(

[z

! (Q !y(

WZV

-

t

t[1z

[ZiH[mW1^tZyXL^¨i3op¼(^{W19yXL^!Ø²Edgcporqsfh^1iÈ]Mfi3yH[ZdgyXf[ccpj

m^"ik][cpc^(VHyw[1zyXL^ikop¼-^¨WHyXL^[cvL[m^(y%W'"¯