ACCESS - Algebraic Concurrent Events for System Specification

(1)

!""$#&%'$($#*),+-.0/$12)3#*(4 /6578 :9(;#*

<>=@?A=@B*CDEAFHGAI

JKJMLON;PQSRUTVXWZY\[^]O_a` bSc-debS__f]OdebSc2J*[^ghTi]j[^WOT-]@k

RUYldemOmAnH_poU_]:[qPZbSmOW@drW@sSWO_.TVutv_pw@xSbHT-qeT-cikydrb!J*[^sSmj[^bSbS_

zl{ L|p}H|p~$J*[sHmj[bHbS_-QhRYldrW@_]@q[^bho

U"-iMvjSSj

>=O3 v;A<= vCS"

zl

PQ

z

_bUWO]@_

bHdri_]Om@deWj[de]@_o3PZbV T-]@¡[W@d£¢-sH_

bSde-_f]OmOdeWZk¤TV K_bS_-[

zl{ L|p¥H|-|K_bS_f-[$¦hQSRUYldeWOf_]Oq£[bMo

M§h¨i©«ªS¬UHvXU"¯®Mj

°@±³²´¶µ¸·u¹ºZ»´¶µ½¼«¾fºZ¿XÀ¶ÁÂµZÃ-¼i¼U¹pºZ¿ZÄ:ÅÇÆÁÈ^·v´¶µZµ½É(¾f¿X´¶¹Ê«¾ËÀÍÌiÃ-ÊiÅÎ£¹ºÏÈ^Ð@´¶ÄjÊ¿X´ÒÑUÐÔÓ ÄjµZÄ¾fºZÐO²ÖÕ Ì"É(ÈiÓ³È-×ÙØpºO¾fÊ¿½ÚÛÜ-Ý

ÞUßSàZáÞÞâã"àZäiß

(2)

ì$í"íMîhïpï

dem[¤bS_YÇ[qeci_gS]j[^d£wm@ðh_pwËd¶ñ"w[W@drTib7V T-]@¡[^qrdem@¡òQSYlxSd£w@xòVXTwËsSmO_m$T-b7WOxH_yñhbS_2o_mjw:]@deðSWOdeT-bT^V\W@xS_óOW@]OsS_fô

w:Tibhw:sS]@]O_bhwËkõ[bho¤TibÍ[.xSdec-xòoU_fc-]O_f_TVv_:öSðS]O_m@mOdeUdeWZk«÷

RUkUm@WO_¡¤mu[]@_³mOðM_pw:døñh_o$g«k[8mO_WvTVSqeTSw[qUm@Wj[W@_mpQ^YlxST-m@_(-[^qrsH_(w@xh[bSci_mvsSbhoU_f]uW@xS_³TSww:sH]O]O_fbhw:_AT^Vh_i_bUWOmp÷³ùT-W@x

_i_bUWOm[bhooS[W:[$mOWO]@shw:W@sS]O_2[^]O_m@ðh_pwËd¶ñM_poògUkò[gHmOWO]:[-w:WoS[^Wj[$WZkUðM_mp÷ARWj[W@d£wðS]OTiðh_f]OWOde_mQ"dZ÷_-÷c-qeT-gh[^q*w:T-bHmOWO]:[debUWOm

T-_f]A_i_bUWOm[bho!oS[^Wj[$m@WO]OsMw:WOsS]@_-Qv[]O_$oU_mjwË]Odegh_oògUkyñM]OmOWTi]joU_]8V T-]@¡ysSq£[_-QiYlxSdeqe_oUkUbh[¡¤dw;[öSdeT-¡¤mpQi_:öSðSq£[debSdebSc

WOxH_gh_fxh[UdrTi](T^V³_-_bUW@mpQh[^]O_c-dei_b!g«k2wf[sSm:[qedeWZk2]OsHqr_fmp÷

z Tibhw:sS]@]O_bhwËkÏw[^bògM_6oU_fmjw:]@drgM_poÙdrb7oUdøú_]@_bUWY\[kUmpQMdeWawf[b7gh_$deb«W@_]Oqe_p[UdebScyTi]aW@]OsS_yw:Tibhw:sS]@]O_bhwËk«÷yndebh[qeqek«Q

_:öSðS]@_mOm@drUdeWZk!demlc-de-_b¤gUkyñhbS_oU_fmjw:]@drðHWOdeT-bSm;TVvghTiWOx!mOW:[WOd£w[bMook«bM[¡2d£wðS]@T-ðM_]OW@de_mp÷

ìí"íMîMïpï xh[m;gh_f_bÏo_¡2TibSmOW@]j[W@_WOTygM_y[ybh[^WOsS]:[q*ci_bS_]:[qedep[W@deT-bòT^V[ûc-]@_p[W;-[]Ode_WZk¤TV\ü_W@]Od³ýl_fWOm$þÿ[^mlV Ti]

_:öh[¡¤ðSqe_³LAqeci_gS]j[^d£wQL z T-qeTisS]O_po3QL>deWOx2[^]jwl_ËöW@_bSm@drTibSmlü*_fWO]Od*ý8_WOm÷PZW³dem\[^qrm@T [gHqr_lW@T w[^ðSWOsS]@_w:T-bhwË_ðSWOmVX]OT-¡

T-W@xS_]8V T-]@¡[qedemO¡ym³[^mAK[¡¤¡[lq£[^bSc-sh[^c-_;T-] z L ü³ý.÷

tlxSdem]O_fðhTi]OWðS]@_mO_fb«W@m6[!w:Ti¡2ðSqe_W@_6o_mjw:]@deðSWOdeT-bT^V ì$í"íMîhïï m@kUb«W:[öÏ[^bho7mO_f¡[bUW@dwËmpQ"W@T-c-_fWOxS_].YldrW@xÏ[^bõ_Ëö«L

[¡¤ðSqe_AT^V

ìí"íMîhïï

m@ðh_w:døñw[W@deT-bògh[^mO_poT-bòü_W@]Od³ýl_W@mYldrW@xA]:w`öSWO_fbSmOdeT-bHmp÷;tlxSdemA]O_fðhTi]OW[qemOTy_ËöðHq[^debSmlxSTY

mOðM_pw:døñwf[WOdeTibSmAYl]@drW@WO_bdrb¤T-W@xS_]Aq£[^bSc-sh[^c-_ml[mAü_W@]Odvýl_W@mpQ"K[¡¤¡2[SQ z

L

ü³ý.Qh[^]O_Yl]@drW@WO_b!deb

ìí"íMîhïï

÷

(3)

èpé³ëè

! "$#&% é # %(' *)

ì í"íMîhïï +

¥H÷r| J3Twf[q*RUW:[WO_fm-,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ~

¥H÷¥ N[W:[ RWO]OsMw:WOsS]@_m2,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, 3

¥H÷4 `vi_bUWOm5,1,0,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, 3

¥H÷¦ z TibSmOW@]j[debUWOm6³RUWj[^WOd£w7löSdeT-¡¤m8,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, 9

¥H÷~ N;_m:w:]OdeðSW@drTib!TV ` -_bUWOm6(N;kUbh[¡¤d£w:löSdeT-¡2m;,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, 9

¥H÷3=<!_fWj[L?>lsHqr_fm@,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, A

BDCD

èêFEGF) ì í"íMîMïpï H

4H÷r| RUdecibh[W@sS]O_I,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, J

4H÷¥ J3Twf[q*RUW:[WO_fm-,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |-|

4H÷4LK([^]Od£[gHqr_fmM,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |p¥

4H÷¦ tv_]@¡2mN,1,0,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |p¥

4H÷~L8ödeTi¡2mO,0,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |P4

4H÷~H÷e| RWj[W@d£wQ8öSdrTi¡2m,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |P4

4H÷~H÷Ò¥ N;kUbh[^¡2d£w:löSdeT-¡¤m,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |¦

4H÷~H÷R4 <Í_Wj[¯LS>8sSqe_mT,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |p~

4H÷~H÷¦ R_WlTVUlöSdeT-¡¤mQ,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |PA

4H÷3 üv]@_mO_fb«W:[W@drTibV,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, |PA

W BD%YX ê

èZë-ç7F) ì$í"íMîhïï

!&Z

¦M÷r| N;kUbh[¡¤d£w:löSdeT-¡2moU_]Odei_poûV ]OTi¡[<!_fWj[LZ]OsHqr_fm\,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥-}

¦M÷¥ RUW@]OshwËWOsS]@_M,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥]4

¦M÷4 PZbUWO_f]OðS]@_Wj[^WOdeT-bòT^V^K([^]Od£[gHqr_fm_,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥]3

¦M÷¦ PZbUWO_f]OðS]@_Wj[^WOdeT-bòT^V J3Twf[q*RUW:[WO_fm`,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥]3

¦M÷~ `v-[^qesh[W@drTibyTV³tv_]O¡¤ma,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥]9

¦M÷3 `v-[^qesh[W@drTibyTV(RUW:[WOd£w7löSdeT-¡¤mb,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¥]A

¦M÷9 `v-[^qesh[W@drTibyTV(N;kUbh[¡¤dwclöSdeT-¡¤md,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4-}

¦M÷A=<!TSoU_fq`,1,0,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4-¥

+ e

E"ê Xgfihj%lk åûé-ë

e

E"è %Y çmj ç7)?héon. hlvé % qp % èéUr % èç$

ì.í"íMîhïpï +

~H÷r| ü_W@]Oduý8_WOm;deb

ì$í"íMîhïï

,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4-~

~H÷¥ ù[m@dwN;_:ñhbHdrW@deT-bSms,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4]3

~H÷¥H÷e|

z

üýa,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4]3

~H÷¥H÷Ò¥ ;]jw`uöW@_bSm@drTibSmV Ti]

z

ü³ý8,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4]9

~H÷4 z ü³ý YldeW@x-;]jw`öSWO_fbSmOdeT-bHmAdeb ìí"íMîhïï ,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4]A

~H÷4H÷e| `uöH[^¡2ðSqe_mt,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0,L4]A

~H÷4H÷Ò¥ K_bS_]:[qedep[W@drTib ,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¦(4

~H÷¦ N;demjw:sHmOmOdeTib`,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¦(3

(4)

u v2%Yi% éê hjwiêSèPx *)aç fc% ëyz(ë^êSèP{ ç ' é èè %( MèP| % é hê i} vê }&% ç W~

3H÷r|;qrci_gS]:[d£wü*_fWO]Odvýl_W@ma,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¦(A

3H÷¥ K[^¡2¡![AJ*[^bSc-sM[c-_,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ¦(J

3H÷4 z L üý ,.,.,/,.,.,/,.,.,0,1,0,.,/,.,.,.,/,.,.,/,.,0,.,/,.,.,/,.,.,.,/,.,0,1,0,.,.,/,.,.,/,.,.,0, ~-¥

n.

ë h

³çmj

+&+

1 æ

h

j

}

épê

f | C + ~

(5)

T aT7

tlxS_]@_!_:öSdrm@WOmy[!c-]@_p[W.-[]Ode_WZk7TVV Ti]O¡[^qvq[^bSc-sM[c-_fmT-]VXT-]O¡![qedemO¡ym8V T-]m@kUmOWO_f¡2mm@ðh_pwËd¶ñ"w[W@drTib*Qv_p[iwOx¸TVAW@xS_¡

[-oHoU]O_m@mOdebSc¤T-bS_T-]l¡¤T-]@_AðS]@T-ðM_]OW@dr_fmAqed-_awËT-bhw:sH]O]O_fbhw:kUQh¡¤TSoUsSq£[]@drWZkUQ-oU_fmjw:]@drðHWOdeT-b!TV³oS[W:[$mOW@]Oshw:W@sS]O_iQ"_Wjw^÷

_ wf[b¡2_fb«W@deT-b!WOxS_yYld£oU_.Vÿ[^¡2deqekyTV\ü_W@]Odlýl_W@mpQYlxSd£wOx7Y_]O_$ñh]@mOW@qrkdrbUW@_bhoU_po7W@TòoU_mjwË]Odegh_!w:T-bMw:sS]O]@_bhw:k

gM_WZY(_f_bõðH]OTSw:_m@mO_m÷RUT-¡¤_A_:öSWO_fbSmOdeT-bHmpQMdebõoUdøú_f]O_bUWaodr]@_pw:W@drTibSmpQMxh[i_gh__fbõðS]@TUdo_po¤WOT2W@xS_gh[^mOd£wü_WO]@d ý8_WOm÷

ü_WO]@d\ý8_WOm.xh[-_$gh_f_b_:öSWO_bMoU_poYldeW@xõw:T-qeTisS]O_po7W@T]i_bSmb-_bSmJ-¥yOQMdrbHmOWO_[-o7TVT-bSqek!gSq£[-wòW@T]-_fbSmpQdebòT-]:oU_]W@T

xh[^bhoUqe_aü_W@]Oduý8_WOmlT^Vum@¡[qeqSm@de_mpQH_-_fb2VXT-]Yldo_AmOkUm@WO_¡¤mp÷vtlxS_YlxSTiqr_oU_m:w:]OdeðSW@drTib!TV oH[Wj[.mOW@]OshwËWOsS]@_xh[bMoUqe_po

gUk2W@xS_mOkUm@WO_¡demlðMT-mOm@degSqe_-QSYlxS_fbòY(_.sSmO_ ü_W@]Odvýl_W@maYldeW@xÍ[^qec-_gS]:[d£wlm@ðh_w:døñw[W@deT-bSmbR>l_demJS|O÷iAbSTiWOxS_f]A]O_w:_bUW

_:öSWO_fbSmOdeT-b$¡[ioU_³W@Taü_WO]@dhýl_fWudebUWO_fc-]j[^WO_mvW@xS_(bHT-WOdeTibSm*T^V¡¤TSoUsSq£[]@drWZkA[^bho.xSde_]j[^]jw@xUk_ÒKsH_qJ¦O÷ m@sh[qHðS]OTiðh_]@WOde_m

TV(ü_W@]Od(ý8_WOmWO_fmOWAW@xS_$¡2debSde¡2[qS-[^qesS_[yðSq£[-wË_¡ysSmOWlxM[-_gh_ËV T-]@_6[$W@]j[bHmOdeWOdeT-bdrmñM]O_po"÷RUTi¡2_¡2Ti]O_awËT-¡2ðHqr_Ëö

w:TibhoUdeWOdeT-bHmlxh[-_gM__bòdebUWO]@Toshw:_po!gUk-_fbSmJ^¦]OQUgUk2oU_:ñMbSdebScybST-WlTibSqekydebSðSsSWA[^bho¤T-sSðSW@sSWA[]:w:mAgM_WZY__bòðHq[iw:_m

[bMo!WO]:[bSm@drW@deT-bSmQSgSsSW[qemOTyW@_mOW@m[bho¤debSxSdegSdeWOTi]OmA[^]jw:m8V T-]lW@_mOW@drbHc2mOðM_pw:d£[^q wËT-bhoUdeW@drTibSmp÷:;ma[.V Ti]O¡[^qedrm@¡ oU_f]Ode-_po

V ]@T-¡Çüv]O_fWO]Od*ý8_WOmQSY_l¡2_bUW@drTib W@xS_ z L ü³ý>q£[^bSc-sh[^c-_/Òùshw@xSmJi¥OQ-YlxHdw@xydemxS_p[Udeqrk.gh[m@_poyTib2[qec-_gH]j[d£wðM_WO]@d

bS_W@mpQMdebUWO_ci]j[W@debSc bHT-WOdeTibSm(T^V³T-g]:_pwËWZLZgh[m@_poò[mlY_qeq*[mlm@kUbhw@xS]OTibSdep[W@drTib!gh_WZY__bT-g]:_pwËWOmp÷

;bST-W@xS_]$Yldo_$Vÿ[¡¤drqek¤TVlV Ti]O¡[^qvq[^bSc-sM[c-_fmdemc-de-_fbg«k7WOxH_2ðS]@TwË_mOm2[^qrci_gS]:[SQv[m.V T-]_ËöH[^¡2ðSqe_$WOxS_ z ü

q£[bScish[ci_bù[_fWJ-}mOQHmOðM_pw:døV kUdebScymOkUmOW@_¡2mlgUk¤WOxS_de];gh_xM[«deTisS]p÷üv]O_po_:ñhbS_poT-ðM_]:[WOTi]Om[]O_.ðS]OTUd£oU_po¤WOTyðH]OTSoUshw:_

bS_YÂgM_xh[UdeT-sH]OmV ]@T-¡ÇðS]@_UdeT-sSm;T-bS_mQh[^mV T-]_:öh[¡¤ðSqe_AT-ðM_]:[WOTi]Om8V T-]lðh[^]j[^qrqe_qedemO¡7QmO_¢-sH_bUWOd£[qedeWZkyT-]lbSTibòoU_WO_f]ZL

¡2debSdem@¡õ÷SYl[kU÷*tlxS_lðM[]j[^qeqr_fqrdem@¡oU_:ñhbS_o2gUk/ z ü¸w:T-]@]O_m@ðhTibhoUmlW@TWOxS_ldebUWO_f]Oqe_p[UdebSchQdZ÷_-÷WZY(T._-_bUW@mpQFl^QTSww:sS]

deb!ðh[]:[qeqe_qhdøVvWOxS_]@_ demWOxS_V T-qeqeTYldebScwOxHT-d£w:_]6:$Twfw:sS]Om;ñh]@mOW[bhoûWOxS_bGlTSww:sS]@mpQMT-]Q;TSww:sH]OmlñM]OmOW[bho¤W@xS_bM÷

>xHdrqe_³ü_WO]@dý8_WOm³[^bho ü ]OTSw:_m@m ;qrci_gS]:[AoU_m:w:]OdegM_-QUYlxh[^WuY_lw[byw[qeqójw:Ti¡2ðSsSW:[W@drTibSôAoU_W:[deqem*T^VxSTY_ËöH[iw:WOqek

TSww:sS]@m³WOxH_(ðh[^]j[^qrqe_qedemO¡7Q:WOxS_AK.[¡2¡2[ q[^bSc-sM[c-_7ù[blJ]4mSdem [^WOW:[-w@xS_po.WOT;WOxS_loU_m:w:]OdeðSW@drTib T^V[lqeTic-d£w[qiðh[]:[qeqe_qedemO¡õQ

YldeWOx¤bST¡[^WOW@_]³TVu[V sS]@WOxS_f](de¡2ðHqr_f¡2_bUWj[^WOdeT-b÷FÂK[¡¤¡[ðS]@T-c-]:[¡Çw:TibSmOdemOW@mldeb2[w:T-qeqe_pw:W@deT-b2T^V*]O_p[iw:WOdeTibSm\[^gSqe_

WOTyTSwwËsS]Adebò[bUkyT-]:oU_][bho¤[WA[bUk¤WOde¡2_-Qideb2W@xh[WlYl[k2[W@WO_bUWOdeTib2VXTwËsSmO_m;T-bSqekyTibðMT-m@mOdegSqe__-_fb«W@mATSww:sH]OdebScydeb

WOxH_mOkUmOW@_¡õ÷vtlxHdrmq£[bScish[ci_Ademlðh[^]OWOd£w:sHq[^]OqekyY_qeq*[-oS[^ðSWO_poûV Ti]lmOðM_pw:døñw[^WOdeT-bTVu]@_p[-wËWOde-_m@kUmOWO_f¡2mp÷

PZb$WOxSdemvmOxHT-]OWqrdem@WuT^V_ËöH[^¡2ðSqe_mvT^VSV T-]@¡[^q-q£[bScish[ci_mpQ^Y(_lTigSmO_]@-_lW@xh[W³¡¤T-m@W*TV"WOxH_¡ [^]O_lgh[^mO_po$Tib2[qec-_gH]j[d£w

mOðM_pw:døñwf[WOdeTibSmpQH_:öSWO]O_f¡2_qek$sSmO_:VXsSqhW@T oU_m:w:]OdegM_oS[W:[m@WO]OsMw:WOsS]@_xh[bhoqr_o$g«kym@kUmOWO_f¡2mp÷ z T-bMw:sS]O]@_bhw:k¤dem³ðS]O_fmO_bUWldeb

-[]@deT-sSmV Ti]O¡¤m([m;WOxS_debUWO_]@qr_[«debScyYldeW@x2ðS]@_poU_:ñhbH_po7T-ðM_]j[^WOTi]OmlVXT-]l[qec-_gH]j[$TV³ðS]@TSw:_mOm@_mpQ3T-]lðh[^]j[qeqe_qedemO¡Çcide-_b

gUk ü_W@]Odaý8_WOmQT-]$qrTic-d£w[^q(ðh[^]j[^qrqe_qedemO¡ T^VK[^¡2¡[ûðS]OTic-]:[¡2m÷5<!Ti]O_Ti_]pQ¡2TSoUsSq£[]@deWZkõ[bho¸Tig]:_pw:W LÿTi]Ode_bUWO_po

V _p[^WOsS]@_ma[^]O_ [^qemOTyw:T-bUWO]@T-qeqe_po¤gUky¡2T-m@W(q£[^bSc-sh[^c-_m÷

tlxS_V T-]@¡[qedemO¡ðS]O_fmO_bUWO_o7xS_]O_iQ ìí"íMîhïï QHWO_bMoUmWOTygM_ [$V Ti]O¡![qedemO¡q£[^]Oc-_._bST-sHc-xòW@T2w[ðSW@sS]O_.V _p[^WOsS]@_mTV

T-W@xS_]q£[bScish[ci_mpQHdebòT-]:oU_]AW@T2T^ú_][$ci_bS_]:[qedep[W@drTibòTV³TiWOxS_]8V T-]@¡[^q"q[^bSc-sM[c-_fmp÷ bS_ T^V³WOxS_$¡2TiWOde-[W@drTibSm³W@T

xh[i_6[ûc-_bS_f]j[qedep[^WOdeT-bòq£[^bSc-sh[^c-_-QHdemAWOxM[W[2w:Ti¡2¡¤T-byVXT-]O¡![qedemO¡,demAsSm@_:V sSq V T-];WOxS_$mOW@shoUkòT^V(ðS]OTiðh_f]OWOde_m.TV³WOxS_

w[^ðSWOsS]@_po¤q£[bScish[ci_mpQU[mY(_fqrq"[mWOxH_aw:Ti¡2ðh[^]OdemOTibygh_WZY__b!ci_bS_]:[qede_poyq£[^bSc-sh[^c-_mQ-_i÷cM÷vmO__døV*¡2TSoU_fqrmV Ti]\ü_W@]Od

ýl_fWAmOðM_pw:døñwf[WOdeTibSma[^]O__p¢isSde-[qe_bUWWOTy¡2TSoU_fqrmV Ti](TiWOxS_];mOðM_pw:døñw[^WOdeT-b!q£[bHc-sh[^c-_m÷

;bST-W@xS_]w:]OsMw:d£[qvðhTideb«WQ"[-oSoU]@_mOm@_po7gUk ì í"íMîhïï Qhw:Tibhw:_]@bSm W@xS_yoU_mjwË]OdeðSWOdeTibõT^VwËT-bhw:sH]O]O_fbhw:kU÷ z T-bMw:sS]O]@_bhw:k

demlc-_bH_]j[^qrqek¤ðS]O_po_:ñhbS_po3Q

ì$í"íMîhïï

[qeqeTYlm³sSmO_f]ZLOoU_:ñhbS_oõw:Tibhw:sS]@]O_bMw:k«Q3mOTyWOxM[Wdrbò[$cidri_b2m@kUmOWO_f¡k-T-s!w[b!xh[i_

debUWO_]@qr_[«debScMQSTi]wËT-bhw:sH]O]O_fbhw:k7TV\ü_W@]Od³ýl_W@mpQT-];mOT-¡¤_T-WOxH_]!óOWO]@sS_ôòw:Tibhw:sS]@]O_bhwËk«Q"Ti]_-_b7[y¡2døöSdebSc$TV(W@xS_mO_

ðS]@_UdrTisSmawËT-bhw:sH]O]O_fbhw:de_mp÷

(6)

nHT-qeqeTYldebScWOxS_$qeT-c-d£w8TV([yci_bS_]:[qedep[W@drTib!q[^bSc-sM[c-_iQUY(_xM[-_ðS]OTUd£oU_po YldeWOx¤ñh]Om@WT-]jo_]lV Ti]O¡ysSq£[^_

[qeqeTYldebSchQ^drb!W@xh[WlYl[k«QiWOxH_mOðM_pw:døñw[^WOdeT-b!T^V [$c-]@_p[Wl-[^]Ode_WZk¤TVu¡¤T-]@_AT-]lqe_m@mAw:T-¡¤ðSqe_:ö2ðS]@T-ðM_]OW@dr_fmp÷

ìí"íMîMïpï

mOW:[bhomlV Ti] ;qrci_gS]:[d£w

z

T-bhw:sH]O]O_fb«W`v-_fb«W@mV T-]ARk«m@WO_¡RUðM_pw:døñw[^WOdeT-bQh[ml[$mOkUm@WO_¡ demlmOðM_pw:døñh_po!gUk

WOxH_a¡¤_p[byT^V [^qrci_gS]:[d£wlm@ðh_pwËd¶ñ"w[W@drTibSmV Ti]\oS[^Wj[.mOW@]Oshw:W@sS]O_fmpQ"[bho¤gUky_i_bUWOmpQMw@xh[bScidebScWOxH_am@Wj[^WO_TVvWOxS_mOkUm@WO_¡7÷

`vi_bUWOm³[]@_\o_mjw:]@degh_po$deb [;oUT-sHgSqe_(Yl[kD6SñM]OmOW@qek_-_fb«W@m³[]O_lw:TibSmOd£oU_]@_poy[m³[8mOWj[^WOd£woS[W:[A[bMoWOxUsSm³[]@_\o_:ñhbS_po

YldeWOxò[qeci_gS]j[^d£wAm@ðh_w:døñw[W@deT-bSm$þÿ[^mAm@Wj[bMoS[]:oòoS[W:[$mOW@]Oshw:W@sS]O_fmQmO_w:T-bhoqrk!_i_bUWOm[]O_.mO__b[moUkUbh[¡¤d£wl_bUWOdeW@dr_fm

YlxSTimO_$gh_xM[«deTisS]wOxM[bSci_mWOxS_$mOW:[WO_yT^V(WOxH_ m@ðh_pwËd¶ñM_po7mOkUmOW@_¡õ÷.xS_bò_i_bUWOm [^]O_$mO__fb½[maoH[Wj[HQ"WOxH_kõw[^bògh_

w:Ti¡2ðMT-sSbho$YldeW@xyT-ðM_]j[^WOT-]@mldebyT-]jo_]lWOTðH]OTSoUshw:_¡¤T-]O_AwËT-¡2ðHqr_Ëö6_i_bUWOm6vY(_w[b!oU_:ñhbS_[^byT-ðM_]j[^WOT-]Awf[qeqe_pob¡]¡HQ

V Ti]A_:öh[¡¤ðSqe_-QMWOxh[^Wa[^qrqeTYlmlW@xS_ xM[bhoUqedebSc¤TV([b7_-_fb«WQ"YlxSd£w@xò]O_fðS]O_m@_bUWOmy[yðMT-m@mOdegSqek!q[^]Oci_ m@_WTV(TiWOxS_]_i_bUWOm

TSww:sS]@]OdebSc![qeq"debðM[]j[^qeqr_fqÿ÷v`vi_bUWOmawËT-bSm@do_]O_po7[mAoH[Wj[ywf[bò[qemOTyxM[-_WOxS_fdr]lm@Wj[^WOd£wðS]@T-ðM_]OW@dr_fmagM_oU_m:w:]OdegM_poògUk

mOðM_pw:d£[^q*[öSdeT-¡2mQw[qeqe_poo¢*£S¤¥£§¦j¨:©«ª¥¦j¬y/®÷i>xH_b2_i_bUWOml[]@_AmO_f_bò[mloUkUbh[¡¤dw_bUWOdeW@dr_fm\w@xh[^bSc-debScW@xS_Am@Wj[^WO_AT^V*WOxS_

mOkUm@WO_¡7Q"WOxS_fdr]gM_xh[UdeT-sS];demwf[ðSW@sS]O_po7gUkòm@ðh_w:d£[q([¯ödeTi¡2mpQl¯.°±&¤$¦j¨$©.ª¦j¬y/®Q"[qeqeTYldebScyWOxS_yoU_m:w:]OdeðSW@deT-b7YldrW@x

[qeq"]@_p¢isSde]O_poòo_Wj[^drqemTV³WOxH_de]lgh_xM[«deTisS]p÷

RU_w:WOdeT-b ¥ðS]@_mO_bUW@mõ[b>debUVXT-]O¡![qT-_]@Udr_fYTV ì$í"íMîhïï ÷ÂtlxH_ògh[m@d£wõw:Tibhw:_ðHWOmòsSbMoU_]OqekUdebSc ì$í"íMîhïpï []@_

ðS]@_mO_bUW@_poy[mvY_qeq«[m_:öh[¡¤ðSqe_m"TVhW@xS_³Yl[kWOxS_k[^]O_sSmO_po.WOT;mOðM_pw:døV kmOkUm@WO_¡¤mp÷vRU_pw:W@drTib_48c-de-_fm*WOxH_³YlxST-qe_³m@kUb«W:[ö

TV

ì í"íMîMïpï

÷*tlxHdrmmO_w:WOdeT-bòw:TibSmOdem@WOmldebyV Ti]O¡![qeqeko_:ñhbSdebSc

ì í"íMîMïpï

ðS]O_m@_bUWj[^WOdeT-bSmQMYlxSd£wOx![]@_AWOxH_a¡¤_p[bysHmO_po¤deb

ì$í"íMîhïpï

WOT¤mOðM_pw:døV kòm@kUmOWO_f¡2mp÷R_pw:WOdeTibõ¦¤drmoU_oUd£w[W@_poòW@T2W@xS_ m@_¡[^bUWOd£w:ma[^WOW:[-w@xS_poWOT

ì$í"íMîhïpï

ðS]O_m@_bUWj[^WOdeT-bSmQ

deWlc-de-_fmlWOxS__-[^qrsM[WOdeTib2TV³[qeq"mOkUbUWj[iw:WOd£w[^q*_qe_¡¤_bUWOmA[^bho!oU_:ñhbS_fmAYlxSd£w@x!mOWO]@shw:W@sS]O_m$[]O_w:TibSmOd£oU_f]O_po7[ml¡¤To_qemp÷

RU_pwËWOdeT-b!~;V TSw:sSm@_mlT-by_:öh[^¡2ðSqe_mvTV

ì.í"íMîhïpï

ðS]O_fmO_bUWj[^WOdeT-bHmp÷³PZWdrm_bUWOde]O_qekygh[^mO_poûT-byW@xS_aw[^mO_;TV

z

T-qeT-sS]@_po2ü_W@]Od

ýl_fWOmþz ü³ýQ;[bho¤W@xS_Y\[kyxSTY z ü³ý m@ðh_pwËd¶ñ"w[W@drTibSma[^]O_WO]:[bSm V T-]@¡2_po¤debUWOT ì í"íMîMïpï ðS]@_mO_bUW:[WOdeTibSmp÷RU_pw:W@drTib3

c-dei_mAW@xS_ W@]j[^bSmZV Ti]O¡![WOdeTibdebUWOT ì$í"íMîhïï ðH]O_m@_bUWj[W@deT-bSmTVl[qec-_gH]j[d£wðM_W@]Od³bS_fWOmpQK[¡¤¡[ðS]@T-ci]j[¡¤mA[bho z L

ü³ý mOðM_pw:døñwf[WOdeTibSmp÷ndrbM[qeqek«Q"m@_pw:W@drTib²9ò_bMoUmyWOxSdem$]O_ðMT-]@WyYldeWOx½m@T-¡¤_2w:T-bhwËqrsMoUdebScò]O_f¡[]Um6[^ghTisSW ì$í"íMîhïï

w@xh[]:[-w:W@_]Odem@WOd£w:mp÷

(7)

´ µµ 7¶ · ¸ ¹\¹»º\¼q¼

ì$í"íMîhïpï m@ðh_pwËd¶ñM_mmOkUmOW@_¡2mlgUko_mjw:]@degSdebScyWOxS_fdr]AoH[Wj[$m@WO]@shw:WOsH]O_mQ*[bhoûWOxS_$wOxM[bSci_mAT^VuWOxH_de]lmOWj[^WO_-÷

N[W:[RUWO]@shw:WOsH]O_m[]O_lgM[mOd£w[^qeqrk$[qec-_gH]j[d£wm@ðh_pwËd¶ñ"w[W@drTibSmp÷ z xh[bHc-_mTV"WOxS_;mOkUmOW@_¡0[^]O_ao_:ñhbS_poûgUk W@xS_A¡¤_p[b

TV_½m¾½±Y£{®Qu[^b_-_fb«W.gh_debSc]O_m@ðhTibSmOdegSqe_yVXT-][òw@xh[bHc-_yTSww:sS]@]OdebScòdeb½[¤mOW:[W@_2TVlWOxH_2mOkUm@WO_¡7÷2`v-_fb«W@m6[iw:WOsM[qeqek

w@xh[bHc-_W@xS_c-qeTigh[q"m@Wj[W@_TVvWOxS_.mOkUmOW@_¡gUk¡¤TSoUdøV kUdrbHc_¿¬P¨¤y¿D®£S¤¥£S½À®QUdZ÷_i÷³ðh[^]OWOm;TV³WOxH_c-qeT-gM[qMmOWj[^WO_-÷ ðM_]:[WOTi]Om

YT-]?UdebSc![gMT-sSW;_-_bUW@ma_fbh[gSqe_$WOxS_$Yl]OdeW@drbHcyTV\w:Ti¡2ðSqe_:ö!_-_fb«W@mp÷`vi_bUWOm[]@_6o_:ñhbS_pogUkòWOxH_ w:T-bHmOWO]:[debUWOmWOxH_k

xh[i_aW@T2w@xS_pw"Qh[bMo2gUkyW@xS_de]AgM_xh[UdeT-]QUdÿ÷_-÷gUk2W@xS_Yl[kyWOxS_k¤¡2TSoUdøV k$WOxS_m@Wj[W@_TVvWOxS_.mOkUmOW@_¡õ÷

tlxSdemwOxM[ðSW@_]drbV T-]@¡[qeqek$ðS]O_m@_bUWOm$WOxS_$bSTiWOdeT-bSm;TV³qeTSw[qvmOW:[W@_mpQ*oH[Wj[ûmOW@]Oshw:W@sS]O_fm6[^bhoò_f-_bUWOm÷PZWWOxS_boU_:L

mjwË]Odegh_fmlWOxS_RUW:[WOd£w:8ödeTi¡2mpQ^_:öSðS]O_m@mOdebSc2w:TibSmOW@]j[^drbUW@m\[^ghTisSW³mOTi]OW@mA[bho$Tiðh_]:[W@T-]OmÁhN;kUbh[¡¤d£w³[öSdeT-¡¤mpQ-oU_fmjw:]@drgHdrbHc

WOxH_(gM_xh[UdeT-]TVh_i_bUWOmÁ«[^bho/<!_W:[LZ]OsSqe_mQ«[8¡2_pw@xh[^bSdemO¡>W@T[-T-d£o;WOxH_³Yl]OdeWOdebSc;TVhq£[^]Oc-_mO_W@muT^VN;kUbh[¡¤dwÂlöSdeT-¡¤mp÷

Ã2ÄPÅ ÆÈÇÉQÊ$Ë²ÌbÍUÊ.ÍUÎ.Ï

_lYl[bUW³WOT._:öSðS]O_m@mlghTiWOxyW@xS_aoS[^Wj[m@WO]@shw:WOsH]O_xh[^bhoUqe_po$gUky[mOkUmOW@_¡0[^bho$WOxS_w@xh[bSci_mTV"mOWj[^WO_mlTSwwËsS]O]@drbHc deby[

mOkUm@WO_¡0osS]OdebScdeW@m³qed¶VX_-÷

z

xM[bSci_m³TV*m@Wj[^WO_ml[]@_A_:öSðSq£[debS_oTibyWOxS_;gh[m@drmTVuJ"TSw[^qhRUW:[WO_fmpQUWOxM[W([^]O_Am@¡[^qrqe_]ðh[]@WOm

TV³W@xS_YlxST-qe_c-qeT-gM[qMmOWj[^WO_T^V [.mOkUmOW@_¡õ÷vtlxH_mO_WlT^V(J"TSw[q*RWj[W@_mA]@_Ðh_pwËWOmWOxS_KqeTigh[qMmOW:[WO_.TVuW@xS_m@k«m@WO_¡7÷

e

E"ê Xgf^h{%!DÑxNÒÓ ½Ô®°®£?½m8¦®b®ÕFÖ×y¦¾¦j×]½×Ø¦±oÙU¾¥½Ú¿Û¬¨¤y¿i®£S¤¥£S½À®Ü-ÝcÞßàáQÝUÞßâyáQÝUÞÀß?ãYáäÝUÞÀß?åYáQÝUÞßæèç ÒÓ ½Ôé¿Û¬]Ö¤y¿

®£S¤¥£S½¬ê1£Ó ½$®°®£S½ma¦ë®/é¥¦x¾¥½m±5Ö°£Ó ½_®m½À£«¬Sê_¤y¿¿i¿Û¬¨¤¿i®£?¤£?½®çìä¤]¨ Ó ¿¬P¨¤¿®£?¤£?½ Ó ¤¥®Ô¤Ø×]¤£?¤®P¬íÀ£0¤±&×ØîU¦¿¿Â£S¤¥ïy½

¤¾¥¤y¿ðÕF½1¦±V¤±g¤®®P¬¨¦j¤¥£S½×¤¿Ré]½Öí¤çño½1®m½½«£Ó ¤£UÝUÞÀßà¥ÝUÞÀßâ]ÝUÞÀßæ-¤yí½$¬ê.£Ó ½«®P¬í£UòDyß_óðê¬í.±&¤£ÕYí¤y¿±FÕYbÖ½mí®{ôá

î Ó ¦¿Û½:ÝUÞÀß?ãFÝcÞß?å2¤í½/¬ê7£ Ó ½7®P¬yí£õõöQó÷êP¬í.Ö¬P¬y¿Û½¤±Y®{ô]ç7ìä¤]¨ Óbø ¬P¨¤¿l¢*£S¤¥£S½ Ó ¤®/¦£{®0¬îU±o¾¤¿÷Õù½Àá ¤®.ú(ûê¬í ÝcÞßà_¬yí

ßüýlþQêP¬yíÝUÞß?ãFç

10

8 True

False 5

System

Lst5 Lst2 Lst1

Lst3

Lst4

ndec-sH]O_¥S÷e|]6vJ"TSw[^q*RUWj[^WO_m;TV³RUkUmOWO_f¡

ÿm± ì$í"íMîhïpï £Ó

¦®®P½À£ ¬êQ¿¬P¨¤y¿F®£?¤£?½®Q¦®0×è½Ùc±&½×2¤®0¤1®F½¨¦j¤y¿®P½À£já ¨¤¿¿½×/áiî

Ó

½mí½ ¦®£

Ó

½7®P½£ ¬Sê0¤¾¤¦x¿Û¤]Öm¿Û½

×]¤¥£S¤Ô®P¬íÀ£j®ç ÿm±o£

Ó

¦® ½Àªy¤y l¿Û½Àá î ½

Ó

¤¾½Ü

¥ÝUÞÀßà¥ÝUÞÀßâ]ÝUÞÀßæ

¥ÝUÞÀß?ã(ÝUÞÀß?å

(8)

N[W:[òRUWO]@shw:W@sS]O_m2[^]O_2oU_fmjw:]@drgM_po¸YldeWOxsSm@sh[q:Aqeci_gS]j[^d£wyRUðh_w:døñw[W@deT-bSmQvdÿ÷_-÷!oS[^Wj[!m@T-]OW@mpQvTiðh_]:[W@drTibSmTibmOT-]@WOm

[bMowËT-bhoUdeW@drTibSmp÷

e E"ê

Xgf^h{%!DÑ!sÒÓ

½Q¤y¿Ré]½PÖmí¤y¦j¨c®ù½¨m¦Ù ¨¤£¦j¬y±-¬ê±l¤£Õ(í¤¿Y±FÕYbÖ½míQ¤±l× Ö¬¬¿Û½¤y±Y®ä¦ë® é¦¾½±2Öm°/¤7®P½£U¬êc®m¬yí£{®ä±&¤y_½À®á

\¤y±&×oÖ°2¤_®m½À£"![¬Sê ¬F½mí¤£¦j¬y±Y® ¬¾½í7£

Ó

½À®m½«®P¬í£{®ç

#¥òDyßPõõö$

! #&%èþPüõ$6 ' òDßP

(

üþ*)b6 òDyß ' òDßP

Þý,+-+.6 òDyß ' òDßP

. 6 òDyßòDyß/' òDßP

ßüýlþ/6 ' õõö

0 YöÞPþ$6 ' õõö

1 6 mõõö ' õõö

3 6 mõõö ' õõö$

Ã2Ä4 576_Î98$Í Ï

`vi_bUWOmy[]O_2[^qemOTòoU_m:w:]OdegM_pogUk;qrci_gS]:[d£wyRUðM_pw:døñw[^WOdeT-bSm÷2_$WOxH_bxh[-_y_f-_bUWm@T-]OW@mpQvTiðh_]:[W@drTibSmTibõ_i_bUWOm

[bMo2W@xS_ðMT-m@mOdegSdeqedrWZk$WOTyYl]@deWO_w:T-bMoUdeWOdeT-bSmlTi_]l_i_bUWOmp÷

<!Ti]O_Ti_]pQUdeW³dem³ðMT-m@mOdegSqe_AW@T Yl]@deWO_a[^bUk6w:Ti¡ygSdebh[W@deT-bT^V*_-_bUW@mA[bho$W@T6oU_fmjw:]@drgM_WOxS_oU_fWj[deqem³T^V*WOxS_;gh_xM[«deTi]

TV³W@xSdemAw:T-¡ygSdebh[^WOdeT-b÷

e

E"ê Xgf^h{%!DÑ sÒÓ ½«®À°®£?½ ¬ê/½ª]¤:&¿½<;èçú-¨ Ó ¤y±Yé]½®/¦£{®Q®£?¤£?½.ÕY±&×]½mí.£ Ó ½/½>=Q½¨£Q¬ê ½m¾½±Y£iþ*?èàá ¬í.ÕY±&×è½í ½m¾½±Y£

þ?âáQ¬í$ÕY±&×]½mí/£Ó ½b¨¬y F¬ÕY±&×½m¾½±Y£ ¡è¡Uþþ*?èàþ?âmç$ì ¾¥½m±Y£ þ?èà-¨ Ó ¤±Yé]½À® £Ó ½$¿¬P¨¤¿Â®£S¤¥£S½À®QÝUÞßà¤±&×$ÝUÞÀßâ£?¬b£Ó ½

±&½mî;¾¥¤y¿ðÕF½®.ú]úêP¬yí£

Ó

½iÙcí®£c¬y±&½/¤y±&×A@iêP¬í £Ó

½7®P½¨¬y±&×b¬±l½ç7ì ¾½±ù£^þ*? â ¨ Ó

¤±Yé]½® ¬y±F¿ð°.ÝUÞÀß ã £?¬1£

Ó

½.¾¤¿÷Õù½ 0 YöÞþ]ç

ÒÓ

½$¨¬:ù¬yÕY±&×o½¾½±ù£ ¡]¡Uþþ*? à þ? â $¨

Ó

¤±Yé]½À®/£

Ó

½.£

Ó

í½½.¿Û¬¨¤¿l®£S¤¥£S½À®.®¦ ÕY¿£S¤y±&½¬Õè®¿ð°ç

10 8

True

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

//(ev1,ev2)

System

ev1

ev2

System 10 8

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

False

System 5 ^False

Lst1 Lst2

Lst3

Lst5 Lst4

False 7

11

System

True

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

11 7

n*decisS]O_¥S÷Ò¥*6 z xh[^bSc-_fmlTV(RUWj[^WO_mlsHbhoU_];_-_bUW@m

PZb ì í"íMîhïï WOxS__i_bUWlmOTi]OWOm[]@_o_:ñhbS_po¤deb[$m@ðh_w:d£[q*m@_WpQMw[qeqe_poCBD ÷ ðh_f]j[W@deT-bSm;T-_]_-_fb«W@ma[^]O_ðh[]@WlTV

WOxH_ m@_WE!yQ"[m;deWAdemWOxS_yw[m@_VXT-]ATiðh_f]j[W@deT-bSmT-_f]oH[Wj[H÷AtlxH_ _i_bUWTV(TisS]_:öh[¡2ðHqr_[^]O_y[qeq*T^V(WOxS_$mj[^¡2_m@T-]@W

(9)

T-ðM_]:[WOdeTibTi_]lWOxH_a_f-_bUWOm;WOxh[^WlWj[y-_m;WZY(T$_-_fb«W@mAT^VuWZkUðh_$þ*?y[^bho¤]O_W@sS]ObSm[.bS_Y _-_fb«W;TVvWZk«ðM_ þ?S÷

BD #¥þ?

! #Èþ? à 6 '8þ?

þ? â 6 '8þ?

¡è¡b6 þ*?7þ*? '8þ?

G

%YX êSéIH

!DÑ÷W[ÒÓ

½b®P½À£«¬Sê2¬F½í¤£¦j¬±Y®<! b¤°¤¿®m¬G¨¬±Y£?¤¦x±5¬F½í¤£¦j¬±Y®-¬y¾¥½mí2×]¤¥£S¤Ú®£§ímÕù¨À£Õ(í½®b¤±&×G½¾½m±Y£j®b®¦J

$Õ(¿£S¤y±&½¬Õè®¿ð°ç

Ã2ÄK LTÇM8oÏÍ"UÊONI8 ÍUÏQP ÌbÍUÊ.ÍNPÉSRUTVNPÇMW Ï

¢F£?¤£¦j¨.©.ª¦j¬y/®a[^]O_$sSmO_oòW@T2_:öSðS]@_mOmm@Wj[^WOd£w wËT-bSm@WO]j[^deb«W@mTV(W@xS_ m@kUmOWO_f¡õQMWOxS_fkòY(Ti]?!T-b_deWOxS_]oS[^Wj[ûmOWO]@shw:W@sS]O_m

T-]l_f-_bUWOmQS_-÷cM÷*W@xS_

.

T-ðM_]:[WOTi]l¡ysSmOWxh[i_a}$[mlbS_sHWO]j[^q*_qe_¡¤_bUWpQiT-]lW@xS_/¡]¡.T-ðM_]j[^WOT-]l¡ysHmOW³gM_w:T-¡¤¡ysSWj[^WOde-_-÷

RUW:[W@dw[öSdeT-¡¤mu[^]O_ñh]@mOWT-]jo_]vV Ti]O¡ysSq£[F6U½XmÕù¤¥£§¦{¬±&¤y¿¤¥£S¬y/®QY&í½×y¦j¨¤£?½®QTi]([w:T-¡ygSdebh[^WOdeT-b.TV"WOxS_m@_AWZYTYldrW@x

WOxH_qeT-c-d£w[^qwËT-bSbS_w:WOTi]Om

1

ZD[i]\ 2 3 ÷

e E"ê Xgf^h{%!DÑ+ ÒÓ ½/½Àªy¤y l¿Û½À®<;]ç^;2¤y±&×M;èç^_bé¦¾½/×]¤¥£S¤1®P¬íÀ£j®á ½¾½m±Y£ ®P¬yí£j®0¤y±&×2¬`ù½mí¤¥£§¦{¬±Y®/¬¾½í.£Ó ½À®P½7®P¬í£{®á^î ½

é¦¾¥½1±&¬yî;®P¬b½ ¨¬±ù®£í¤y¦±Y£{®.£Ó ¤£î ½/¨¤±GîUí¦£?½7¦± ì$í"íMîhïï ç

acb #

1

þed¤þf/üþ)Sþ%]þüõ?m

(

üþ*)Hþ§Þýg+h+þ§òD" òiò

.

%èþPüõ òiP,,P,

1

þjiQüýlþ"k!1(öxÞPþèiQüýlþ

3

E lP,,P,

¡]¡þ§þ?

à

þ*?

â

"d¡è¡Uþþ*?

â

þ?

à

mP,,P,

{ _]O_

1

þed¤þef1üþ*)Hþe%èþPüõ"dem"WOxH_³ðS]O_oUd£w[W@_ld¤þef/üþ)Hþe%èþPüõw:T-¡ygSdebS_olYldeWOxWOxH_(w:T-bHbS_pw:W@T-]

1 Á (

üþ)Hþ§Þý,+h+¯þ§òD?m

òdrmA[^b2_p¢ish[^WOdeT-bM[q*[W@T-¡ÇW@xh[WAwËT-bSm@WO]j[^deb«W@mAW@xS_

(

üþ)yT-ðM_]:[WOTi]lWOTygM_WOxH_adebU-_f]OmO_.TV Þýg+h+;T-ðM_]j[^WOT-]÷

Ã2Än @Î.ÏiÉ N*ooÍNPÇp8 ÇDq#576_Î98 ÍUÏQPrtsV8-ÊDWuNPÉvRUTwNPÇpW Ï

RUW:[WOd£w$[öSdeT-¡¤m\[^ghTisSW_-_bUW@mpQ_:öSðSq£[debòmOTi¡2_w:TibSmOW@]j[debUWOm$[bò_i_bUWxh[mWOT!]@_mOðM_pw:WYlxH_bdeWAdemAm@__b½[m[¤oS[W:[

mOW@]OshwËWOsS]@_-QgSsSWym@Wj[W@d£wò[öSdeT-¡¤m oUT-bWy_ËöðHq[^deb½xSTY _:öh[-w:W@qek½WOxH_ò_-_fb«W¤gh_fxh[-_m¤WOT½w@xh[^bSc-_òW@xS_òm@Wj[W@_òTVWOxS_

mOkUm@WO_¡7÷tuT2oTW@xh[W;Y(_$xh[i_deb«W@]OTSoUshwË_poD61¯0°±&¤y ¦j¨1©.ª¦j¬1®QMWOxh[^Wa_ËöðHq[^debòxSTYÂWOxH_ m@Wj[W@_ T^V(WOxH_ m@k«m@WO_¡ dem

w@xh[bHc-_po!YlxH_bò[b!_-_fb«WlTSwwËsS]Om÷\N;kUbh[^¡2d£wU8öSdrTi¡2ml[]@_a¡![-oU_;TV:¢F£S¤¥£S½yxV¬P×y¦Ù ¨¤£¦j¬y±wz¬í$ÕY¿Û¤þÿw@xh[^bSc-debSc$WOxS_

-[qesS_[.qeTwf[q"mOW:[W@_PA[^bho¤TV ¢*£S¤¥£§¦j¨7©.ª¦j¬y/®÷

e

E"ê Xgf^h{%!DÑu ìUªy¤y l¿Û½p;]ç^_®Ó ¬yîi®/£Ó ¤£Qî Ó ½m±-þ?èà-¬P¨¨mÕYí®/£Ó ½$¾¤¿ðÕF½b¬Sê/£Ó ½$¿¬P¨¤¿Â®£S¤¥£S½.ÝUÞÀßà2¦® ¦x±&¨í½¤®P½×-Öm°

¬±l½á.î Ó ¦¿½$£Ó ½Ô¾¥¤y¿ðÕF½o¬ê$£ Ó ½b¿¬P¨¤y¿i®£S¤¥£S½1þ*?âØ¦®Ô×è½¨í½¤¥®P½×ØÖ°V¬y±&½mç ÒÓ ½2½m¾¥½m±Y£Qþ*?âØ¦±F¾½íÀ®m½À®$£Ó ½b¾¤¿ðÕF½o¬ê$£Ó ½

¿Û¬¨¤¿Â®£?¤£?½ÝUÞÀß?ãFç7¯0°±&¤y ¦{¨ ¤¥ª¥¦j¬y/® ×è½®P¨mí¦jÖm¦±Yé$£Ó ½®P½$Ö½ Ó ¤y¾P¦{¬í® ¤í½Ü

)Y*à{dþ?èàQ6aÝUÞÀßà06| ÞPýg+h+þÝUÞÀßàÀ"'

1

þÝUÞÀßâ }%]þüõ~þÝUÞÀßâ/6|

(

üþ*)HþÝUÞßâ?

)YYâdþ?â.6t'8ÝUÞÀß?ã 6|

1

þÝUÞÀß?ã¥

ÒÓ ½7ÙUíÀ®£0×y°±&¤$¦j¨o¤ª¦j¬y/®-½Àª]l¿Û¤y¦±Y®$£Ó ¤£Qþ*?èà.ÙUí®£¿ð°-¨ Ó ¤y±Yé]½®£Ó ½b¿Û¬¨¤¿i®£?¤£?½/ÝUÞÀßàÚÖm°¦£{®/®ÕF¨¨½À®®P¬íá.¦£Q£ Ó ½m±

¨ Ó ½¨ï® ¦ê7£ Ó ½1¿Û¬¨¤¿l®£S¤¥£S½7ÝUÞÀßâ2¦ë®1×y¦=Q½mí½m±Y£êmí¬ û2¤±l×$£Ó ½m±È¨ Ó ¤y±Yéy½À®/£Ó ¦®.¿Û¬¨¤¿D®£?¤£?½/Öm°b¦£j®Qlí½×]½¨½®®P¬ímç

ÒÓ ½®P½¨¬±&××°±&¤y ¦{¨/¤ª¦j¬ ×]½À®m¨mí¦jÖ½À® þ*?âyái£Ó ¦®0½m¾¥½m±Y£U®¦:&¿÷° ¨ Ó ¤±Yé]½À®0£ Ó ½«¾¥¤y¿ðÕF½/¬ê7¿Û¬¨¤¿*®£?¤£?½ÝUÞÀß?ãb£?¬$¦£{®

¦±F¾½mí®P½/¾¤¿÷Õù½mç

z¬í7£

Ó

½$¨¤¥®P½ ¬Sê.£

Ó ½ ½m¾½±Y£U¡]¡þ§þ? à þ? â ¤×°±&¤y ¦j¨b¤¥ª¥¦{¬s¨¬yÕY¿Û×2Ö½mÜ

)Y]ã ¡]¡þ§þ?èà¥þ?â6aÝUÞÀßà06|²Þýg+h+þ§ÝcÞßàP~"'

1

þÝUÞÀßâ 7%èþPüõ~>þÝUÞÀßâ/6|

(

üþ)Hþ§ÝUÞÀßâ?~

þÝUÞß?ã$6|

1

þ§ÝcÞß?ã?

(10)

¡]¡þ§þ?èà¥þ?âPcÙUí®£§¿÷°_Ö½ Ó ¤y¾¥½À® ¿ð¦ëïy½«£Ó ½UÙcí®£F¤í£{®«¬SêQþ?èà-¤±&×1þ*?â¤y±&×Ô£Ó ½±V¨¬y±Y£§¦x±FÕF½® îc¦£Ó £Ó ½1®P½¨¬±&×yù¤yí£{®1¬Sê

þ?èàÔ¤y±&×$þ*?âèç

tlxS_ò[]@]OTY' Q([ðHðh_p[^]OdebSc7deb½¡2_fWj[LZ]OsHqr_fmpQ³ðH]OTUd£oU_m2[WO_¡¤ðhTi]j[qT-]:oU_]@drbHcTVaW@xS_!ðS]O_w:T-bhodrW@deT-b þ gM_:V Ti]O_!WOxS_

[]@]OTYQY÷]p÷WWOxS_.ðhTimOWjwËT-bhoUdeW@drTib7þÿ[VXWO_]lW@xS_[]O]@TYQ÷

Ã2Ä Î7Í ÊyvËPÎ.Ï

PZWAdemlT^V WO_b!bS_w:_mOm:[]@kõW@TyYl]OdeWO_ [$q£[^]Oc-_bUsS¡ygM_];þ ðM_]Oxh[^ðSmdebUñhbSdeWO_TV(N;k«bM[¡2d£w:8ödeTi¡2mp÷³`uöH[^¡2ðSqe_¥S÷R3]c-de-_fm

[òoUkUbh[^¡2d£w$[öSdeT-¡ wËT-bhw:_f]ObSdebSc7WOxS_y_f-_bUWb¡]¡Uþþ*?èàþ*?âQgSsSW$WOxS_f]O_wf[b½gM_[^qemOTò[bSTiWOxS_f]6oUkUbh[^¡2d£w$[öSdeT-¡ V Ti]

WOxH__f-_bUWb¡]¡Uþþ*?èà¡]¡Uþþ*?èàþ?âPQ³[^bhom@TõTib*÷_¤mO__!WOxM[WW@xS_]O_7[]O_![bdebUñhbHdrW@_2bUsS¡ygM_]T^VAmOshw@x>oUkUbh[¡¤d£w

[öSdeT-¡¤mp÷ltlxH_bST-W@deT-bòT^Vä<!_W:[L?>lsSqe_m;xS_qeðSmWOxS_$Yl]OdeW@drbHc2TV(N;kUbh[¡¤d£wQ8öSdrTi¡2m÷ä<Í_Wj[¯LS>8sSqe_m[]O_$¡[ioU_TV³WZYT

ðh[^]OWOm6vmOTi¡2_lðS]@_¡2d£w:_ml[bMo2[b2[iw:WOdeTib*÷*tlxH_AðS]@_¡2d£w:_mQS[mY(_fqrq"[mWOxH_a[-wËWOdeT-b*QU[]@_A¡¤_Wj[¯L oUkUbh[^¡2d£w³[¯ödeTi¡2mp÷3tlxS_

ðS]@_¡2d£w:_m.mOWj[^bhoÍV T-]oUkUbh[^¡2d£w[öSdeT-¡¤mþ bSTiW¡2_W:[L?Q"[bhoWOxH_2[-w:W@drTibõ_ËöðHq[^debSmxSTY[¤bS_YÇoUkUbh[¡¤d£wa[¯öSdrTi¡dem

T-gHWj[debS_o2YlxH_bòWOxH_ðS]O_f¡2d£w:_mA[^]O_]@_ðSq£[-w:_o!YldeWOxòoUkUbh[¡¤d£wA[öSdeT-¡¤mp÷vüv]O_f¡2d£w:_mlcidri_WOxS_m@WO]@shw:WOsH]O_$TV(oUkUbh[¡¤d£w

[öSdeT-¡¤m³sSm@_po!WOT2o_]Ode-_bS_fYÔoUkUbh[^¡2d£wl[öSdeT-¡¤mp÷

e E"ê Xgf^h{%!DÑ ÒÓ ½cêP¬¿¿¬îU¦x±Yé b½£?¤?íÕY¿½/×]½À®P¨í¦{Ö½À®.£Ó ½ Ö½ Ó ¤y¾P¦j¬yí ¬ê«£§î ¬b½m¾½±Y£{® ¬P¨¨mÕYíí¦±Yéb¦±MF¤í¤¿¿½¿÷Ü

þ?

à 6 0 à ' à Á þ?

â 6 0 â ' â

¡]¡þþ?

à þ*?

â

:6 0 à ~ 0 â ' à ~ â

î Ó ½í½ þ?IFá 0 F á F

¤yí½1_½À£?¤?¾¤í¦j¤èÖ¿½®ái£Ó ¤£c®£?¤±l×® êP¬yí7®À°±ù£S¤è¨£¦j¨¤¿i½¿½b½±ù£j®ç

tlxSdem¡2_W:[LZ]OsSqe_v¡2_p[^bSm"WOxM[WvYlxS_b [^b_i_bUWudemT-gSW:[debS_pogUkWOxH_ä¡è¡lT-ðM_]:[WOTi]vT-_]WZY(T;T-WOxH_]v_-_bUW@m þ? à þ? â Q

WOxH_A]O_fmOsSqeWOdebSc._-_bUW³gM_cidrbHm³qedÛi_(W@xS_lñM]OmOWðh[]@W³TV*W@xS_ñh]Om@W(_f-_bUWvV TiqeqrTY_pogUk$WOxS_ñM]OmOWðh[^]OW³T^VW@xS_lmO_pwËT-bhoû_-_bUW

[bMo2_fbhoUmAqed-_;WOxS_m@_pw:T-bMo!ðh[]@WlTV³WOxH_AñM]OmOW;_-_fb«WVXT-qeqeTY(_poûgUkyWOxS_m@_pw:Tibho!ðh[^]OWlTVvWOxS_.mO_pw:Tibho!_i_bUWp÷

ww:T-]:oUdebSc!WOT!WOxHdrm;¡2_W:[LZ]OsSqe_-QMY_ TigSWj[^debòV Ti]AW@xS_ WZYT!_-_fb«W@m þ?èà¥þ*?â.debõðHq[iw:_$TV þ?*àP þ?YâQ"W@xS_2oUkUbh[¡¤d£w

[öSdeT-¡)(èãòT^V_:öh[¡2ðHqr_!¥S÷R3S÷ ù³sHW2YldeWOxWOxHdrm!þXsSbSd£¢isS_Pû¡2_W:[LZ]OsSqe_2Y_õ[^qrm@TT-gSW:[debWOxS_7oUkUbh[¡¤dwy[¯öSdrTi¡ V Ti]

¡]¡þ§þ?èà¥¡]¡þ§þ?èàPþ*?â?gUkD6

)Y å d¡è¡Uþ§þ? à ¡è¡Uþ§þ? à þ*? â ?:6 þÝUÞÀß à 6|dÞýg+h+þ§ÝcÞß à ?~þ§ÝcÞß à 6 Þý,+h+¯þ§ÝUÞÀß à ~'

1

þ§ÝUÞÀßâ }%]þüõ~ þ§ÝUÞÀßâ 6|

(

üþ)SþÝUÞÀß â ~

1

þ§ÝUÞÀß â }%]þüõ~

þÝUÞÀßâ 6|

(

üþ*)HþÝUÞß â ?~þÝUÞß ã 6|

1

þ§ÝcÞß ã ?

tlxSdem$bS_YoUkUbh[¡¤dw$[öSdeT-¡ m:[k«m$WOxM[Wb¡]¡Uþþ*?èà¡]¡Uþþ*?èàþ?â?$gM_cidrbHm YldeWOx¸WOxS_¤ðS]O_w:T-bhodrW@deT-b½ðM[]OWyT^V0þ*?èà2[^bho

w:Tib«W@deb«sH_mYldrW@x!WOxS_$ðS]O_w:T-bhodrW@deT-bòðh[^]OW;TV ¡]¡þ§þ?èà¥þ*?âmQMdeWA_bhomAYldeWOxòW@xS_ðMT-m@Wjw:TibhoUdeWOdeT-bTV þ*?èà[bMo!YldeWOx!WOxS_

ðMT-mOW:w:T-bMoUdeWOdeT-b7TVä¡è¡Uþþ*?èàþ?âf÷tlxS_$]O_m@sSqeWdrmW@xh[W;WOxS_yqeTSw[qmOW:[WO_2ÝcÞßàdemAdebhwË]O_¡¤_bUWO_pogUkõ¥SQMYlxSdeqe_ ÝUÞÀßâ$dem

oU_pwË]O_¡¤_bUWO_po!gUk!¥y[bhoÝUÞß?ã$dem(debU-_f]OmO_o"÷

(11)

· ¸ ¹»¹\º»¼5¼

m@kUmOWO_f¡drmlm@ðh_w:døñh_po!deb ì í"íMîMïpï gUkyV TisS]lmO_fWOmAT^V³mOkUbUWj[-wËWOd£w[q_qe_¡2_fb«W@mP6vW@xS_mOdecibh[W@sS]O_-QHWOxS_.qrTSw[^q"mOW:[WO_fmpQMWOxS_

-[]@d£[gSqe_ml[bho¤W@xS_ [öSdeT-¡¤mp÷

tlxS_mOdecibh[W@sS]O_ldem(w:Ti¡2ðMT-m@_poT^V3[^gSmOW@]j[iw:W(oS[^Wj[;WZkUðh_m;þÿoH[Wj[;m@T-]OW@m([bMoTiðh_]:[W@drTibSm³Tib m@T-]OW@mfQS[bho.TV*[gSm@WO]:[-w:W

_i_bUWOmAWZkUðM_mþX_-_fb«W@mAm@T-]OW@ma[^bho¤T-ðM_]j[^WOdeT-bSmlTib2_i_bUWOm÷

ÂqeTSw[q"m@Wj[^WO_demA[$ðh[^]OWlTV³W@xS_YlxSTiqr_m@k«m@WO_¡7QUdeWOmlmOTi]OW;drmlTibS_T^VuWOxH_ oS[W:[$mOTi]OWOm;TVvWOxS_m@dec-bh[^WOsS]@_-÷³tlxS_.mO_W

TV([^qrqMqeTSw[q"m@Wj[W@_mAcide-_mlW@xS_c-qeTigh[qMmOW:[WO_T^V W@xS_mOkUmOW@_¡õ÷

tlxS_y-[^]Od£[gHqr_fmpQ"sSm@_:V sSqV Ti]am@ðh_w:døV kUdrbHcõw:T-bHmOWO]:[debUWOmsHðhTibWOxS_ym@k«m@WO_¡7Qu[^]O_yT^V8oUdøú"_]O_fb«W$mOTi]OW@mP6$-[]@d[^gSqe_mTV

oS[^Wj[y[bMo2-[^]Od£[gHqr_fm(T^Vu_i_bUWOmp÷

ndebh[qeqekUQpW@xS_[öSdeT-¡¤m³qe_W(sHml_:öSðSq£[debyWOxS_[ioU_p¢ish[-wËk2TV³[¡¤TSoU_qMWOT$WOxS_mOkUm@WO_¡7÷*tlxS_f]O_ [^]O_/4 od¶ú"_]@_bUW«debhom

TVl[öSdeT-¡2m÷tlxS_ m@Wj[^WOd£w[öSdeT-¡¤m\[^]O_yw:T-bMoUdeWOdeT-bSmw:T-bMw:_]ObHdrbHcm@Wj[^WOd£wðS]@T-ðM_]OW@dr_fm [gMT-sSW;WOxS_y[gHmOWO]:[-w:WoS[^Wj[ûWZk«ðM_m

[bMoòW@xS_ _f-_bUWOmQ*YlxHdrqe_yoUkUbh[¡¤d£wa[¯öSdrTi¡2ml[]@_ydrbUW@_bhoU_poWOT!_:öSðSq£[^drbWOxS_yw@xh[bSci_mTSww:sH]O]OdebSc!W@TW@xS_$mOkUmOW@_¡õ÷1

oUkUbh[^¡2d£w[öSdeT-¡ oU_m:w:]OdegM_m W@xS_2_Ëú_pwËW T^V8[^b_-_bUWsHðhTibWOxS_ym@Wj[W@_2T^V\W@xS_ymOkUmOW@_¡õ÷¤ù³_m@d£oU_myWOxH_mO_¤WZY(T!gh[^mOd£w

WZkUðh_fm(T^V3[¯ödeTi¡2mpQW@xS_]O_;dem([WOxHdr]:o$T-bS_iQ-W@xS_A¡¤_Wj[¯Lÿ]@sSqe_mpQW@xh[W[]O_lsHmO_poûWOT [iT-d£oWOxH_AYl]OdeW@drbHcaT^V3[^qeqSWOxS_oUkUbh[¡¤d£w

[öSdeT-¡¤mp÷

>m@kUmOWO_f¡0dem³W@xS_b2m@ðh_w:døñh_po¤sSmOdebScy[gHmOWO]:[-w:WloS[^Wj[WZkUðM_mA[bho$_f-_bUWOmQSYlxSTimO_w:T-bSm@WO]:[debUWOml[]O_;c-de-_fbyg«kym@Wj[^WOd£w

[bMook«bM[¡2d£wl[¯ödeTi¡2mp÷

tlxSdem³w@xh[ðHWO_](o_mjw:]@degh_mWOxH_lmOdec-bh[^WOsS]@_-QiWOxS_lqeTSw[qUm@Wj[W@_mpQUW@xS_l-[]@d£[gSqe_mQpW@xS_lWO_f]O¡2m³[^bhoW@xS_A[öSdeT-¡¤m"Yl]OdeWj[^gSqe_

deb ì í"íMîhïï ÷*PZWlW@xS_b!c-de-_fmlWOxS_ðS]@_mO_bUW:[WOdeTibòTV³[$mOkUmOW@_¡õ÷

42ÄPÅ ÌAN*p8-Ê.Í UÎ

tlxS_m@dec-bh[^WOsS]@_deml¡[-o_ATV([^gSmOW@]j[-wËWaoS[^Wj[$WZkUðh_fma[bMo2T^V([gSm@WO]j[iw:WA_f-_bUWOm;WZkUðh_m÷:AgSm@WO]j[iw:WoS[W:[$WZkUðh_m;]O_:VX_]AW@T

WOxH_ oS[W:[m@WO]@shw:WOsH]O_$WOxS_m@kUmOWO_f¡¡[bHdrðHsSq£[WO_iQYlxSdeqe_A_i_bUWOma[^]O_]O_fmOðMT-bSm@drgHqr_V T-]lW@xS_mOkUmOW@_¡_-TiqesSWOdeT-b÷

;ghTi_WOxS_$mO_fWOmT^VoH[Wj[ûmOTi]OWOm$[bho!_f-_bUWmOTi]OWOmQ"WOxH_ m@_WTV(Tiðh_]:[W@drTibSmAqe_W@msSmw:T-bSm@WO]@shw:W oS[^Wj[ûYldrW@xòmOTi¡2_

T-W@xS_]oS[W:[Ti]l_-_bUW@mpQMT-]lqe_W@mlsSmAw:T-bHmOWO]@shw:W_i_bUWOmAYldeW@x2T-W@xS_];_-_bUW@mAT-]loS[^Wj[S÷

ùT-W@xÍoH[Wj[.mOTi]OW@ma[bMo2_f-_bUWlmOTi]OW@ma[]@_T-]jo_]ZLZmOTi]OWO_oòm@_WOm÷

tlxSdemm@_pw:W@drTibñh]@mOW@qrkðH]O_m@_bUWOm2gM[mOd£w¤oU_:ñhbSdeW@drTibSm [^ghTisSW Ti]joU_f]ZLZmOT-]@WO_po¸m@_WOmQ([bMoWOxH_b½cidri_mW@xS_!mOdec-bh[^WOsS]@_

oU_:ñMbSdeWOdeT-b*÷

% z XèP{ È ÂÑ ©F¤íÀ£§¦j¤y¿¬í×]½mí0í½¿¤£¦j¬±¬y¾¥½mí ¤$®P½À£ ì ¦®«¤Ö¦±l¤í°bí½¿¤£¦j¬±M®Õù¨ Ó £Ó ¤£Ü

} þeBAB/

¤±l×E ¦®.í½>ä½Àª¦¾¥½ÀáU£í¤y±Y®¦£§¦x¾¥½/¤y±&×o¤±Y£¦®°$_½À£§ím¦j¨ç

% z XèP{ È ÂÑÛ! ¦¾½±M1àP0â«£§î:¬ù¤yí£¦j¤¿D¬í×]½míí½m¿Û¤£¦j¬y±Y®0¬¾½í £Ó ½ ®m½À£{®lB.à]B7â/í½À®ù½¨À£§¦x¾¥½m¿ð°ç ÒÓ ½0½Àª£S½m±Y®¦j¬±

¬ê«£

Ó

½®P½«£§î ¬¬í×]½mí¦±Yé®Q£?¬$£

Ó

½«®£§í¦x±YéP®/¬ê ½XmÕF¤¿¿½±ùéP£

Ó

¦±ÍþeB à B â ¡yáU¦®.£

Ó

½QF¤íÀ£§¦j¤y¿¬í×]½mí¦±Yécs×è½ÙU±l½×oÖm°Ü

þ?I¢à ,,P,?I¢ ?èà,P,,?F£w ¦=Öþe?I¢F ]?F£õþ/à .â

(12)

í½>½ª¦¾½ ¨m¿Û¬¥®ÀÕYí½ ¬Sê $ç

rhèêSèj

ÂÑðW

ño½b×]½m±&¬£?½ Öm°<}}I¡áU£

Ó

½¤F¤í£¦j¤¿¬yí×è½í.í½m¿Û¤¥£§¦{¬±o_¤è×]½$¬ê.£

Ó

½1í½>½ª¦¾½/í½¿¤£¦j¬±Y®/¬±F¿÷°ç

% z XèP{

È ÂÑ

+ ©t®¦é±&¤¥£§ÕYí½«¦® ¤$£í¦|&¿½Q¥¦ þeiBDi]!/1î

Ó

½mí½mÜ

§

¦®«¤yù¤yí£¦j¤¿¿÷°_¬yí×è½í½×_®P½£ä¬Sê ×]¤¥£S¤_®P¬í£{®Ü

¨#¥ÞyàPÞâèÞmã],P,,]á" ©ª þ«¬iÀá" © ¤yù¤yí£§¦{¤¿¬í×]½mí¦±Yé

§

BDN¦® ¤F¤íÀ£§¦j¤y¿¿ð°b¬í×]½mí½×1®P½£Q¬ê$½¾½±ù£j®.®P¬í£{®Ü

BDk#¥þ?èà¥þ?â]þ*?ãèP,,P,èámm®Q þeBO¯wBD0.ám® ¤yù¤yí£¦j¤¿¬yí×]½mí¦±ùé

§

!N¦ë®1¤_®P½£Q¬ê ¬`ù½mí¤¥£§¦{¬±Y®/¬¾½í.£Ó ½$×]¤¥£S¤¤±&×o½m¾¥½m±Y£{®Ü

!}õ

(

6°'±? ²°³£þe BD0¡è?D£õþ BO«mõ

(

¦® ¤y±V¬F½í¤£¦j¬±Ø¦j×]½m±Y£¦Ù ½mí

! ®P¤£¦®Ù ½À®.£

Ó

½/b¬±&¬¥£S¬y±F¦j¨m¦£°2¨¬y±&×¦ë£§¦j¬y±FÜ

ÿê7õ

(

6°7à"'±?èà¥õ

(

6°âQ'±?â:£´! ¤±&×\þe°7à]°â£" µ

©¶Y®m·

£Ó

½m±!þe?èà?âP£7þ ©

Q®:

ñ Ó

½í½ µ

©¶Y®·

¦®Q£

Ó

½$½ª£?½±Y®¦j¬y±È¬Sê © ¤y±&×D m® £?¬$£

Ó

½«®£§í¦x±YéP®/¬ê ½XmÕF¤¿¿½±ùéP£

Ó

¦±Íþe BD«¡]ç

tlxS_mOdecibh[W@sS]O_demu¡![-oU_vT^V3[8ðh[]@WOd£[qeqekT-]jo_]ZLZmOTi]OWO_o$mO_W³T^VoS[^Wj[;mOTi]OWOmQ«[8ðh[]@WOd£[qeqekATi]joU_f]ZLZmOT-]@WO_poûmO_WTVh_i_bUWOm

mOTi]OW@mpQ"[bhoûTV([.mO_W;TVuTiðh_f]j[W@deT-bSmlTi_]AoS[W:[y[bho¤_i_bUWOm÷

tlxS_!Tiðh_]:[W@drTibSmyTV<!yQvxh[i_Í[^myðh[]:[¡¤_WO_]@m m@T-]@WOmpQ:°Q([qedemOW$TVa_fdrW@xS_]!oS[W:[òm@T-]OW@m2Ti] _i_bUWOm¤mOT-]@WOm¤T-]y[

w:Ti¡ygSdebh[W@drTib!TVlghTiWOx½oS[^Wj[![bho_i_bUWOm$mOT-]@WOm÷2tlxS_fmO_yT-ðM_]:[WOdeTibSmxh[i_6[^m]O_m@sSqeWmOTi]OWQ?HQ³[2sHbSd£¢-sH_ bh[^¡2_$TV

oS[^Wj[$T-]l_f-_bUWlmOTi]OW÷

tlxS_$¡2TibST-W@T-bSd£w:deWZk2w:TibhoUdeWOdeTib5ÒKT-cis&A]JÀ(T-_f]aTi_]OqeTU[-oU_poÍT-ðM_]j[^WOdeT-bSm_bHmOsS]@_m W@xS_$]O_m@sSqeWmOTi]OWTVA[bòTi_]ZL

qeT«[ioUdebScVXsSbhw:W@drTib2W@Tygh_[$mOsHðh_]@mOTi]OWTVvWOxS_]O_fmOsSqeWAm@T-]@WATVvWOxS_Ti_]OqeT«[ioU_poûV sSbMw:WOdeT-b÷

>xH_b½[b¸T-ðM_]j[^WOdeT-bTi_]OqeT«[ioUm [^bST-W@xS_]yT-ðM_]:[WOdeTibg«k7sSm@drbHcõm@sSðh_f]OmOTi]OW@m[m.ðh[]:[¡2_fWO_]@m m@T-]OW@mpQWOxS_b¸WOxS_

]O_fmOsSqeWAm@T-]@Wl¡ysSmOWl[qemOT$gM_ [$mOsSðM_]@mOT-]@Wp÷

% z XèP{ È ÂÑÛu ¦¾½±¸B ¤$®P½£Q¬ê7®P¬íÀ£j®á ¤±&×pQ ¤yù¤yí£§¦{¤¿¬í×]½mí.í½m¿Û¤£¦j¬y±YáUî ½7®P¤°$£ Ó ¤¥£?

¢

¦ë®1¤_®ÕùÖÀ®P¬í£¤±&×

?G¦®«¤_®Õ*F½mí®P¬í£¦ê;þe?

¢

?]$Ö½¿¬±Yé®/£?¬9.ç

rhèêSèj ÂÑaño½b×]½m±&¬£?½ Öm°/õ

(º¹m»¼ £Ó ½ ¬`ù½mí¤¥£§¦j¬y±bõ

(

6°'±?g¬ê !Ôç

G

%YX êSéIH

DÑ~NÒÓ

½2Õè®P½2¬Sêù¤yí£¦j¤¿U¬í×]½mí í½¿¤£¦j¬±ù®Ô¬y¾¥½mí2×]¤¥£S¤®P¬yí£j®2ó½ ©YôV¤±&×G½m¾¥½m±Y£Q®P¬yí£j®2ó½Q® ôØ½¤®P½À® £Ó ½

îUí¦ë£§¦±ùé1¬Sê ¬F½mí¤£¦j¬y±Y®«¬Sê!s¤y±&×á&êmÕ(íÀ£

Ó

½íá£

Ó

½/îcí¦£¦±Yé ¬ê/¨¬±Y®£í¤y¦±Y£{®Àç

ÒÓ

½&í¦x±&¨¦¾&¿Û½«¦®Q£

Ó

¤¥£ î

Ó

¤¥£ ¦®.¾¥¤y¿ð¦j× êP¬í

¤$é¦¾½±Ø®P¬í£:¦®0¾¤¿÷¦j×êP¬yí/¤¿¿¦£j®.¦±&¨m¿ðÕF×]½×Ô®P¬í£{®ç

% z XèP{

È ÂÑ

H¿ ñ¦í®*À]û½Á

¦¾½m±È¤_®m½À£B$á¤±¸BD®P½À£ a ¦® ¤êP¤y ¦x¿ð°9 acÂ ÂÃÅÄ m® ¬ê«®m½À£{®0¦±&×è½ª]½×oÖ°<Bbç

% z XèP{ È ÂÑFZ ¦x¾¥½m±V¤$®P½À£B ¤±&×_£§î ¬9BD®P½£{®á a áÆ$ác£Ó ½.®P½À£ ¬Sê«¤y¿¿,BO?_¬yí Ó ¦®/®.¦®.é¥¦¾½m±VÖ°Ü

0 6 a

'ÇÆk²

0

¤_£S¬¥£S¤y¿êÕY±&¨£¦j¬y±YáU®ç£ç 0 þa Â

7Æ

Â

[Dþ:£¬BD

% z XèP{ È ÂÑlÈ ¦x¾¥½m±V¤$®P½À£B ¤±&×_£§î ¬9BD®P½£{®á

a

áÆ$ác£Ó ½.®P½À£ ¬Sê«¤y¿¿,BOðêÕY±&¨£¦j¬y±Y®/¦®.é¥¦¾½m±VÖ°Ü

0 6 a 'ÇÆk² 0 ¦®/¤F¤í£¦j¤y¿êÕY±&¨£¦j¬y±Yá ®ç£ç 0 þaÂ ÉÆ Â [Dþ:£¬BD

e E"ê

Xgf^h{% DÑxù!

©.±²½Àªy¤y l¿Û½¬Sê2®¦é±&¤¥£§ÕYí½¦®é¥¦x¾¥½m±²Ö°Ø£

Ó

½o±&¤¥£§ÕYí¤y¿ ±*Õ(bÖ½íÀ®á1£

Ó

½Ö¬P¬y¿Û½¤±Y®á/£

Ó

½VXÕF½mÕù½À®Ú¬Sê

±&¤¥£§ÕYí¤y¿R® ¤±l×b£

Ó

½DXmÕù½mÕF½® ¬Sê Ö¬P¬y¿Û½¤±Y®.£?¬é]½À£

Ó

½í/îc¦£

Ó

½m¾½±Y£{®/î ¬íÀï¥¦±ùé_ÕF¬±o£

Ó

½À®P½ ×è¤£?¤b®P¬yí£j®ç

(13)

#¥òDyßPmõõö]Êýlþý&þ òDyßPÊý&þýlþ õõöe

BD #¥þ? òDyßPþ? õõöþ*?

! #&%]þüõ$6 ' òDßP

(

üþ)b6 òDyß ' òDßP

Þý,+h+.6 òDyß ' òDßP

. 6 òDyßòDyß ' òDßP

ßüýlþ/6 ' õõö

0 (öxÞPþ$6 ' õõö

þË

(

ß]ÌYÊý&þýlþ òDyßä6 'ÇÊý&þý&þ òDyßP

)) òDyßQ6 òDyßÊý&þýlþ òDyß 'ÇÊý&þý&þ òDyßP

üþË2õI?]þ òDyßä6 Êýlþý&þ òDyß 'ÇÊý&þý&þ òDyßP

0gÍ

üÞÀß òDß6 Êýlþý&þ òDyß ' òDßP

þË

(

ß]ÌYÊý&þýlþ õõöi6 'ÇÊý&þý&þ õõö

)) õõöi6 mõõöÊýlþý&þ õõö'ÇÊý&þý&þ õõö

üþË2õI?]þ õõöi6 Êýlþý&þ õõö 'ÇÊý&þý&þ õõö

0gÍüÞÀß õõöi6 Êýlþý&þ õõö ' õõö

(þÀß òDyß6 òDyß ' þ*? òDyßP

(

ýùß òDyßä6 òDyß ' þ*? òDyßP

(þÀß mõõöi6 mõõö ' þ*? õõö

(

ýùß õõöi6 mõõö ' þ*? õõö

¡]¡$6 þ? òDyßÂþ? òDß ' þ*? òDyßP

¡]¡$6 þ? õõöFþ? õõö ' þ*? õõö

¡]¡$6 þ?Qþ? ' þ*?

ñ-½ Ó ¤¾½ ©}YÎ¡yá"Q®}-þþ*? òDßPþ?]fþ§þ? õõöþ*?èI¡

N[W:[;mOT-]@WOmlT^VW@xSdem(m@drcibh[W@sS]O_[]@_QòDßpQYõõöZQºÊýlþý&þ òDyßpQÊýlþPýlþ õõöZQS[bMo$_-_bUW@m(m@T-]OW@mA[]@_Qþ*? òDyßpQ(þ? õõöZQ

þ?S÷³tlxH_a_f-_bUWmOT-]@WOmQ&þ? òDyßpQFþ? õõöZQSoU_bHT-WO__i_bUWOmlYT-]«debSc$[gMT-sSWbh[W@sS]j[^q"bUsS¡ygh_f]Oml[bhoûghTUT-qe_p[^bSm]O_m@ðh_pwjL

WOdei_qek«QYlxHdrqe_lW@xS_mOT-]@Wäþ?.drm[¡¤T-]O_c-_fbS_]j[^q"_-_fb«WmOTi]OW÷vtlxS_]O_dem³bST$T-]:oU_]T-b2oS[^Wj[m@T-]@WOmp÷tlxS_ATi]joU_f](Tiby_-_bUW

mOTi]OW@mAmOW:[W@_mAW@xh[WlW@xS_ þ?$mOT-]@WAdemc-]O_[WO_f]AWOxM[b!WOxS_.T-WOxH_]lWZY(Ty_f-_bUWlmOTi]OW@mp÷

ðM_]j[^WOT-]@m[^]O_ò_deW@xS_]ysSm@sh[q;T-ðM_]j[^WOT-]@m2Ti_]ybh[W@sS]j[^qAbUsS¡ygM_]OmQ³gMTUT-qe_p[bHm2[bho¢isS_sS_fmòþe%èþPüõY

2

,P,,QTi]

T-ðM_]:[WOTi]Om!ðS]@Toshw:debSc½_f-_bUWOm¤V ]@T-¡ [oS[^Wj[ÙT-bSqek>þ$(þÀß òDyßpQQYþß õõöx2Ti]2Tiðh_]:[W@T-]Om!ðS]@TSoUshw:debSc¸_-_bUW@m2VX]OT-¡

_i_bUWOm¤þ§¡]¡è÷$PZb7WOxS_2w[^mO_¤TV(_i_bUWOm$ðS]OTSoUsMw:_poV ]@T-¡ [!oS[^Wj[¤T-bHqrkUQMY(_2wf[qeq³WOxH_mO_y_i_bUWOmQ¿Û¤]Ö½m¿¿Û½×o½m¾¥½m±Y£{®[^bho

WOxH_ oS[W:[$demlWOxS_<F¤í¤b½£?½mí(T^V³mOshw@xò_i_bUWOm÷(PZb!W@xS_ w[^mO_$TVu_f-_bUWOmðS]@TSoUshw:_poV ]OTi¡0TiWOxS_];_-_fb«W@mpQMWOxH_k!YldrqeqMgh_

w[^qrqe_poq¨¬y F¬ÕY±&×o½m¾¥½m±Y£{®÷AnSTi]l_:öh[¡¤ðSqe_AYldeWOx¡]¡$W@xS_]@_mOsSqeW@drbHcw:Ti¡2ðMT-sSbho¤_i_bUWAdemA[b!_i_bUWðS]OTSoUshwË_poòYlxH_b

WZYT2T-W@xS_];_-_bUW@mTSww:sS]deb!ðh[]:[qeqe_qZ÷(tlxHdrm;T-ðM_]j[^WOTi]AVXsS]ObSdem@xS_m[qemOT2[^bò_:öh[¡¤ðSqe_AT^V(T-_]@qeT«[-odrbHchQS[m;WOxS_$mj[^¡2_

T-ðM_]:[WOdeTibd£oU_fb«W@døñh_]pQF¡è¡SQidemlsSmO_po¤Ti_]\od¶ú"_]@_bUWAmOTi]OW@mP6Uþ? òDyßpQFþ? õõöT-]þ*?H÷³tlxS_¡2TibST-W@T-bSd£w:deWZkw:TibhoUdeWOdeT-b¤dem

-_f]Odøñh_poò[^mlWOxS_/þ? òDßpQFþ? õõömOTi]OWOm[]@_aWZYTymOsHgSmOTi]OWOm;TVvWOxS_ þ?$mOTi]OW÷

G %YX êSéIH DÑxù ÒÓ ½.Õè®P½/¬Sê«¬`ù½mí¤¥£§¦{¬±Y®á^î:¬íï¦±Yé_¬y±Ö¬¥£Ó ½m¾½±Y£{®«¤y±&×b×]¤¥£S¤¥áU¦®lF¤í£¦j¨mÕY¿Û¤ím¿ð°.Õè®m½xêÕY¿l£?¬/b¤ï]½ ¤y±

½m¾¥½m±Y£0Ö½¨¬y_½$¤2×è¤£?¤$®£íÕF¨£ÕYí½/¬yí/¾P¦{¨½`?¾½í®P¤yç

42ÄÃ ÆÈÇÉQÊ$Ë²ÌbÍUÊ.ÍUÎ.Ï

Ab!_bUW@dr]@_mOkUmOW@_¡demlmOsSg"oUdeUdo_poydebUWOT$qeTwf[q"mOW:[W@_mpQM_p[iwOx!T^VuWOxH_¡0]@_Ðh_pwËWOdebSc[.ðh[^]OWlTVvWOxS_m@k«m@WO_¡7÷vtlxS_mO_W;TV

[qeq"qeTSw[q"m@Wj[^WO_mw:T-¡¤ðhTimO_mlW@xS_c-qeT-gh[^q"mOW:[WO_i÷iÂqrTSw[^q"mOW:[WO_.xh[mA[$-[^qrsH_AYlxSTimO_mOTi]OWAdemlTibS_TVuW@xS_mOTi]OWOm;TV"(÷

(14)

tlxS_qeTSw[q"m@Wj[^WO_m;xh[-__p[iwOxò[$bh[^¡2_A[^bho![yoS[W:[m@T-]OW÷

e E"ê Xgf^h{% DÑx + z¬í2¤y± ½Àªy¤y l¿Û½o¬ê$£î ¬wXmÕF½ÕF½À®á ¬y±&½o¬ê2±l¤£Õ(í¤¿U±*Õ(bÖ½íÀ®Ô¤y±&×Ø£Ó ½2¬¥£Ó ½í2¬y±&½¬ê2Ö¬¬¿½¤y±Y®á

£Ó ½«®m½À£Q¬ê/¿¬P¨¤¿l®£?¤£?½®/¦®._¤è×]½b¬Sê«¬y±&½$¿Û¬¨¤¿l®£?¤£?½ ¬Sê.®P¬í£Êýlþý&þ òDyß ¤±&×o¤±l¬£Ó ½mí ¬±&½b¬Sê.®P¬í£mÊý&þý&þ õõöç

k `, º ºÐÑ ÂÑ Â , ºÐÑ ÂÑ Â î Ó ½mí½

}Ò

ºÐÑ Â Ñ Â IÓwÊý&þýlþI

ºÐÑ Â Ñ Â #ÎÆ9Êý&þý&þÅ

PZb7WOxSdem;_:öh[¡2ðHqr_iQhW@xS_]@_2[]O_yTibSqek!WZY(T¤qrTSw[^qvmOWj[^WO_mQ"ÓwÊýlþPýlþ-QÆ<Êý&þýlþ-Q"YlxHT-mO_2oH[Wj[ûmOTi]OWOm$[]O_¸Êýlþý&þ òDyßpQ

ÊýlþPýlþ mõõöv]O_m@ðh_w:WOde-_fqrkU÷

42Ä4 Ô Ê<NPÊ<ÕGËPÎ.Ï

K([^]Od£[gSqe_m[^]O_$sSmO_po7W@T2m@k«¡ygMT-qede__fdrW@xS_] oH[Wj[ûmOW@]Oshw:W@sS]O_fm Ti]a_f-_bUWOm÷$tlxS_]O_ËV T-]@_2WOxH_]O_2[^]O_yoUdøú_]@_bUWWZkUðh_fmTV

-[]@d£[gSqe_mQUWOxS_-[]@d£[gSqe_mlT^V oS[^Wj[.mOT-]@WOm[bho¤-[]@d£[gSqe_mTVv_-_bUW@mAmOTi]OW@mp÷

% z XèP{ È ÂÑFu}Ö ¦ë®0£Ó ½þe BD0`®P½£Q¬ê ¤y¿¿D¾¤í¦j¤èÖ¿½®Ü

Ö Ö © Ö

® î Ó

½mí½mÜ

Ö

©¦®Q£

Ó

½«¢º®P½À£ ¬Sê/¾¥¤yí¦j¤èÖ¿½® ¬ê/×è¤£?¤

Ö

m®5¦®7£

Ó

½.ìD×®P½£Q¬ê1¾¥¤yí¦j¤]Öm¿Û½À®«¬Sê ½m¾¥½m±Y£{®

e E"ê Xgf^h{% DÑx ìUª]¤:&¿½® ¬Sê/¾¥¤yí¦j¤èÖ¿½® ¤í½Ü

þÖ ©D½m}ÎË¬(fþÖ ©&#¥l

þÖ ©D ÐÑ ÂÑ Â

#¥ÞÅ(fþÖ ©l

ÐÑ Â Ñ Â

üY

þÖ m®

ÂÃ

#¥þ?]ò*ßàþ?]ò*ßâÅ(fþÖ ®:

Â½Ã

}ÒFfþÖ ®c

ÂÃ

7Ò

42ÄK Ø;ÎcW Ï

tlxS_¤T-ðM_]j[^WOdeT-bSmQ*Ti_] oS[^Wj[![bMo7_-_bUW@mpQvqe_WsSm$w:T-bSm@WO]@shw:WyoS[W:[!T-]_i_bUWOm.V ]OTi¡ T-W@xS_]yoS[W:[¤T-]_i_bUWOm÷!tlxS_

WO_f]O¡2mA[^]O_[qeq"W@xS_mO_.mOkUbUWj[-wËWOd£w[qvw:T-bHmOWO]@shw:W@drTibSmp÷

% z XèP{

È ÂÑF~»ø

½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á

Ö

¤1®P½À£ ¬Sê/¾¥¤yí¦j¤èÖ¿½®ám[¤$®P½À£ä¬ê1¿Û¬¨¤y¿l®£S¤¥£S½À®á^£

Ó

½«®P½£

¬ê«£S½mí1®liÙvþ

Ö

-//¦®7£

Ó

½/¿½¤¥®£(þ BD.®P½£:®ÕF¨

Ó £Ó

¤£Ü

|], þÖ ©l

¼ ¼ þ$i

Ù þÖ -0?

¼

Þy£¬

¥F, þÖ m®

ÂÃ

þ$i

Ù þÖ -0?

ÂÃ

þ*?D£wBD

4F, ßFm£Ai

Ù þÖ -/

ÃÚ

Í

£«|èP,,,ò ¤y±&×

õ (

£´!õ

(

6"?èài,P,,?¸'±? £Ó

½m±Û

\8õ

(

þxßà¥,,P,Sßù£þ$i

Ù þÖ -0?

Ã

Ù þÖ -«

Ã

i

Ù þÖ -0? ¢

tv_]@¡2ml[]O__deW@xS_]A-[^]Od£[gHqr_fm(Ti]lqrTSw[^q"mOW:[WO_fmpQMT-]Aw:Ti¡ygSdebh[W@deT-b$TV³WO_]@¡2mlYldeWOx¤T-ðM_]j[^WOdeT-bHmlTVl!y÷vtlxS_ðh[^]OWOd£[^q

e

E"ê Xgf^h{% DÑx

H

z¬í.£Ó ½1½ª]¤:&¿½b¬êEXmÕF½ÕF½À®1¬Sê/±&¤¥£§ÕYí¤y¿R® ¤±l×¸XmÕù½mÕF½®b¬ê Ö¬¬¿Û½¤y±Y®áU®P¬b½.£?½ím/®/¨¤y±VÖ½Ü

)) òDyßþeËØ]ÓVÊý&þý&þ)) õõöXþ

2

Æ<ÊýlþPýlþP £õþ$i Ù þÖ

-0?

¼ Ä ©

(þÀß òDyßþeË

(

ýùß òDyßþeË2m¡è¡Uþ$(þÀß òDßþË2m

(

ýYß òDyßþeË?Ü£õþ$i Ù þÖ

-0?ÂÃIÄ m®

¢½½$½ª]¤:&¿½<_èçú,@cêP¬í«£

Ó

½.£°ù½À® ¬ê.¾¤í¦j¤èÖ¿½®ç

(15)

)) õõöXþ

2

Æ<Êý&þýlþP8mOWj[^bhoÍV T-]A[ioSoUdebSc2W@xS_bh[^WOsS]:[qv-[qesS_<ËQhTi]AW@xS_ gMTUT-qe_p[^b-[^qesS_ 2

QMT-bòW@xS_ ¢isS_sS_

ÓwÊýlþPýlþ¤T-]EÆ9Êý&þý&þ¤]@_mOðM_pw:W@dri_qek«÷7tlxS_¤_-_fb«W$mOTi]OW$WO_]@¡2m<Yþß òDyßþeË2fQ

(

ýùß òDyßþeË2.mOW:[bhoVXT-]$WZY(Tòq£[^gh_qeqe_po

_i_bUWOmxh[UdebSc2[mlðh[^]j[^¡2_W@_]Om[$bh[W@sS]j[^qubUsS¡ygM_] Ë÷(tlxH_ q£[m@Wl_-_fb«W;mOTi]OWAW@_]O¡ ¡]¡þj(þÀß òDyßþeË

(

ýùß òDyßþeË?

mOW:[bhomlV Ti](W@xS__i_bUWlgh_debScyW@xS_]@_mOsSqeWlT^V W@xS_WZY(Ty_f-_bUWOm:(þÀß òDyßþeË2fQ

(

ýYß òDyßþeËTSww:sS]@]OdebSc2deb¤ðh[]:[qeqe_qZ÷

42Än RUTwNPÇpW Ï

löSdeT-¡¤m³[]O_;WOxS_ðh[^]OWTV*W@xS_Am@k«m@WO_¡ mOðM_pw:døñwf[WOdeTib2WOxM[Wlw:T-bSm@WO]:[debUWOml[b[^qec-_gS]:[WOT.mOWOd£wyWOT$WOxH_AmOkUm@WO_¡7÷vtlxS_mO_

[öSdeT-¡¤m([]@_TVuW@xS]O_f_ oUdøú_f]O_bUWlbh[^WOsS]@_mp÷n*de]@mOWpQHY(_xh[i_/¢F£?¤£¦j¨7©.ª¦j¬1®QUc-deUdebScmOW:[W@dw;ðS]@T-ðM_]OW@de_ma[^ghTisSW(_fdrW@xS_]

oS[^Wj[ym@WO]@shw:WOsH]O_mTi]A_i_bUWOm÷AtlxS_fbòY(_.xh[-_ [¯öSdrTi¡2m³m@ðh_w:d£[qeqekÍo_poUd£w[W@_po!W@T2WOxH_ oU_m:w:]OdeðSW@drTibõT^V³_-_bUW@mp÷;tlxS_mO_

¯0°±l¤$¦j¨Q©«ª¥¦{¬1®³_:öSðSq£[deb2xSTY [c-de-_fb2_i_bUWA[-w:W@mlsSðhTib2W@xS_mOkUmOW@_¡õQU[bho¤w@xh[bSci_mldeWOmmOW:[WO_i÷(ndebh[qeqek«Q^mOðM_pw:d£[q

löSdeT-¡¤mpQxV½£?¤ÝÕY¿Û½À®Qu[^]O_2[¤mOkUbUWj[iw:WOd£wy¡¤_p[bsSmO_po7W@Tò_p[^mO_yWOxH_yYl]OdeWOdebSc!TVA[¤q£[]Oci_ m@_W¤þ ðMT-mOm@degSqekòdebUñhbSdeWO_TV

oUkUbh[^¡2d£wl[öSdeT-¡¤mp÷

ÞQß½àlßá âlã

ã

=OF7ä«åA=OæÇI

RUW:[WOd£w$8ödeTi¡2mawf[b½gM_y¡[ioU_$TVlWO]j[ioUdeWOdeT-bM[q{ìXmÕù¤¥£§¦{¬±&¤y¿©7£S¬y/®[gMT-sHW oS[W:[¤mOWO]@shw:W@sS]O_m¤T-]Mç:í½×¦j¨¤¥£S½À®a[gMT-sHW

oS[^Wj[$mOW@]OshwËWOsS]@_-÷lù³sSWQhRUW:[W@dw78ödeTi¡2m³¡![k6[^qrm@T6wËT-bUWj[^drbò`³¢ish[^WOdeT-bM[qllWOT-¡¤m\[^bho!üv]O_oUd£w[W@_ma[^ghTisSWl_-_fb«W@mp÷

`³¢ish[^WOdeT-bM[q*[W@T-¡¤m\[^]O_$_p¢ish[qedeWOde_mlgM_WZY__b7WO_]@¡2mAT^V³WOxS_m:[¡¤_am@T-]@WþÿoH[Wj[ûT-];_-_bUW;mOT-]@Wf÷Aüv]O_oUd£w[W@_m []@_

sSm@_poòW@T2_:öSðS]@_mOm$oU_:ñhbSdeW@drTibõw:TibSmOW@]j[debUWOm;sSðMT-bòW@xS_ W@_]O¡¤mp÷ARWj[W@d£w[öSdeT-¡¤m\[^]O_$WOxS_bc-de-_bg«kòw:Ti¡ygSdebh[W@deT-bSmTV

`³¢ish[^WOdeT-bh[^qDlWOTi¡2ml[bho¤üv]O_podwf[WO_fmaYldeW@x2WOxH_qeT-c-d£w[^qwËT-bSbS_w:WOTi]Om:[cZ

1

2}3

\ ÷

RUW:[W@dw[¯ödeTi¡2m(w[^bògM_asHmO_podeb[$c-qeTigh[q"Yl[k2Ti]ldrbò[$qeTSw[q"Yl[kU÷iÂc-qeT-gh[^q"mOW:[WOd£w[¯öSdrTi¡Ç¡ysSm@W(gM_-[qed£o.V Ti]

[qeq"ðMT-m@mOdegSqe_mOWj[^WO_m;TVvWOxS_m@kUmOWO_f¡õQUYlxSdeqe_[qeTSw[q*[¯öSdrTi¡Çxh[^mlWOT$gh_-[^qedo.VXT-]lWOxH_wËsS]O]@_bUWAmOW:[W@_T-bSqekU÷

% z XèP{

È ÂÑÛ!lZ»ø

½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á

Ö

Ó

½«®P½£

¬ê;`³¢ish[W@drTibh[qDlW@T-¡¤m0¦®.é¦¾½±VÖm°Ü

% z XèP{ È ÂÑÛ!Âø ½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á Ö ¤1®P½À£ ¬Sê/¾¥¤yí¦j¤èÖ¿½®ám[¤$®P½À£ä¬ê1¿Û¬¨¤y¿l®£S¤¥£S½À®á^£ Ó ½«®P½£

¬ê;üv]O_podwf[WO_fm2¦®Qé¦¾½±GÖ°Ü

f/üþ*) Ù þÖ h/mId¤þß*²§ßQ£ i Ù þÖ h.

% z XèP{

È ÂÑÛ!l!»ø

½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á

Ö

Ó

½«®P½£

¬ê;RUWj[^WOd£w.þ c-qeTigh[qclöSdeT-¡2m.¦®7£

Ó

½/¿½¤¥®£ ®P½À£ í½¨mÕ(íÀ®À¦x¾¥½m¿ð°b×]½xÙU±&½×oÖ°Ü

B a Ù þÖ

h. 7 a Ù þÖ

-0

f1üþ*) Ù þÖ

-0è7 a Ù þÖ

-0

ÞPlÞP*àÞYâ:£¬ a Ù þÖ

-/

b £þ

Ö © Ö

®: Û \ éêêêêêê ëêêêêêêì

ÞP*à

2

Þ(â £w a Ù þÖ

-«

ÞP*à

3

Þ(â £w a Ù þÖ

-«

ÞP*à\ ÞPYâí£w a Ù þÖ

-«

1

ÞP £w a Ù þÖ

-«

Z b ,øþÞPY £w a Ù þÖ

-«

[ b ,øþÞPY £w a Ù þÖ

-«

RUW:[W@dwûþ ciqeT-gh[^që;[öSdeT-¡¤mA[]O_.ñh]@mOWTi]joU_]V T-]@¡ysSq£[¡![-oU_T^V\_¢-sM[WOdeTibh[q³[W@T-¡¤mAT-]ðS]@_poUd£w[^WO_m wËT-¡ygSdebS_poÍWOTL

c-_fWOxS_];YldeWOx!qeT-c-d£w[^qwËT-bSbS_w:WOTi]Omp÷

tlxS_ÍV sS]OW@xS_]òoU_:ñMbSdeWOdeT-bTVb¯.°±&¤$¦j¨o©.ª¦j¬y/®!þ m@__oU_:ñhbSdeW@drTibd4S÷Ò¥è9].bS__poUm7RUWj[^WOd£wolöSdeT-¡¤m W@xh[W!oUTbSTiW

w:Tib«W:[debòbSTi]A`³¢ish[W@deT-bh[^qlWOTi¡0bHT-]aü ]O_poUd£w[^WO_m[^ghTisSWA_i_bUWOm÷_Yldeqeq*w[qequRWj[W@d£w.löSdeT-¡¤m\[^ðSðh_[]OdebScydebSm@d£oU_

N;kUbh[¡¤dw78ödeTi¡2mpQMRUWj[^WOd£wb¿¬P¨¤¿*löSdeT-¡¤mp÷ltlxS_y[gMT-_yoU_:ñMbSdeWOdeT-bòT^V\RUW:[WOd£w.8öSdrTi¡2mldem[-w:W@sh[qeqek2W@xS_yoU_:ñhbSdeW@drTib

(16)

_m@mO_bUWOd£[^qrqek7WOxS_ym:[¡¤_ [mW@xST-m@_yTVlc-qeT-gM[q³[öSdeT-¡¤ml_:öhw:_ðSW@m W@xh[WbHTÍ`¢-sM[WOdeTibh[qilWOTi¡ [^bhoõü ]O_poUd£w[^WO_my[gMT-sHW

_i_bUWOma[^]O_ðH]O_m@_bUWp÷

% z XèP{

È ÂÑÛ!l »ø

½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á

Ö

Ó

½«®P½£

¬ê;RUWj[^WOd£w.þ qeTSw[qclöSdeT-¡2m.¦®.£

Ó

½1¿Û½¤®£U®P½À£äí½¨mÕYí®¦¾½¿÷°_×è½ÙU±l½×oÖm°Ü

B a Ù þÖ

h.îUþB a Ù þÖ

-« Â½ÃIÄ ® 7iÝ a Ù þÖ

-0

f1üþ*) Ù þÖ

-0îUþef1üþ*) Ù þÖ

-/? Â½ÃIÄ ® 7iÝ a Ù þÖ

-0

ÞölÞö à Þö â £w^Ý a Ùþ

Ö

-0

ëêêêêêêì Þö à 2

Þö â £wiÝ a Ùþ

Ö

-/

Þö à 3

Þö â £wiÝ a Ùþ

Ö

-/

Þö à \ÞPö â £wiÝ a Ùþ

Ö

-/

1

ÞP £wiÝ a Ùþ

Ö

-/

Z b ,øþ§ÞöY £wiÝ a Ùþ

Ö

-/

[ b ,øþ§ÞöY £wiÝ a Ùþ

Ö

-/

e E"ê

Xgf^h{% DÑ!FW

Ó

½EXmÕF½ÕF½À® ¬ê/±&¤¥£§ÕYí¤¿R® ¤y±&×2Ö¬¬¿Û½¤y±Y®áä¤í½.é¦¾½±VÖm°Ü

1

þed¤þ

(

üþ*)Hþ%]þüõ??

üþË2õI?èþ òDyßþ§)) òDyßþeËÞ?" Þ

üþË2õI?èþ õõöÿþ§)) mõõöXþ§lü?"²ü

¡è¡Uþþ*?èò*ßà¥þ*?èò*ßâPd¡è¡Uþ§þ?]ò*ßâèþ*?èò*ßàÀ

tlxS_üv]@_poUd£w[^WO_]6

1

þd¤þ

(

üþ)Hþe%èþPüõ?l¡¤_p[bHmlWOxh[^WlWOxS_ðS]@_poU_pw:_fmOmOTi]TV³_f]OT2demlbSTiWAoU_:ñhbH_po"÷tlxS_`³¢ish[W@deT-bh[^q

lWOTi¡2mT^VcÊý&þýlþ òDyßPÊý&þý&þ õõö6üþ*ËõI?]þ òDyßþ§)) òDyßþeËØÞ?MsÞ![^bho5üþË2õI?èþ õõöXþ)) õõöXþ&ü?Dsü

¡2_[b$WOxh[^W([-oSodrbHc[;-[^qrsH_(W@T [¢-sH_sS_a[^bho.WOxS_b¤]O_¡¤TUdrbHcA[-[qesS_V ]OTi¡W@xh[W(¢isS_fsS_AoUTU_mObWl[ú"_pw:WWOxS_¢-sH_sS_-÷

tlxS_!`³¢ish[W@drTibh[qilW@T-¡ T^V þ? òDyßP6 ¡]¡þ§þ?]ò*ß à þ?]ò*ß â <T¡è¡Uþþ*?èò*ß â þ*?èò*ß à ¡2_p[^bSmWOxh[^WWOxS_yTiðh_f]j[W@T-]b¡]¡¤T-_f]

þ? òDyßAm@T-]OW;demaw:Ti¡2¡ysSW:[WOdei_]6uwËT-¡ygSdebSdebScWZYT2_f-_bUWOmT^V bM[WOsH]j[qdebòðh[]:[qeqe_q*oUTU_m@b*Wo_ðh_fbhoòTibòWOxH_T-]:oU_]TV

WOxH_ w:T-¡ygHdrbM[WOdeTib*÷

ÞQß½àlßï

<ðAAmæÇ=@F¦ä«åA=OæÇI

N;kUbh[¡¤dw:8öSdrTi¡2m³_ËöðHq[^deb

Ó

¬yîõ[^b_f-_bUWl¡2TSoUdøñh_fm(W@xS_mOWj[^WO_TVvWOxS_.mOkUmOW@_¡õ÷tlxS_k!w:T-bSm@demOWOm;TV³w:T-bhodrW@deT-bSmWOxS_

mOkUm@WO_¡ xh[mWOT.¡2__WgM_:V T-]@_-QSoUsS]@debScT-]l[VXWO_]WOxS_;_-_fb«WlW:[i_m(ðHq[iw:_-QS[^bho$TVuoU_fmjw:]@drðHWOdeT-b!TV*W@xS_Am@kUmOWO_f¡õm(m@Wj[^WO_-÷

ÂoUkUbh[¡¤dwl[¯öSdrTi¡dem¡[-o_lTV*WOxH]O__ðh[^]OWOmQSW@xS_lñh]@mOWlTibS_AdemWOxS_q£[gM_qeqe_po$_-_fb«WlW@xh[Wdem(W@TgM_a_ËöðHq[^debS_poygUk$WOxS_

[öSdeT-¡7÷vtlxS_m@_pw:T-bMoõ[^bho¤WOxS_W@xSde]jo!ðM[]OW[]@_ [yw:T-qeqe_pw:W@deT-b!TV(RUW:[WOd£wqeTSw[^qlöSdeT-¡¤m\wËT-¡ygSdebS_poûYldeWOxòw@xh[bSci_mTV

qeTSw[q"m@Wj[W@_mp÷

tlxS_w@xh[^bSc-_mlT^V [$qeTSw[qMmOW:[W@_ []@_wf[qeqe_poØ¢F£S¤¥£S½cxØ¬×¦Ù ¨¤£¦j¬±o©7£S¬y/®ÁUW@xS_¡2_]@c-_bhwË_aT^V(RUWj[^WO_/<!TSoUdøñw[^WOdeT-b

lWOTi¡2ml[bho!RUW:[W@dwJ3Twf[qDlöSdeT-¡¤m([]@_w[qeqe_poØ¢F£?¤£?½xV¬×¦Ù ¨¤¥£§¦j¬y±wz¬ím ÕY¿Û¤^÷

% z XèP{ È ÂÑÛ!

+ ø ½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á Ö ¤1®P½À£ ¬Sê/¾¥¤yí¦j¤èÖ¿½®ám[¤$®P½À£ä¬ê1¿Û¬¨¤y¿l®£S¤¥£S½À®á^£ Ó ½«®P½£

¬ê;RUWj[^WO_/<!TSoUdøñw[^WOdeT-bolWOTi¡@¦ë®0é¦¾½±GÖ°Ü

ñ a Ù þÖ

¼

ß£õþ$i Ù þÖ

-«

¼

Âm@Wj[W@_ ¡¤TSoUdøñw[W@deT-b2[W@T-¡ þ§ÞË2Y;demA¡[ioU_AT^V³WOxS_$mOkU¡ygMT-qU6|$QSYlxSTimO_qe_:V W;ðh[]@WAdemlc-dei_b!g«kò[$qeTSw[qmOW:[WO_

[bMo2YlxHT-mO_.]Odec-xUWlðh[^]OWldeml¡[ioU_AT^V[$W@_]O¡7÷vtlxS_m@T-]OWlT^V³WOxS_qeTSw[^q"mOWj[^WO_ [^bho¤WOxS_.WO_]@¡0xh[i_WOTygM__p¢ish[qZ÷tlxS_

ÞË2MQ?b6|qß\¡¤_p[bHm(W@xh[WlW@xS_qrTSw[^q"mOW:[WO_D?ywOxM[bSci_mAdeWOml-[^qesS_AW@TyWOxS_-[qesS_T^VuWOxH_aW@_]O¡ ßp÷

(17)

¬ê;RUWj[^WO_/<!TSoUdøñw[^WOdeT-bònHT-]O¡ysHq[Ô¦®Q£Ó ½1¿Û½¤®£:®P½£í½¨mÕ(íÀ®À¦x¾¥½m¿ð° ×è½Ùc±&½×-Öm°Ü

|],ò9£¬mñ! Ù þÖ h.

¥F,tmñ

a Ù þÖ -/u7mñ! Ù þÖ -/

4F,tiÝ a Ùþ

Ö

-0 7mñ!mÙvþ

Ö

-/

¦&, 0 à £7þò mñ a Ùþ

Ö

h0 ^Ý a Ùþ

Ö

-0?

0 â £¬mñ!mÙþ

Ö

-0 Û \ 0

à`~

0

â:£´mñ! Ù þÖ -0

~F, 0 £¬mñ!mÙvþ

Ö

h/

b £ Ö © Û

\±Z b ,¶þ 0 £¬mñ!mÙvþ

Ö

h/

RWj[W@_0<!TSoUdøñwf[WOdeTib6nHT-]@¡ysSq£[þ§ÞË 0 dem³_deWOxH_](_f¡2ðSWZkUQIòUQ-W@xh[Wdem³WOTm:[k«QiWOxH_]O_;drmbST [-wËWOdeT-b2[^bho$WOxS_;mOW:[WO_

demlbST-Wl¡¤TSoUdøñh_po"QiT-]A[yRUW:[W@_ <!TSoUdøñw[^WOdeT-blWOT-¡ÖT-]A[yRUW:[WOd£wJ"TSw[^q8ödeTi¡ÇT-]A[yw:Ti¡ygSdebh[W@deT-b$TV³WZY(T$TV³W@xS_mO_

_qe_¡¤_bUWOmgUkW@xS_ymOðM_pw:d£[^q(w:T-bHbS_pw:W@T-]E~$÷ ndebh[^qrqekUQS[!RUWj[^WO_b<!TSoUdøñw[W@deT-bõnHT-]@¡ysSq£[¡![k2gM_ Ti_]j[^qrqe_poÍg«kWOxS_MZ

¢ish[bUW@d¶ñM_]p÷vtlxSdemldeml-_f]Ok2sHmO_:V sHq*WOTy_ËöðHqrd£w:deWYlxSd£w@xÚÞË 0 m@sSðSðMT-]@WOmAYlxHdw@x¤-[]Od£[^gSqe_mp÷

tlxS_.mOkU¡yghTiq~drm[ym@k«bUW:[-w:W@dw.mOkU¡ygMT-q"YlxSd£w@xõoUTU_m@b*Waw:TibUWj[debõ[^bUk2bSTiWOdeT-bòT^V³ðS]O_pwË_poU_bhwË_-÷$PZWAT-bHqrk¤¡2_p[^bSm

WOxM[WlWOxH__qe_¡2_fb«W@mpQSw:TibSbS_pwËWO_poYldeWOx2W@xS_E~[]O_debU-Tiqri_poydeb¤WOxS_m:[¡¤_0ÞË 0 ÷

% z XèP{ È ÂÑÛ! ø ½À£¥Âþi]BO^!//Ö½ ¤_®À¦ëé¥±&¤¥£§ÕYí½á Ö ¤1®P½À£ ¬Sê/¾¥¤yí¦j¤èÖ¿½®ám[¤$®P½À£ä¬ê1¿Û¬¨¤y¿l®£S¤¥£S½À®á^£ Ó ½«®P½£

¬ê;NAkUbh[^¡2d£w:löSdeT-¡¤m0¦ë®0é¦¾½±GÖ°Ü

d a

ÙvþÖ h."þ*?èò*ßQ6

0

'v²?þ?]ò*ßQ£þ$ióÙ þÖ -0?

ÂÃIÄ

® 0

D£¬mñ!mÙþÖ -0

N;kUbh[¡¤d£w[öSdeT-¡¤mA[]O_!w[sHmj[qedeWZkò]@sSqe_m ¡![-oU_$TVlWOxH]O__!ðh[^]OWOm6¤þj|P.[b7_-_bUW$WO_]@¡þ?]ò*ßpQv]O_fðS]O_m@_bUWOdebSc7WOxS_

q£[gM_qeqe_po7T-] wËT-¡2ðMT-sHbho7_-_fb«WQvYlxST-m@_2gM_xh[UdeT-]dem_ËöðHq[^debS_po7gUkõW@xS_ok«bM[¡2d£w$[öSdeT-¡GÁvþÿ¥è[b;Þ*Ë 0 Q 0 Qv]@_ðUL

]O_fmO_bUWOdebSc7[2ðH]O_pw:TibhoUdeWOdeTib*Q³þ4][bgÞË 0 QmhQ"]@_ðS]O_fmO_bUWOdebSc[¤ðhTimOW:w:T-bhodrW@deT-b*÷.tlxS_2[]@]OTYQ' Q"ðS]@TUdo_m[2qeTSw[^q

WO_f¡2ðMT-]j[^q"T-]:oU_]OdebSc2[^mlWOxS_ðS]@_pw:TibhoUdeWOdeT-b!¡ysSm@W(TSwwËsS]AgM_:V Ti]O_W@xS_ðhTimOWjwËT-bhoUdeW@drTib*÷

e E"ê

Xgf^h{% DÑ!&~

z¬í.£

Ó

(þÀß òDyßþeË6

1

þeÓVÊý&þý&þ:²þË

(

ß]ÌYÊý&þýlþ òDyß"'

þeËÈ 0gÍ

üÞÀß òDßþÓwÊýlþPýlþP~ÓwÊýlþPýlþ/6|²üþË2õI?èþ òDyßþeÓVÊý&þý&þ

(

ýùß òDyßþeË2 6òc'±ÓVÊý&þý&þ16|²)) òDyßþeËØ]ÓVÊý&þý&þ

¢½½$½ª]¤:&¿½<_èçú,@cêP¬í«£

Ó

½.£°ù½À® ¬ê.¾¤í¦j¤èÖ¿½®ç

tlxS_v_:öSðS]@_mOm@deT-b

1

þeÓwÊýlþý&þQ þ*Ë

(

ß]ÌYÊý&þý&þ òDyßQdem*[lRUW:[W@dwJ"TSw[qèlöSdeT-¡7QOYlxSdeqe_þeËÈ 0gÍüÞÀß òDyßþeÓVÊý&þý&þ

dem*[b`³¢ish[^WOdeT-bh[^qlWOTi¡õ÷MtlxS_³_:öSðS]@_mOm@deT-bSm"ÓwÊýlþPýlþ/6|²üþË2õI?èþ òDyßþeÓVÊý&þý&þÓwÊýlþPýlþ.6|²)) òDyßþeËØ]ÓwÊýlþý&þ

[]@__:öh[¡¤ðSqe_mTV RWj[W@_/<!TSoUdøñw[W@deT-bnHT-]@¡ysSq£[S÷

tlxS_fmO_2WZYTòN;k«bM[¡2d£w.8öSdrTi¡2moU_mjwË]Odegh_!_i_bUWOm$TVlbh[W@sS]j[^qZQ*W@xS_yñh]@mOWTibS_2_ËöðHq[^debSmxSTY,Y(Ti]?UmWOxH_y_-_bUW

(þÀß òDyßþË2[^bhoòW@xS_$mO_pw:TibhoTibS_$WOxS_y_i_bUW

(

ýùß òDßþË2f÷bawwËT-]jodrbHcW@T!WOxS_m@_N;kUbh[¡¤d£wQ8öSdrTi¡2mQhW@xS_$_-_bUW

(þÀß òDyßþË2l]@_¡2Ti_mA[b!_qe_¡¤_bUWV ]OTi¡0W@xS_ J3Twf[quRWj[W@_EÓwÊýlþPýlþiQSdøV³WOxSdemlqeTSw[qmOWj[^WO_dem;bST-WA[^b_f¡2ðSWZk!¢-sH_sS_-Q

WOxH_y_qe_¡2_bUW]O_f¡2T-_o¤V ]OTi¡ W@xS_6¢isS_fsS_ydemaW@xS_bm@WOT-]@_po7debõW@xS_y-[]@d£[gSqe_EË÷ tlxH_y_-_bUW

(

ýYß òDyßþË2Q[-oSoWOxS_

-[qesS_Ë T-b¤WOxS_qeTSw[qMmOW:[WO_<ÓwÊýlþý&þi÷vtlxSdem(_f-_bUWAw[^bÍ[^qeY\[kUm³TSww:sH]A[mWOxS_]@_dem(bHT-WðS]O_qede¡2debh[^]Okyw:T-bMoUdeWOdeT-byW@T

w@xS_pw"÷

ÞQß½àlßjÞ

B

ã

ôIõ E:öOBI

<!_W:[LZ]OsSqe_m[]@_[.¡2_[byWOTy[-Tid£oyWOxH_aYl]@deWOdebScT^V [b¤debUñhbSdeWO_bUsS¡ygM_]TVuoUkUbh[^¡2d£wl[öSdeT-¡¤mp÷"tlxS_bS_f_po¤TVu¡¤_Wj[¯L

]OsHqr_fmV T-qeqeTYlmlVX]OT-¡W@xS_ysSm@_yTV(Tiðh_]:[W@T-]Om.T-b7_-_bUW@mp÷2nHT-]_:öh[¡¤ðSqe_-QMWOxS_¸÷Y÷yTiðh_]:[W@T-]Tibõ_i_bUWOmQ*Tiðh_]:[W@_mdeb

WOxH_Amj[^¡2_Y\[k.V Ti]([qeqS_i_bUWOm÷i>deWOxSTisSW³¡2_fWj[LZ]OsHqr_fmpQdeW³gM_pw:Ti¡2_mbS_pw:_fmOmj[^]Ok¤WOT_:öSðSqed£w:deWOqekYl]@deWO_a[^qeqSWOxS_oUkUbh[¡¤d£w

[öSdeT-¡¤mpQiWOxS_f]O_YT-sSq£oûgh_T-bH_AVXT-] ÷÷þ _"|iQ_f¥èQS[^bST-W@xS_]lT-bH_AVXT-] ÷÷þ _"|iQ÷Y÷UþX_"|-Q_S¥]QU[bho¤mOTyTib*÷

N<Í_Wj[¯Lÿ]@sSqe_2c-dei_mWOxH_ym?-_fqr_fWOT-b¸TVa[òok«bM[¡2d£w[¯öSdrTi¡õ÷ytlxH_2[-w:W@sh[qloUkUbh[¡¤d£w [¯ödeTi¡2ma[^]O_yq£[W@_] oU_f]Ode-_po

V ]@T-¡ÇW@xS_¡2_fWj[LZ]OsHqr_fm\[^bhoûV ]OTi¡ÇðS]O_f«deTisSmlT-W@xS_]aok«bM[¡2d£wl[¯ödeTi¡2mp÷

ACCESS - Algebraic Concurrent Events for System Specification

10

8

True

False 5

System

Lst5 Lst2 Lst1

Lst3

Lst4

10 8

True

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

//(ev1,ev2)

System

ev1

ev2

System 10 8

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

False

System 5 False

Lst1 Lst2

Lst3

Lst5 Lst4

False 7

11

System

True

False 5

Lst1 Lst2

Lst3

Lst5 Lst4

11 7

System 5 ^False