What is the Search Space for the Inference of Non Deterministic, Unambiguous and Deterministic Automata ?

(1)

HAL Id: inria-00071673

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

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

What is the Search Space for the Inference of Non Deterministic, Unambiguous and Deterministic

Automata ?

François Coste, Daniel Fredouille

To cite this version:

François Coste, Daniel Fredouille. What is the Search Space for the Inference of Non Deterministic, Un- ambiguous and Deterministic Automata ?. [Research Report] RR-4907, INRIA. 2003. �inria-00071673�

(2)

ISRN INRIA/RR--4907--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

What is the Search Space for the Inference of Non Deterministic, Unambiguous and Deterministic

Automata ?

François Coste, Daniel Fredouille

N° 4907

Août 2003

(3)

(4)

()$+*, " - /.10)"2*3546767"89()$+*, "5-

:

6;7*,=<

>+?A@#BCEDGFIHKJDGHMLON#PRQ@#BFSNET$>U?MNEVD#WFSTITSN

X$Y[Z5\^]^_/`bacMde]Mfhgji;] kldemjdnkoZ5\^]Md

pUqerhsn] kltumu\7v[wxrEdy]

azfh{|{#rhqek}|]qe]O~Y|]5q~Y|]#EhE1` $rh|kh`=_{[f]Md

;M5|hh ~ fhdodyw~5fhR{|qorhv[x]M\!wwj]Mqeqowx[fg|kerh\fkofqorh\ }|fkof1wd7ker¡[[}¢koY|]de\fx]Odnk

~5rh\^{[fkewv|x]fg|kerh\fkerh¤£wS¥]¥keY|]de\^fhx]Mdykfgjkorh\fkorh;f~5~ ]M{jkew|f#]5i|f\^{|]Md$f[};qe]ysn]M~ kew|2fhx

~5rhg|Eko]5qe¦S]5ijfh\^{|x]Od5¥¤§]lfhqe]$wEke]5qo]Mdyke]O}wx¨zrj¦©}j] ko]5qo\w|wdnkow~ªw|wxke]llgjker\^fkof«I¨lªj¬+wxj]Mqe]M[~ ]

Y[w~Y®wdv#] kyko]5qKdeg|wxke]M}ker°¯/~5~Mf\±d7qf²Mrhqrh{jkowx\^w²Mfkowxr{|qow[~ w{|];koY[f´³l]5ke]5qo\^wx[wdykew~ªw|wxke]

lgjker\fkofµ«¶³/ªj¬ ¥·§µ]qo]5¸uwdywxk/keY|]^] ijwdnkowx[qo]Mdeg|xkod/rh¹keY|]de]Mfq~Y¹de{[fh~5]2wkeY|]dykofko] ¦º\^]5qohw|

qf\^]

rqe»G£ru~5g[dewx|r¹|r[}j] ko]5qo\^wx|wde\¥2§]^wEkeqoru}|g[~ ]g|[fh\7v|whg|rg[dfgjkorh\fkf¹«I¼lªj¬/wj¦

]Mqe]M[~ ]£hfwko]5qo\^]M}jwfko]½v#] k

]5]M7koY|]z}jwx¾~5g|xkR¨lªj´wx|]5qo]5[~5]½qf\^]

rqe»fh[}koY|]

]Of»]5q³ªj

wj]Mqe]M[~ ]$qf\^]

rhqo»G¥X$Y|]z¼ªj¿de]Mfq~Y^dy{[f~ ]£keY[rhg|Y^~5rhEkofhwx[wx|[rh[}j]5ke]Mqe\^w|wdykew~fg|kerh\fkof|£

deY[fhqe]Od\^fhum7{|qorh{#]5qekew]Md

wxkeY^koY|]l³/ªjÀde]Mfq~Y^dy{[f~ ]¥¯g|qR~5rh[~5xgdywrh^wdkeY[fkUkeY[]ldy]Ofq~Yde{[f~ ]Md

rh¼ªjf[}³/ªjfqo]/fkekew~ ]Od

Y|]5g[dewx[^f}j]MÁEg[fke]rh{#]5qfkorhqd5¥

ÂÄÃEÅGÆoÇ7È Éh Ê qofh\^\^fkew~5fhzwx|]5qo]5[~5]h£z}j]5ke]5qo\^wx[wdykew~Ä¡[[wËko]fg|kerh\fkofÌ«¶³/ªj¬ £$|rhÀ}|] ke]Mqy¦

wj]Mqe]M[~ ]

(5)

8y6;7*, "" 8 $+*, " -."7" 7*3 46

8$*, " · <

rqod}j]S±wjcMqe]M[~ ]z}-±fg|kerh\fke]Md{fqekewqU}j]z}jrh[|c5]Od¡|ijc5]MdM£hg[{[qerv|xZM\^]$~5fdedewÁg[]

]Odnkz}j]/koqerg|¸h]Mq½]{|xgd${]5kewxklfgjkorh\fko]/~5rh\^{[fkowxv[x]£jwI¥]h¥+]{|xgd${]5kewxklfgjkorh\fko]/f~5~ ]M{jkofhEk½korhg[d

]Md7] ij]5\^{|]Md7] k7qo]nsn]5kofhk7kerhgd]Md7~5rhEkeqo] ¦º] ij]M\{[x]Od5¥¨zrg[d7derh\^\^]Md7wxEkecMqe]OdedecMd{[fqS±wxjcMqe]M[~ ]

}·±fhgjker\^fke]Odl|r}jc5ke]Mqe\^w|wdyke]Od2«I¨lªj/¬ÁEg|w]Odnk{|g[dfh}|fh{jkecM]fhg1{|qowx[~5wx{#]^}jgqf²Mrhwq}-±¯/~5~Mf\

ÁEg|]2x]Odfgjkorh\fko]Mdl}|c ke]Mqe\^w|wdnko]Md^«¶³/ªj¬ ¥G¨lrhg[d/qo]5¸uwdywxker[dz]MdqecOdyg[Ëkfkod] ijwdnkfEkod/deg|qS±]Mde{[fh~5]

}|]¹qo]M~Y|]Mqo~Y|]£$]5À}jc5kofhwxfhEk;x]Od;{[qer{|qewc kocMdwc5]MdfgÌ[rhÀ}jc5ke]Mqe\^w|wde\^]h¥ ¨zrhgdKwkoqerj}jg[wderh[d

S±wxjcMqe]M[~ ] }-±fgjkorh\fko]Md|rh f\2v|wxg[dµ«¶¼lªjdo¬ £g[Àwkoc5qo\^cM}jwfwqe]]5Ekeqo]µx] ~5f}jqe]µ}j]keqfA¸Afhwx

}|wË¾K~ w]1}j]ÄI±wjc5qo]5[~5]1}j]1¨lªjdK]5k;~ ]5g|wzv[wx]M&~5rh|ugÌ}j]ÄS±wjcMqe]M[~ ]1}j]1³/ªjldM¥ ±]Ody{fh~ ]Ä}j]

qo]M~Y[]5q~Y|]^{rg|q]Md7¼ªjldM£kerhg|k7]5°~5rhEke]M[fEk7}j]Od7fg|kerh\fke]Md|rh¢}jc5ke]5qo\^wx[wdyke]Od5£{[fhqykfh]}j]

[rh\7v[qe]Mg[dy]Od{|qorh{|qowxc5kecOdfA¸h]O~^I±]Mde{[fh~5]K}j];qo]M~Y[]5q~Y|]^{rg|q7]Md2³ªjd5¥1¨lrhg[d\^rkoqer[dÁEg|];~5]Md

}|]5gji¹]Ody{fh~ ]Od}j]^qe]O~Y|]5q~Y|]2dM±rhqof[wde]5Ekl]M¹koqe]Mwxxwddew+I±rhµgjkewwde]}j]Mdr{cMqofke]5g[qod/}j]^{[fq~ rg|qd

f}jcMÁEg[fkodM¥

È O Æ 2jcMqe]M[~ ]qofh\^\^fkew~5fhx]£hfgjkorh\fko]$¡[|w#}jc ko]5qo\w|wdnko]«¶³/ªj¬ £Efhgjker\^fke]$¡[[w[|r

}|c ke]Mqe\^w|wdnko]^«I¨lªj/¬Í£fhgjker\fke]/¡[[w·|rhf\2v|whg «¶¼lªj/¬Í£[keqo]5wxwdM£jwjc5qo]5[~5]{[fqg[dewrhÄ}-±c kofkod

(6)

5 7"7"7

687

Ã:9<;<= =¶È$; ?>A@ È Mj =¶È$; B

CED

Ã jGFÀ"H| ÃJISÈ ; È °jO =K;LIºÃ ÃM; Ã N

|¥x_ t|f\^{|]¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ O

|¥ tukeqog[~Íkog|qofh·~ r\{[x]5ke]5[]Mdod$YEmu{#rkoY|]Mdewd ¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥

|¥ tj]Mfq~Ydy{[f~ ]/g|[}j]Mqldykeqog[~Íkog|qofh-~ rh\^{|] ko]5|]Oded$Yumu{#rkeY[]Mdewd¢¥¥¥¥¥¥¥¥¥¥¥/¥¥ P

|¥ QUiEkoqof~Íkowx|fhgjker\^fkof2qorh\ koY|]dy]Ofq~Yde{[fh~5] ¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥_O

|¥¥x_ ¯qo}j]Mq$qe]Mfkewrhrh{[fqekewxkewrh[d ¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥__

|¥¥ Rlwdywxkew|^keY[]de]Mfhqo~Ydy{fh~ ]7¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥_O

STD Ã jGFÀ"H| ÃJISÈ VUXWG ; É 7 WG 6 B

[¥x_lgjker\fkofrhkoY|]dy]Ofq~Yde{[fh~5] ¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥_M

[¥ tukeqog[~Íkog|qe]rh¼ªjf[}³/ªjdy]Ofq~Yde{[fh~5]/g[[}j]5qzdew\{[x]\^]5qoh] ¥¥¥¥¥¥¥/¥¥_GO

[¥ ª[qer\rhq}j]Mqe]O};de] kodker^fkykow~5]Md ¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥_

[¥[¥x_ YÄ]5qohw|2rhqz}j]5ke]5qo\^wx[wdofkowxrfh[}}|wdof\2v|wxg|wdefkewrh ¥¥¥¥¥¥¥¥¥/¥¥_

[¥[¥ ¯qo}j]Mq$qe]Mfkewrhv[fhde]M}rh\^]5qohw|7rqz}j] ko]5qo\^wx|wdofkewrhZ}jwdefh\7v|whg[wdofkowxr |_

[¥[¥ fkekew~ ]r+fg|kerh\fkof9¥¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥)h

E[F ÃuÈ Ã 6

Ã È$I 5MhA Å È \H Ã Ã È °jO

C]

^ D

Mj ÃÆ Ã _ =K; _µ ; É ¶ ; _ _ Ã _ ÃM;Ã =K` j =¶È$;

Ca

b Ã Ij =IÈc; Èc; Ã ed|j =¶È$;®Ç?=!FÌÉ Ã =d|j =IÈc;

Scf

7 [F ÃuÈ Ã gB´ Ã:h ÃM; Ã1È$I HjA = =IÈc; ^ Ã H Ã ÃM; =i; _ ; ¹ =_ È 2 ¤ È °|M Sj6

³2¥x_)X$Y[]fhrhqowxkeY|\¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ [_

³2¥lxrhqowËkoY|\]M[}|dÌ¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ E

³2¥

u¸fqowfEk,k+rvjkofhwx[]M}fgjkorh\fkf2fhqe]lE¦©f\2v|whg|rg[d ¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ h

³2¥|¥_=tu{|wËkekew|K~ r\{[gjke]O}rw|]2 ¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ h

³2¥|¥ tu{|wËkekew|K~ r\{[gjke]O}rw|]_h_¢¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ u

³2¥|¥ tu{|wËkekew|K~ r\{[gjke]O}rw|]_Gm´¥¥¥¥¥¥¥¥¥/¥¥¥¥¥¥¥¥¥¥¥¥/¥¥ nP

(7)

G"2¤86U "

§µ]R~5rh[dew}|]5q-wj]5qo]5[~5]Ur|fhgjker\^fkof½qorh\ hw¸h]5}|fkof|¥°~ fhdodew~Mf{|qorhv|]5\ wd·ker$¡[}/keY|]Rde\fx]Odnk

~5rh\^{[fkewv|x]fgjkorh\fkorh·£+wS¥]h¥ keY[]de\fx]Odnk^fgjkorh\fkorhf~5~ ]M{jkew|µf]5i|f\^{|]Mdf[}¢qo]nsn]O~Íkowx|

fhx~ rhg[ko]5qe¦S]5i|f\^{|]MdM¥¿§ÌY|]5¿fhgjker\fker´fhqe] 1n" % c i°«I³ªj/¬Í£½keY|]¹{|qerv|]5\Yfhdv#]5]M

]5iuke]5dyw¸h]MxmÄdykeg[}jw]M}f[}¹wd¨lp+¦º~5rh\^{|] ko]Ê rhPj£GpU§ Pº¥zr

]5¸]5qO£[wx½]5[rhg|Y1] i|f\^{|]Md/f}

~5rhg|Eko]5qe¦S]5ijfh\^{|x]Od$fqo]/{[qer¸uw}j]M}-£j{#rhmu|rh\^wf·wj]Mqe]M[~ ]fhxrhqowËkoY|\g[dewx[ v ?" ?"!1

~Mfhw¸h]hrurj}Kqo]Mdeg|xkod¯ Ê u£ fE£ pUpRPS¥

¨ªj wxj]Mqe]M[~ ]wdf2]

dnkog[}jw]M}fqo]Mf2rhqf\^\fkow~MfGwj]5qo]5[~5]h£ukoY|]wxEko]5qdy]OdnkrhkeY[wdz~5fded

rh/fhgjker\^fkofwd^qo]M~5]5EkUr»jj£ªh|£U³ X|£U³ X|_º¥ [}j]5]O}-£½keY|]Äg[de]r³ªjdwd^rhke]M

{[qe]5]5qo]M}/k/keY[wd~5fded{#rdode]Mdod/f~Mf|r|w~Mfrqe\£¤fh[}¹r{]Mqofkewrh[dr¹koY|]Mde]Kfg|kerh\fkoffqo]rhke]M

{#rhmu|rh\^wf«wxk/wd/|rkkeY|]~5fhde]rq/¨ªjld¬Í¥gjkM£-wÄkeY[]¯/~M~5f\±dzqf²Mrhqz{[fhqof}jwh\£wxkwd

rqykoY

[rkew~ w|koY[fk¨lªjdl\fAmv]2] ij{r|]5Ekowfhxmde\fx]MqzkoY[f¹³/ªjldM¥l¨ªjld/fqo]7fdyr;v]5kyke]Mq/deg|wxke]O}

koY[f^³/ªjldkor/qo]5{[qe]Ody]Mk+derh\^]dnkoqeg[~ keg|qo]MdM£wx»]nEf{[d Rwx^]5|r\w~5dM¥¤§µ]{|g|qdeg|]keY|]

rhqo»rhkeY|]

wj]Mqe]M[~ ]r¤|r[}j]5ke]5qo\^wx[wdykew~zqo]5{|qo]Mde]5EkfkewrhdUvum^qe]M¸EwdewËkowx|2qe]Odyg[ËkdRrh!³,Y R/"-rh;keY|]de]Mfq~Y

de{[f~ ]wkeY|]dnkfko] ¦º\]Mqewx[^qofh\]

rqe»G£jrj~5g[dyw|rhÄ|r[}j] ko]5qo\^wx|wde\¥l§]]5ijY|wxv[wËkf;deg|v#~5fded

rh#¨ªj£koY|]# $ %$"&'"M )( c," " ?«¶¼ªj¬ £deY[fqowx[

wxkeY³/ªj&\fum7wEke]5qo]Mdykew|de]Mfq~Y

de{[f~ ]z{|qorh{#]5qekew]Md

Y|wx]lv#]5w|2|rh[}|] ke]Mqe\^w|wdnkow~2«¶de]M~ÍkowxrK¬ ¥§µ]~5rh[~5xg}j]lvum^dyY|r

w|koY[fk½keY|]

de]Mfhqo~Ydy{fh~ ]/rqz¼lªjf}³/ªjfqo]fkykew~ ]Od

Y|]5g[dew|fh}j]OÁgfke]r{]Mqofkerhqd«¶de]M~ kewrh|¥¬Í¥

*

(),+" ".- %!5"

§µ]2}|]5|rhke]vum0/1/jkoY|]2~Mfq}jwxf·rhRfKdy]5k21¥ ] k#3 v]f^¡[|wxke]f{|Y[fv#] kf[}4365v#]keY[]2de] krh

rhq}|drh73¥ ]5k98z}j]M|rko]keY|]]M\{|knm

rqo}f}:/;</koY|]]5|hkeYrf

rqo}=;Är!365¥

7

Ã:9<;<= =¶È$;

6?>

@ WGA@ *&¨lrhj¦©}j]5ke]5qo\^wx[wdykew~Rªw|wËko]dnkfke]$zg|kerh\fkerhj+L')(*,+ CB cGD

E

32FHG%FHIJFHK"FMLON#PL"##3 wx[{|gjkfhx{|Yfv#] k"+<G %9( "" &. v +QIRSG "" &

cKij vv +)K koqofh[dewËkowxr\f{[{|wx[ 1( 1#" TGVU3 W'X,Y?ZG E\[]

FH^_F [`

N.

[a`#b

Kdc [e]

FM^df "1XKkeqf[dewËkowxr 1OL "" &( "/ v v g

Hhn" $1K P#1e $1 ? "" & v +\geg" iWXjU4365V CW'XV$k'lnmoG#pQRqG%FrmD^

b

32F6ms

b

365"F9KdcZG#pZFM8ftSGOp\FuKdcG#pFM^dftwvCxy

X{z Kdc

[

FM^dfFuKdcG#pFM^|s2fntSKdcKdcG#pFM^dfFMs2fg

X$Y|]lqe]Mhg|fq+f|g[f]r} qe]O~ rh|w²5]O}2vumfKfg|kerh\fkerh^wd!}0t?~as

b 3 5 /Kdc\I_Fs2f|#Lt¥

¨ªj wÄkoY|wd/{[fh{]Mq/fhqe]~ r[dyw}j]Mqe]O}\Kv ?1°«wS¥]¥krm [b

G%Fs

b

365'FHKdc

[

FsufQLtVKf}

m

[Ob

G%FH

[#b

G Fs

b

365"F [b

Kdc [

FMs2fy¬ ¥

] kC/C/'tV/G=/j}j]5[rke]/koY|]dyw²5]rhfhfhgjker\^fkerA7¥

i ,c [ f

wG}|]5|rhke]keY|]{|qo] ¡|if|g[f]lrhf2dykofke]

[

rffhgjker\fker=qt

E

32FHGFMI_FMK"FHLON

}|] ¡[|]O}Kvum= #K ,c

[

f!t~as

b

365/

[b

KdcG Fsuf¥ ,c [ f

wx-}j]5|rhke]keY|]degj¾^iKfh|hg[fhh]zrh

[

}j] ¡|]M}vum c

[

f!tw~es

b

365/CKdc

[

FMs2f{AL.tqd¥

7

Ã:9<;<= =¶È$;

CV>

^h Ã HM ; Ã @ *) °f~5~ ]M{jkofh[~ ],?P#1Cs

b

365+PL#ust^

]a

^D+

.t

E

32FHGFMI_FMK"FHLON+ B =c [

F

a

F [ f =/sC/'? v v \

(8)

[b

G +om

b

Fe/sC/K+

[b

Kdc [ ]

FM^

fv+

[

b

Lg [

"i1$%w|wËkowfh¤dykofko] $1 [ L

"i1$7¡[f¤dykofke] &%n $ ag

# vKi 9N [ ]

FH^

F [ME

# i1qo]Mfh~Y[]M} $k?% $ag "" n$ v

P#1#s " " ? A0 1" $1=$kO,c P{fag

tur\^]{|qer{]Mqykowx]Od$f[}deg|v#~5fdede]Mdrh¨ªj~5fv#]}j] ¡[[]M}fhdrxr

d"k

7

Ã:9<;<= =¶È$;

S>&7

WG @ *}j]5ke]Mqe\^w|wdykew~¡|wËko]dykofke]fhgjker\fker/+1" $1 $k2,(* X')(*

E

32FHG%FHIJFHK"FMLON. Xl/I/'t $1um [Ob

G%F mD^

b

32Fe/Kdc

[

FH^fa/w|g

tur\^]R{[fhqykow~5g|fhq³/ªjld~5fhv]$}j] ¡|]M}-¥X$Y|], $ ci"" " ? r[flfh|hgfh]}l£}j]5|rhke]O}

vum:c\}fÍ£wdkeY[];dyrx]\^w|w\^fh½³/ªj f~5~ ]M{jkew|7}l¥X$Y|]4 "" " " ? £Cc\}fÍ£wdkeY|]

~Mf|r|w~5f-fhgjker\^fkerACcZ365af$fh~5~5]5{jkowx[^fhx

rhq}|d«¡[hg|qo]7¬ ¥

7 Ã:9<;<= =¶È$; B > =_ = Å UXWGA@ 7f\2v|wxg|wxknm2}j]Mhqo]5]? ) " " ? +j2%#c2fv+

?hn d Jd $" $ jHh v 2P#1+\geg2 c\uf!t ^

y!

cH/"# csuf/fg

*) g|[fh\7v|whg|rg[d¤¡[|wxke]dnkfko]$fhgjker\fker/+L1" $1C$kX-/(* )')(*j 2 c\uf$

&%( ('*)'g " ',(* $ \-/(*.+P ""k? " $&'"M g

a,b

a a,b

ªwhg|qo]1_kz¢]5ijfh\^{|x]rhz¼lªj£qo]5{|qo]Mde]5Ekew|keY[]Kfh|hgfh]

3 5 ^ 3

wxkeY43 t~^_F*+e¥

] kKg[d[rkew~ ]koY[fk;dewx~ ]Ä}j] ko]5qo\^wx|wde\w\{[xw]Mdg[|w~5wËknmrfh~5~5]5{jkf[~5];rqKf

rqo}r/keY|]

f[hg[fhh]h£|keY|]7~5fdedlrU³/ªj wdzw[~ g[}j]O}wxÄkoY|]7~5fdedlrU¼lªj7¥-¯vu¸uwxrg[dexmkoY|]Mde]2~5fdede]Mdlfqo]h£|vum

}|] ¡[|wxkewrh¤£hv#rkeYw[~5xg[}|]M}^w^keY|]l~5fdedrh·¨lªj¥E¨lªj7£¼lªjÀf[}³/ªj¿~5fh^qe]M{|qe]Ody]MEk+fhum7qo]5hg[fhq

f[hg[fhh]h¥

keY|wd^{[f{#]5qO£

]~5rh[dew}|]5q2keY|]dy]Ofq~Yde{[fh~5]Krhq^¨lªj7¥UX$Y|wdde]Mfhqo~Y°de{[f~ ]wdf¹{fqekewfxm

rqo}|]5qo]M}1de] kO¥7§µ]{[qe]Ody]MkY|]Mqe]2keY[]vfhdew~}j] ¡|wËkowxr[dqo]5fke]O}Äkor;koY|wd[rkewrh&«¶de]5]A³lpR"+rqf

}|] kofhwx]M}{|qo]Mde]5Ekofkewrh¬ ¥

l #1n#1J "wd7fÄde] kC1 korh] keY[]5q

wxkeY°fv|w[fhqemqe]Mfkewrh·£[f\^]M} v vi1"# i

fh[}^}j]5[rke]O}^vum-,¥X$Y|]zdnkoqew~Ík½rhq}j]5q+qo]5fkowxr2wdU|r^qe].[] ijw¸h]f[}2koqofh[dywxkew¸h]¥§µ]lfhder~ rhdyw}j]5q

koY|]^qe].[] ijw¸h] #1n?Ki [£}j]5|rhke]O}¹vum/£¤fh[}}|] ¡[|]O}¹vum k2m!{F10

b 1 2c340 f5 c3,

0 f76:c t80 fÍ¥

7 Ã:9<;<= =¶È$;:9 > =i;<= ; É °<; = =K;L= ; É °<; = È 5 È ; É® È H@

=L"Q1$ #1"#1? "" $1C1OpoR 1=g> l

''g? b 1Op Ä\^w|w\^fh+]5]5\^]5Ek@% # og2\fijwx\fh]Mx]M\^]5Ek1) 1Op 9m0 b 1OpFc0ABDf"C

c0tDfD%# K)guc@30 fEC c0tDfF)'g

GIHJLKNMPO

pQ

KSRUTIJKWVYXZKNR

pEQ\[W]

J [ KQ T

Qvp^_Q\[W`ba

RKWVcKWVPJ!TIdeX*OSOWRUT1X*d

]

JIf

p RKSR Qvp?g_hPi

J

i7jklnm\oZp_qFrIs

X

`ut Rh

MPRKv#wR

p

KWVPRUO<xYX*xyJ

[

[J^J[ O!K

Q X

`ut Rh

MPRKv

Q*^

xYX

[

OSR

pPh

X

pP] pPQ KzX

`ut Rh

MPRKv

Q*^

TIdeX*OSOWRfYT1XZKSR

Qvp X*O

a J ] R] Rp x [ JL{R

Q

MO7xYX*xyJ

[j|7Q

O

tvtPr|7}uvu*pi

(9)

g?

b

1Op \^w|wx\2g|\ %#v )gR\fiuw\7g[\ ) 61pnm!0

b

1OpZF?@30 % # ogu0- N)'g

i Hhn vi + % c Cd %v og ahn Cd ")X ?" )&21 1v#rkekerh\ % #v )gker{<)

&61=g

tur\^]rqo}|]5qo]M}°de] kd2YfA¸h];\^rqe]{|qo]M~ wde];{|qorh{#]5qekew]MdM£+rhq^]5ijfh\^{|x]:K iv Í£Urq

Y|w~YkeY|]Mqe]

]5ijwdyk{[fqekew~ g|fq$]Mx]M\]MEkod$rq]Mfh~YrkeY|]Mwxqdyg|vdy]5kod.k6 ?"$f[}" ¥

7

Ã:9<;<= =¶È$; N

>&7

ÈuÇ?;¤Æ Ã ; É LH Æ Ã ÃuÃ 2 ; É È$=i;u Ij5 = Ã @ = "1 $ #1n#1 "

$1 1OpR1=g ¹}jr

|¦ºde] k 1 Äg|{j¦©de] k 1Opi+%1" $ 1 $ks c\1pf $1A;Qc1Opf #

1n\( $1=$k'l

s c\1 pft?~

b 1 /Cm0

b 1 pF?@ 0+

;c\1 pf!t~

b 1 /m0

b 1 pF03)dg

^\^]5] k 91OpK+ 1" $ 1A$k01Opi+ ?hn Cd &s c\1Opf Mhn vK HY snrhw 21Opi+

1n 1=$k01OpK+ % c Cd 6;Qc1Opf. Hhn vi g

*) #1"#1 "Q1 ~5rh\^{|] ke]fkekew~ ]Vn=1OpoR 1 ?" $1 " g

koY|wd7}jrj~ g[\]MEkM£

];g[dy]KkeY|];ke]5qo\ KiKrhq~ rh\^{|] ko]Kfkykow~5]h¥ [}j]M]M}-£koY|]Mde]K|rhkewrh[d2fqo]

]OÁEg|wx¸fhx]Mk

Y|]MkeY|]rqo}j]Mqe]O};de] kwd$¡[|wxke]¥

§µ]~5rh[dew}j]5q2keY|]fkykow~5]rh vKi r/f¹de] kM¥¢ {[fqekewxkewrh°r®fdy]5k1)wdf¹de] k^rz|r

]M\^{jknm1dyg[v[dy]5kod/r1£¤~5fhx]M} $Ge fumk

r;rRkeY|]deg|v[de] kodfhqe]}jwd¶snrhwEkfh[}ÄkoY|]^g||wrhr½fhx

koY|]ldeg|v[de] kd+wd!1¥+X$Y|]zv|rj~» r·f{[fhqykowËkowxrr1~ rhEkfw|wx[koY|]z]Mx]M\]MEk

b 1 wdR}j]5|rhke]O}

vumoc"fÍ¥X$Y|]dy]5kr½fhx{[fhqykowËkowxr[d/rfde] kO1wd}j]5[rke]O}¹vum c\1f ¥X$Y[]2rqo}j]Mqqe]Mfkewrh1r

c\1CfÍ£[~5rhj]Mqeqowx[wxklffkykow~5]dykeqog[~ keg|qo]h£jwdz}j]Ode~5qewv]O};wÄdy]O~Íkowxr|¥¥

!

^ ·½! 6K7*,, "$"

X$Y[]zdy]Ofq~Yde{[fh~5]$rhqRfhgjker\fkofwj]Mqe]M[~ ]Y[fd+v#]5]5Kdykeg}jwx]O}^wx³,Y Rh|£³g|{[nO"fh[}^] iuke]M[}j]O}

korK~ fhdodywx¡[]Mqzfgjkorh\fkf^wx ½rdoheº¥ª[rhqkoY|]7dof»]/rhU~ fqowËknm

]7~5rh[dew}|]5qrh[xm¨lªj£v|gjk/qe]Odyg|xkod

{[qe]Ody]Mko]M}f{[{|xm/fdyr$korl~ fhdodewË¡[]Mq·fgjkorh\fkf|¥·§µ]Rqo]5¸uwdywxk-keY[]Uqe]Odyg[Ëkd-ro³)Y R/£M³g|{[O[£½rEdeeS£

rj~5g[dedew|^rh|rh[}|] ke]Mqe\^w|wdy\ fh[}keY|]dykeqog[~ keg|qo]r¤koY|]de]Mfq~Yde{[f~ ]h¥

"#%$ &('*),+-/.

§µ]2~5rh[dew}j]5qlkeY[fkwjrhqo\fkewrhÄrÄwx|]5qo]5[~5]kofhqe] klf[hg[fhh]h£~ rhdywdnkowx[KrUwxkodl¡[|wxke]dyg|v[{[fqekM£

wdfA¸fwfhv|]h¥§]rqe\fhxw²5]keY|wdvumkoY|]}j] ¡|wËkowxrr,v ? " D ¥

7

Ã:9<;<= =¶È$;10

>%2

Ã j ;<=i; _¹O \H ÃKÈ$I I ; _ _ Ã @ *À]Mfqo|w|7dof\^{|]43 &, |':r}

9( cO Cd " P#1e # } + \gagmDs

b

3<FMs

b

}ug

(10)

§µ]{|qorh{#rde]f}j] ¡|wËkowxrÄr+f^x]Ofqo|w|Kdefh\^{|x]fdzf^\7g[ËkowË¦©dy]5kzr

rhq}|d5¥

1dyg[~YÄfdof\^{|]h£

wxkRwd+{#rdodywv|]ker¡[}keY|]ldof\^]

rhq}dy]M¸h]5qfukowx\^]OdRfhdRf^] ij]5\^{|]zrh-ff[hg[fhh]h¥§]}j]5|rhke]vum

+)c\s2f$koY|]ug|\7v#]5qlr+qe]M{]5kewxkewrh[dzrkeY|]

rqo}s w1fdefh\{[x] 3$¥$a]M{]5kewxkewrh[dlwxkeY[]7defh\^{|x]

fhqe];[fkog|qofhxm fA¸Afhwxfv[x]rq7\fum¢f{[{|xw~5fkewrh[d«¥]¥ Ê Q½O"¬Í¥µX$Y|]5m¢fhqe]Kgdy]O}°w}jw#]Mqe]Mk

fAmjdwxÄfhrqewxkeY[\^d,k

? R/Oº£&+{cs2fK{|qer¸uw}j]Md^wjrqe\fkowxr&rh&keY[]¹dnkoqeg~Íkeg[qe]ÄrhkoY|]1wj]5qoqe]O}´\^f~Y|w|]h¥

[}j]M]M}-£wx®keY[wdfhxrhqowËkoY|\£Rf

rqo} sY[fd^] i|fh~ kem&+ cs2ff~5~5]5{jkf[~5]Md2wx´keY[]kfqoh]5k

\fh~Y|w|]^«keY[]~5rh[dew}j]5qo]M}\f~Y|wx[]Mdr·koY|wdfhrhqowxkeY|\ wdf2h]M|]5qfw²Mfkowxrr¨lªjld$~Mfx]O}

CdKDiZk E¬Í¥

a]5{#] kowËkowxr[d~Mf fdyrY[fA¸]2{|qorhvfv|wxwdykew~7wEke]5qo{|qo] kfkewrhd wxµkeY[wd~5rhEke]5iuk/koY|]5mfqo]^~5rhj¦

dyw}j]Mqe]O}°fhdqe]OÁg[]5[~5wx]Od7g[de]M}¢ker¹]Odnkowx\fke];{[qerv[fv|wwËkowx]Od5¥µX$Y|wd2wko]5qo{|qo] kofkewrh¢wdg[dy]O}¢w

fhrqewxkeY|\d½rhqwj]Mqe]M[~ ]rh{|qorhv[fhv|wxwdnkow~fhgjker\^fker·£jxw»h]lx]Mqewf¯/h"º¥

ªwx[fhxmh£hqe]M{]5kewxkewrh[d+~Mfv]$wko]5qofke]M}7wxY|]Mg|qewdykew~~5rh[dykeqog[~ kewrh·£

Y|w~Y^fqo]½g[de]M}kerhg[w}j]

f^¸uwdewËkrkeY|]2dy]Ofq~Yde{[fh~5]h¥X$Y|wdzwdzkeY|]7~Mfhde]wx X$Y|r[_

Y|]Mqe]fK{|qerv[fv[wxwdykew~/Y|]5g[qewdnkow~

wdzg[dy]O}-£|f}

Y[]5qo]/{[qerv[fv|wwËkowx]Odfhqe]v[fdy]O};rqo]5{#] kowËkowxr[dM¥

"#" & ' - ) + -%. ..+ ."!#

l¿g|[}|]5qoxmuw|®fdedeg|\^{jkewrh&rq;wj]5qo]5~ ]¹rh7fÀfhgjker\fkerÌwd;keYfk;koY|]1koqofhwx[wx|´defh\^{|x]¹wd

yqo]5{|qo]Mde]5Ekofkew¸h]$]5[rhg|Y$rhGkeY|]fh|hg[fhh]$korv]x]Ofqo|]M}·¥X$Y|wdR~Mfv#]zrqe\fw²5]M}vumkeY|]l|rkowxr

rh vZ #" " v

Y|w~Y wxEkeg[wËkowx¸]5m1\^]Mfd/keY[fk7fkofqoh]5kfgjkorh\fkorh ~ rhdnkowËkog[fEkod

fhqe]/g[de] g|·rhq$keY[]defh\{[x]qo]M~ rh|wxkewrh¤¥

X$Y|wd$dy]O~ÍkowxrK}jwdo~ gdede]Mdf[}Kqe]O}j] ¡[[]MdRkeY|]/dnkoqeg[~ keg|qfG~ r\^{|x]5ke]M|]MdodUYumu{rhkeY|]Odywddyrfhd+kor7kf»]

wEker1f~5~ rg|Ek{[fqekew~ g[fhqewxkew]Mdrh[rh°}j]5ke]5qo\^wx[wdykew~Kfg|kerh\fkof|¥§];hw¸h]v#]5r

fÄ}|] ¡[|wxkewrh¢rh

dykeqog[~ keg|qf¤~5rh\^{|] ko]5|]Odedl] iuke]M[}jw|7³)Y R/£³g|{[Okor;~ r[dew}j]Mqzqo]5{#] kewxkewrhd5£Gf[}koY|]7gdy]rh

\^rqe]/keYfrh|]w|wËkowfh¤dykofko]Md$wrhg|qz}j]5¡[|wxkewrhrfgjkorh\fkf|¥

7

Ã:9<;<= =¶È$;

]>D

MhA 7 È \H Ã ÃM;Ã M"@ * # c |J "" 3 4 |':C} ? "i1

4$dykeqog[~Íkog|qfxmµ~ rh\^{|] ko]P #v , " " ? Hhn K $

d "%$ # c |HhM"k& +)c\s2f%n$ v n7P1#s &3 l

''g%#"kK vi &r0 #n1A$kV n$ %&$ #e+

g%#"k i" &r0 i" & $ '$ #+

(

g%#"k9( "/ v 6 ( $"j & $ $ 'g

ªwhg|qo]7wxg[dykeqfko]MdkoY|wdz|rkowxrrhdykeqog[~Íkog|qf·~ r\^{|x]5ke]M|]Mdod5¥

] kgdz|rhkew~ ]koY[fkkeY|wd}|] ¡[|wxkewrh¹]5Ekofhwxd$k

rKwx}j]5{#]5[}|]5Ek/~5rh[dykeqfwEkodv#] k

]5]M1fKdefh\^{|x]

fh[}ffgjkorh\fkorh k

_h¥ ~5rh[dykeqfwEkqer\!keY|]fgjkorh\fkorh¢rh koY|]dof\^{|]kkoY|]dof\^{|];\2g[dnk^~ rkfw°f1de] k2rh

rqo}[d½fqoh]]M|rhg|Y;kor^qe]Ofh~Yfhxfgjkorh\fkorh~5rh\^{#rh|]Mkd5¥

(11)

q0

a a,b ^q1

a

!#"$% &('*)+,&()'-$.#+ / &0213"$&4#' 56+,&7&8/9&4

)&8/ :&8/;</=#&46?>A@)' BCD EF7G3HIJ!K"$L;M/&?*&('*)6+,&()'-$.

+ / M&0ON*+ ),:&46' QPR/JL;/&ES"4*&E;6.T-+*+*0M&8;+*Q13"$&4QU-VOL"$;6"$&("5-

&8&0BD MFWGG3HXI !K"4#;M/&?*&('*)6+,&()'-$.Y+ / E&0QN* + ),

;/ZR+ +0&8;+*O #)&("([8,&\/=9WGG\"4;&4Q)&8/ :&8/;]&("$^>%#&42>3' &E+ /;M[

P"$&("(/;K/=E &('*)6+,&()'-W+ / E&0;X LP_$>3;"$&("(/;X`2;X"$&4'&(';6*"4&("5/;CN,.:&(&0'

a='/ bUcZ&8/Z"$&(,,=d%;/'='/ HU V &8/Z"$&(,,=#"$L' -+*P_B"$ef &SR M

PQ"@J&g/;T&43=hR+,&&46&&4E"@J'&4Fi)MF/=2jkhlm(nodW&49 Q/'&4

;) :N'e/I=#)&8/ :&8a&4&%'86+,&2 &('*)+,&()'-3+ / &0; D+ /;MP"$&("5/;,B

ªwhg|qo] k+zgjkorh\fkorhÄf}dykeqog[~Íkog|qfxm;~5rh\^{|] ko]dof\^{|]h¥

j¥Ì~ r[dnkoqofhwxEkqorh\ koY|]zdof\^{|]rkeY|]zfhgjker\^fkerjk-keY[]lfgjkorh\fkorh2\7g[dykRfh~M~ ]5{|kRf

rqo}|d

rkeY|]dof\^{|]«koY|]5qo]] ijwdnkdffh~5~5]5{jkf[~5]/rhq]Mf~Y

rhq};rh 3U¬ ¥

X$Y[]¡[qdnk~ r[dnkoqofhwxEk~5f¹v]dy]M]5fdkoY|]2[]5]M}1rhq/Y[fA¸uwx[;fCyqe]M{|qo]Mde]5Ekofkew¸h]dof\^{|]7r+kfqoh]5k

fhgjker\fker·¥X$Y[wdwdkoY|wd»uw[}°rhl~ rhdnkoqofhwxEkkoY[fk^\^rkew¸fko]M}¢koY|];wEkeqorj}jg[~Íkowxr°r/dnkoqeg[~ keg|qf

~5rh\^{|] ko]5|]OdedAªzmeS¥&X$Y|]Äde]M~ r[}~5rh[dykeqfwEkwd^wx|»]M}°kerµkeY|]g[de]rf¹|r®[rhwdym°dof\^{|]k

]M¸h]Mqem

rhq}2r#keY|]ldof\^{|]wdRdeg|{|{#rde]M}^fh~M~ ]5{|ke]M}vumkoY|]kfqoh] kUfhgjker\^fker fh^f~5~5]5{jkf[~5]½koY|]5

]5ijwdykod2rhq^]Ofh~Y°rhlkeY[]Mde]

rhq}|dM¥X$Y|]dy]O~ rh}~ r[dykeqfwk^~ rg|}v]Ädeg|{|{|qo]Mdode]M}°vum°de{]O~ wxmuwx|

koY[fk $ #Yfhd7ker¹~5rhEkofhwx&+ {c\s2f = fh~M~ ]M{jkofh[~ ]Odrhq2]Mf~Y

rqo} rh 3$¥X$Y|wd}j] ¡[[wËkowxr

\^rj}jwx¡~5fkewrhwdfhrh{#]5qe]Ody]Ofq~Y}jwqe]O~Íkowxr;kor^}|]Mf

wËkoY[rhwdymK}|fkof[¥

"#0p &(. ' + ' . eq. '*- ),+-/. .." + ."!#

zwxk2wdfhdodyg|\^]O}µkeY[fk7keY[]dof\^{|]Kwddykeqog[~Íkog|qofhxm~5rh\^{|] ko]

wxkeY°qo]Mde{]O~Ík2ker1wj]5qo]5~ ]Kkfqoh]5k

fhgjker\fker·£ukeY[]7~ rqeqo]Mde{r[}jw|^dy]Ofq~Yde{[fh~5]wd$¡|wËko]h¥§]}|]Mdo~ qowxv#]keY|wdzde]Mfhqo~Ydy{fh~ ]fh[}keY|]

fAmr¸uwdewxkew|^wËkzvumK\^]Mfh[d$r+dykofko] ¦º\^]5qohw|2\^]5keY|rj}|dM¥

Xr}j] ¡[[]koY|]dy]Ofq~Y;de{[fh~5]h£

]/g[de]/keY|]rh{#]5qfkowxrKrfgjkorh\fkfX1nvi

wËkoYqo]Mde{#]M~Íkker

f2{[fhqykowËkowxr·¥§µ]}j]5[rke]/vum ¹«¬RkeY[]de] k$r{[fqekewxkewrh[d}j]5¡[|]M}rh;keY|]dykofko]Mdrffhgjker\fker

7¥Rª|qorh\f2wx¸]5{[fqekewxkewrh b 4c2fÍ£

]~Mf~ r[dnkoqeg~Íkzf^|]

fgjkorh\fkorh·£|}|]5|rhke]M}vum:r +£

koY[f[»udkorkeY|]V1nvi µrh{#]5qfkowxr k

7

Ã:9<;<= =¶È$;

a>&7

Ã =d|| =¶È$; @ = "Qqt

E

32FG%FMI_FMK"FHLONO$ " " ? $1 ,vKi

gD $%1nv1" " ? =:r 7t

E

32FHG#pFMI|p\FHK"pZFML#pN 1( 1$k'l

''g2G p t1t?~ Dc

[

f/

[b

G

g9I p tw~ oc [

f?/

[<b

IJ

( g9K"pz2 GOpoU3ts W'X

z

2m b G#pF,mo^

b

32F K"pcFH^fnt u

xyv\wxz yxyxhwz{

~ c[ p f

|

g9L#pt~ oc [}

f?/

[-}%b

L

(12)

0

a 1

2

a

b 3 ^0,2

a a 1

3

b _0,2

a a 1,3

b

; )&8/ :&8/;0/; &46 $=*&;MP&(1g/ )&8/ Q&8<P_'*"$iPQ='/ N,.k'&("4&("5/;O- R!R,J!_,R!-!

;Pa-!_,-_!!6Be'"$i"4;@T; )&8/ Q&8/; 13"$&4K'56 +,&E&8/K#'*&("$&("5/; "$DPR/;QN,.O@'/)"$;@T &8&0

/=:Z OQNhf/+ /=#&49'*&("$&("5/;BCQ)&8/ :&8/; P_'*"$iPL='/ &49'*&("$&("5/;_!Rh!R,-!_,R!-!

+*/;&8"$;6e/;XF &8&0\6'eNhf/+a;PQ"$&4;],)6-&8/:B

ªwhg[qe]kU³]5qow¸Afkewrh] i|f\^{|]MdM¥

X$Y[wd$|rhkewrhwd$wxxgdnkoqofke]M}vumK¡[g|qo]/[¥

m~5rhu¸h]M|w]5[~5]h£

]fdyrdofAmkeY[fklfÄfg|kerh\fkerh2p-wdl}j]5qowx¸fhv|x]qorh\ fÄfg|kerh\fkerh wx

koY|]5qo]] ijwdnkdf2{fqekewxkewrh rdykofke]Od$rdeg[~YkeYfkr9pDtS:r +¥

§µ]}j]5[rke]vum0c\f½keY|]de] kr+¨lªjdz}j]Mqew¸h]O}qorh\fhfhgjker\fkerA7¥ YÄrhqo]rhqo\^fhxmk

c2f!t?~e

p

/

b

4c2fFH

p

tj:r <

¨lrkofkewrh[d«\/¬2fh[} c\uf2fhqe]] iuke]M[}j]O}°kor¹kf»h]wxEkorµf~5~ rg|Ekdeg|vG~ fhdody]Od2rh¨lªj7¥+§]

}|]5|rhke]vum $«\¬U{[fqekewxkewrhdrhdnkfko]Md+rho¿qe]M{|qe]Ody]MEkew|/³/ªjldM£uf[}vum! ncufkeY|]lde] kUrh

³/ªjld}j]Mqew¸h]O}qorh\?¥ YÄrhqo]Urqe\fhxmh£Orhq]5¸]5qomfgjkorh\fkorhO´f[}7]5¸h]Mqemdeg|v#~5fdedr#fgjkorh\fkf

" R´¨ªjk

#c2f!t~ /

b

:c\ufFr:r b "

# c\uf!tw~9p /

b

c\ufFr9pDtj:r Fr9p b "

X$Y|]de]Mfhqo~Yde{[fh~5]½g[[}j]5q+dykeqog[~Íkog|qfu~ rh\^{|] ko]5|]OdedYumu{rhkeY|]OdywdwdkoY|]de] krG}j]5qow¸h]M}7fgjkorh\fkf

qorh\ f{fqekew~ g|fqUr|]kkeY[] ?hn j $ i" [¥§]] iuke]M[}^koY|]~5fdedew~Mf#}j] ¡[[wËkowxr

rhU\fijwx\fh~Mf|r|w~Mffgjkorh\fkorhqorh\ ³)Y R/'korKkf»h]2wxEkorf~5~ rg|Ekfg|kerh\fkof

wxkeY\^rhqo]

koY[frh[]wx|wxkewf·dykofke]Odf[}qo]5{#] kewxkewrhd5¥

7 Ã:9<;<= =¶È$; 6Mf> N; =° ¤h ;Èc;<= ¤ È j È$; @ /\^fijwx\fj~Mf|r|w~Mfufgjkorh\fkorh#

1?? "" 3 +1" $1=$k!$ j*c3!f# ?# v Dk%$ j*+ # i + nP#1

sq. "" 3 +& i<" " ?OCc~es#fag

l] i|f\^{|]r&$ * wd$hw¸h]Mw¡[hg|qo]/[¥

X$Y|]¹\^fijwx\f/~5fh|rh|w~5fhlfg|kerh\fkerhÌ~5rh[dewdykodKrrh|]Anv|qf~Y{#]5q

rqo}´rh/koY|]¹dof\^{|]h¥

kddnkoqeg[~ keg|qo]]5[fhv|x]Odzkorqe]M{|qe]Ody]MEkzkeY|]de] kr

rqo}|dlr½keY|]^defh\^{|x]v|gjkfhderKkoY|]5wqqe]M{]5kewxkewrh[d

v#]M~Mfg[de]h£jwkeY|]%$ *£ &+

c\s2fnt /"#')(csuf/Ë¥

X$Y|]Mrhqo]5\!_rqe\fw²5]MdzkeY|]2qe]Mfkewrh1v#] k

]5]M¹dykeqog[~Íkog|qofh~5rh\^{|] ke]M|]MdodM£\fijw\f~Mf|r|w~5f

fhgjker\fkerfh[}}j]5qowx¸]M}fgjkorh\fkf|¥

[ F ÃuÈ Ã 6

=L $01" $ "L& ,PLMi, "" 3 v Z #k. D eg

$ HB" * c$ *Oc3ffag

+ È·È$I ,#K d $#G &-,2G/.1032) |? c?n P ?

(13)

a a

b

b b

b a a

6 =h/'aH J ,I,!6B T;) QN*'Y/=

N,';+*6Y;RNh"4;@]&8/<-+*+*0M&:]1%/'P n "$k"$&(a;) QN*'Y/=

'06&("$&("5/;6,B

ªwhg|qo]k Y1fijw\f·~5fh|rh[w~Mf·fg|kerh\fkerh¤¥

$ i" v v +j# "Ki $1 " $P " #M D " $ 1( cKi g " " $!&

9e" J n" $1&h*Og

X$Y|wdkeY|]Mrhqo]5\ wdkeY|]µv[fhdewdrh7wj]5qo]5[~5]¹g|}j]5qÄdykeqog[~Íkog|qofh/~5rh\^{|] ko]5|]OdedYumu{rhkeY|]Odywd5¥ k

]M[fv[x]OdRkor~ rhdyw}j]5qwj]Mqe]M[~ ]fhd½koY|]¸uwdewËkrhf2¡[|wxke]de]Mfhqo~Y;de{[f~ ]h£ 0c$ *9f £[dyr^fhdkor^] iukeqfh~ k

r|]rhqzde]5¸]5qfGfgjkorh\fkf|¥

"# ' !# ,' ' ) '% ' ) . . ' +' .

tjwx²M]+rEkeY|]Rde]Mfhqo~Yde{[fh~5]+wd-¸]5qomzfqoh]h¥ }j]5]O}-£OkeY|]+ug|\2v]Mq·rj{[fhqykowËkowxr[dGrh!$ *µwd/c$ *2f/'t

cM/$ *O/f

Y|]Mqe] c {fR}|]5|rhke]MdRkeY[]u]5Gug|\7v#]5qarkOº¥ c {f+v#]5w|f2|rK{rxmu|r\^wfh[r[~Í¦

kowxr;rh +£uwËkwd½[rk${rEdedewxv[x]ker^de~5qeg|kew|wx²M]]Ofh~YK]Mx]M\^]5Ekrh·keY[]de] k«$ *l¬«]5ij~5]5{jk$rqf2¸h]Mqem

de\f·defh\^{|x]A¬Rrhq] iukoqof~Íkew|keY[]rh|]E«¶d¬UkoY[fkzwdO«¶fqo]O¬RkoY|]qe]Odyg[Ëkrwj]5qo]5[~5]fhrhqowxkeY|\¥

] kg[d/|rkow~5]7koY[fkffgjkorh\fkorh¹~Mf¹v#]^}j]5qowx¸]M}1qer\ \^rqe]7keY[fhr|]7{[fhqykowËkowxr[d«¡[g|qe]

m¬ koY|]1de] k c3$ *2fwdkeY|]MÌrdy\f]5qdyw²5]koY[f1«$ *l¬ ¥qzr

]5¸]5qO£UrqKdyr\]1dof\^{|]Md

0 a 1

a 2

a 3 c1

4 a 5 b ₆ c1

a a,b

a c1

=h/': JJ! ;P; )&8/ :&8/; /=]m ok'0M' ,;&0P<N,.C&(1g/k'&("$&("(/;Z/=

Ym oB b"$#,)6-WN /&4 &8/ VD1"4&4 V2 - 6-!_,-_!!Y;MPa&8/ 13"$&4

- -R!R,_!!6B

ªwhg|qo]m k+X

r^{[fhqykowËkowxr[d$qe]M{|qo]Mde]5Ekew|2keY|]dof\^]fgjkorh\fkorh·¥

wxk2wd»u|r

µkoY[fk2keY|]dy]5k! ,c$ *2fY[fdkeY|]defh\^];dyw²5];rhq}j]5q7fd=/c3$ j*9f/!lc5[:mº¥1ld

,c$ *9fwd$wx~ g[}j]M}w c$ *9f £[f] ijY[fhg[dykew¸K¸uwdewËkzrh c$ *rfwd|rk{#rdodywv|]]5wxkeY|]MqM¥

X$Y|]de]Mfq~YKde{[fh~5]~5fhkeY[]5qo] rhqo]zv#]r|m{[fqekewfxm¸uwdewxke]M}·¥Xr7qo]Mfhxw²5]lkeY|wd¸uwdewËkO£

]/~5f;g[dy]

fhrhq}j]Mq¤qo]5fkewrh7v]5k

]M]57wxkod]Mx]M\]MEkodM¥X$Y|]hrEfhwd¤ker}j] ko]5qo\w|]$frqo}|]5q¤qo]5fkowxr\^]Mfh|wx[g|

rqfh|hg[fhh]Od/fh[}¹ker¸uwdewËkkoY|]Kdy]Ofq~Y¹de{[fh~5]vum¹~5rh[dew}j]5qowx[;wj]5qowxrqrhqdeg|{]Mqewrhq]Mx]M\]MEkod/ker

koY|]2~5g|qoqe]Mkrh|]¥l§µ]~5rh[dew}|]5qfh1rhq}j]Mqzqe]MfkewrhÄqo]#.[]O~Íkowx|f;de{]O~ wfwx²Ofkowxr$ZA]5|]Mqofhxw²Mfkewrh;rh

f[hg[fhh]MdM¥