Instancewise Program Analysis
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Instancewise Program Analysis Pierre Amiranoff — Albert Cohen — Paul Feautrier. N° 5117 January 29, 2004. ISSN 0249-6399. ISRN INRIA/RR--5117--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5)
(6) . !". #%$'&)(*(+&-,./$0(*12435764,8'9:&;(+< =>3@?4&;276A#B1C48EDA&F1C<G(*$'&)( HIKJ+LNM>OBPRQTS+UVM+WYXKZ[M\EUV]^U_\`JaLNM+U bdc`eYf_M\TgBh QTWjiKiejcV\lkKMmc`M+noIpMaconoIKMrqs4tKOjOGuvPRw)WYqFXpWjcV]yxYzp{pxY|;|Y}PRtYh>ipWY~;M+U. [+a Kjj M!q)\Vc`eFkKXpnM!W~jM+qKMacoWYAU\`WY\Vn!WYqpWj]^UVUmcoWYLNMa ejc`\Ve-c`M+W;Ue;qWYejXK\ iKcVe;~jcoWYLiKc`ejiMacV\VM+U%WY\WYqqKK qK\VM!qFXKLM+c eY cVXpq;\`LNMynaejq)\Vc`ej4iejq;\oUa{naWjM+kK ¡£¢ @¤`¥ ¦!§£q^pqK\VMyUVM\oUveYqU_\oWYqpnaM+U%WYc`MNcVM+iKc`M+UVMaq)\VM*k¨F]©coW \`e;qpWY WYqK~;XpWY~;M+U+¦ªWjUVM+kejq\VIpUAqpU\`WjqpnM+lUVMc`WjLNMa ejc`{G MlMZF\VM+qpk\VIKMTnaejqpnaMai^\dejqpk^Xn \VejqN« WYc`WYKM+U\Ve%c`M+naXKcoU«jM iKc`eY ~;c`WjLNU+¦4¬KejclW>nWjU`UejLNejqpejkF0WjUVM+k!kKWY\`W>U_\`cVXpn\VXKc`M+U+{FqnXpk^qK~!WYc`c`WG]^UdWjqpk!\`cVM+M+U+{)qpk^Xn \Vejq« WYc`WjKM+U naWYiK\VXKc`ME\`IKM MaZ^W;n \ L>M+LNejc`]e^naW \`e;qyWjn+nM+U`UVM+k!W \ Ma«;Mac`]>U\VM+iyeY\`IKMEMaZFM*nX^\`e;q®¦AHIKU:naejLNiKMa'\`LNMBnoIWYcoWjn \`Mac`¯*W \`e;qU:naejLNiKX^\`M+k qie;]FqKe;L>WY@\`LNM W;UlWcoW \`e;qpWYXKqn \Vejq"¦ °-±)²@³V´µ ¶j. c`M+naXKcoU«jMmiKc`ej~jcoWYL!U+{;qpU\`WjqpnM+lUVM%WYqpWj]^UVU+{FqpkKXpn \`e;q« WjcVWYKM+U+{)\VcoWYqpU`k^XpnaMacoUa¦. Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.
(7) %.
(8) l
(9) ejXpU"q)\`cVe^k^XKUVejqpU"XKq naW;k^cVM~jSaqpSacoWYjk WYqWY]FUVMdU\`W \`)XKM:W pq k S\`Xpk^MacM*U®iKc`ejipcVS\`S+U®k^M*U®iKc`ej~;c`WjLNL>M*U@Maq XKqqKejLKc`Mq^pqK^k^M ie;q)\oUk MZ^S*nX^\`e;q®{YWYiKiMaS+U:K ¡£¢ @¤`¥ ¦:M*U"M+qpUVMaLpM*U"q^pqKU4k qpU\`WjqpnM*UUVejq)\cVM+iKcVS*UM+q)\VS+UUe;XpU WTe;cVLNMk^M WjqK~;Wj~jM+U"c`WY\VejqKqpMaUa¦FXKc4WEpWjUVMk^M naM:LNe^k^J+M;{ qKejXpUSa\VMaqk^ejqpUM naejqpnaMai^\Ak^M*U ¢ ¢ ¥ ! "p# ¤a¡0% $ [WjX^Z iKc`ej~;c`WjLNL>M*Uc`S+naXKcoU Ua¦4b4ejXpc XpqKM%nMacV\`WjqpMvnaW;UVUVMvk^M%U_\`cVXpn\VXKc`M+Uk^M%k^e;qKqKS+M+Ulk^e;q;\lM%k^ejL!WYqKMmM+U\Tk^Mm\_])iM%LNejqKe;kKMj{ P nM&;XpjqpnX^\M+U"\`WjKM+WYXKZmMa\"M*UWjcVpcVM*U£P {aM+U« WYc`WjKM*U®k qk^Xpn \`e;qnaWji^\VXpcVM+q;\Wl« WjM+XKc"MaZ^W;n \`Mk^M+U"MaLNiKWjnaMaLNMaq)\`U LNSaLNe;c`MWjn+nS*k^S+U®WjX^Z%k^('@Sac`Maq)\`M+U®Sa\`WjiM*U"k^Md) MZ^S+naX^\Vejq®¦: M\V\VM:n+WYcoWjn\VSac`UVWY\VejqBW;UVUVe^nSaM+l* WTnaejLNiKWY\Vejq%M+U\n+WYnXKSaM M+q \`MaLNipUliej]FqKejLNWY®naejLNLNMmXpqKMvejqpn\Vejqc`WY\VejqKqpMaM;¦ ,rµ + ³ - iKc`ej~jcoWYLNLNM+U c`S+naXKc`UV Ua{^WYqWY]FUVMmipWYclqpU\`WYqnM+U+{^« WYc`WjKM+Uk qpkKXpn \`e;q®{^\VcoWYqUVk^Xn \VM+XKcoUa¦ !"
(10).
(11) l
(12) l .
(13) & $ V¢. K ¡ ¢Y¤o¥A ¥. . B¢
(14) G . . . . . . + µ ¶ Y µ F\`W \`MaLNMaq)\_lUM%gEqpWY]^UUa¦¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ §£qU_\oWYqpnaMalUM%gTqWY]FUVUa¦¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦. . O;¦O O;¦ x. - . . xK¦O xK¦ x xK¦ h xK¦ }. *. ±. )8:. hp¦O hp¦ x hp¦ h hp¦ } hp¦ t hp¦ 9. . -. , . . ++ ±)´ ± rµ ¶ ± ¬pcVe;L \VIpM%bdXpUVIpk^e lqH"coWjnaMvgEX^\Ve;L!W \Ve;q[\`e :ejq)\Vc`ej ejcokKU%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ ¬pcVe;L Hc`W;nM+U:\`e :ejq)\Vc`ej ejcokKU ¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ ¬pcVe;L \VIpM H"coWjnaM6mcoWYLNL!WYc \Ve :e;q)\Vc`ej e;c`kpU-¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ :e;q)\Vc`ej e;c`kpUlWYqpk bdc`ej~jcoWYLHMac`LNqW \Vejq ¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ HIpM :e;q)\Vc`ej®gTXK\VejL!WY\Vejq ¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ §£qU_\oWYqpnaM+UlWYqk :e;q;\`cVe; e;c`kKU ¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦. . ^+ ®aY ± r , µ ¶ ± - ¶ ¶ j µ ^ ^- ± }¦O mW \oW -e^k^Ma¨¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ >" DC. <!=. }¦ x. . FE. . ª qp k^qK~ µ. . h }. t 9. ;. z. z O+| jO O O*x O+h BA. O*t *O t. 9p¦ x. . . ( KLUI ¶V VLWM j( µ * OE¨W \`cVZ ¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦xYh. TS. 9p¦O. Z. @?. *. µ Y( ; ¬pcVe;L§£qpU\`WjqpnM*U \VeOE-MaLNe;cV]P5"e^naW \`e;qpUl¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ O+z ª WjM+U ¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ O+z ª XKk^qp~NQTM+nXpcVc`Maqpna M Q )XpW \`e;qpU ¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦xY|. tK¦O tK¦ x tK¦ h. X. (. §£qk^Xpn \`e;qHGdWYc`WjKM*U%¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦. ¶ KLNM AJI K. R. . O x. a µ #"®a j ± [ ¶%$'& ± ( µ %) K ± :e;q)\Vc`ej )\Vc`Xpn\VXKc`M+Uq\VIKM,+.-0/2143.5WYqK~;XpWY~;M ¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ §£q)\`Mac`iKcVe^naM+k^XKcoWY :ejq)\`cVe;®¬e 76mcoWYipI ¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ HIpMmbXpUIk^e lq-H"coWjnaMmgEX^\Ve;LNWY\Ve;q7¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦ HIpMvHcoWjn8 M 6mcoWYLNL!WYc¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦. µ. !. . ª qpk^qK~!H"coWYqUVk^XnMac ¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦%¦%¦v¦%¦v¦%¦v¦%¦%¦m¦%¦v¦%¦v¦%¦%¦v¦%¦v¦%¦m¦%¦v¦xjt. µ. %. ± + . ( µ . ± . $'&YS . -%. _K_a`cbedfgfih. . X. ¶ [ \. ± S ± j(^] ± . * .
(15) & $ V¢. K ¡ ¢Y¤o¥A ¥. . B¢
(16) G . . . O.
(17) . . . . . . . )\oW \`n-ipcVe;~jcoWYLWYqpWj]^UVU!WjL!UyWY\N\VIKM©naejLNiKMa'\`LNM¨naejLNiKX^\oW \VejqeYviKc`ej~;c`WjLiKcVe;iM+c\`M*Ua¦\CBM+UViK\VM-\`cVM+LNMaqpk^e;XpU \`IKMae;cVMa\VnaWYBiKc`ej~jc`M+U`UVM+U!WYqk WYiKipnaWY\Vejq UVXpnanaM+U`U[U\Vejc`M+U+{:\`IKU[e;k ipcVe;KM+L UU_\`mW/k^ ynaXK \ejqpM-ejc[\_:e L!Wjq c`M+W;Ue;qpUa¦ ¬c`U\ejWY'{ ~;MaqKM+c`WjjiKc`ejiMacV\VM+U"eYK\`IKMnejqnc`M\VMiKcVe;~jcoWYLUM+L!WYq)\VnaUWYc`M ^ ;¥o¤ ;¢ ¥{)WYqpk L>e)U_\iKcoWjn \`n+WYFWYqpWj]^UVM+U M+«GWjXW \VM!naejqpUVMac`« W \V«jM¢ ; !¢ ¡0 p o¦yHIpMac`M>WjcVM\VIKc`MaMNL!WYq©ipWjc`W;k^~jL!UTe;c U_\oW \`n>WYqpWj]^UVU cx 9 B\_])iM!U]^U\VM+LNU+{ kKWY\`WY pe ejcvne;qpU_\`c`Wjq)\V0pW;UM*k lWjqpWY]^UUEWjqpk©WjpU_\`c`W;n \Eq)\VM+cViKc`M\oW \`e;q®¦%H"e;~jM\`IKMac*{\VIKM+]¨nejq)\`cVKX^\`M \Ve \VIpMe;cVL!WY ¯+WY\Vejq®{iKc`eFeY_{ne;LNiKX^\`WY\VejqWYqpk-LNiKMaLNMaq)\`WY\VejqeY:WjiKiKc`eGZFL!W \`MU_\oW \`n>WYqpWj]^UVM+UmWYqpk¨\VIKM+cvWYipiKnaWY\VejqpU+¦ HIKM*UM WjiKiKc`eGZFL!W \`MNWjqpWY]^UM*U%k^e-qKej\naWYiK\VXKc`MynaW;UM*Uvq lIKnoI MZKWjn\ iKc`ejiMacV\VM+U%naWjq MyM+« WYXpW \`M+kejq HXKcVqK~j0qpne;LNiKMa\VM k^e;L!WYq^ UViM+nnlWYqp~jXpWj~jM+U4P ;MEejXKqpkKM+kNLNMaLNejc`]>XpUVWj~jMTqyUV])qnoIKcVe;qKejXUAWjqK~jXWY~jM*U h e;c:WjcVcoWG]k^M+iM+qpk^MaqnM+Uejq ¬pejcV\VcoWYqeFejiqKM*U_\oU OGt 0¦ ¬pejcEW>lk^MWYc`M+W>ej4U\`WY\Vn%WYqpWj]^UVUiKc`ejpM+LNU+{^\`IKMac`M%UEWYqKej\VIKM+c+{KLNe;cVMm\VM*noIKqKnaWj'{KpX^\EiKc`ejpWjK]yLNejc`M%LNiejcV\`WYq)\ k^ ynXK\_] U\`WY\Vn:WjqpWY]^UM*U®Wjnov\VIpM WjK\_]v\Ve>¢Y¡'¡£¢j¤ p¥ ¡' ¥ l¢Y¡¢Yy p¡£¥ a¥¡ l¤ p¡ Yp¡' o¦§£qpk^M+M+k{ ipcVe;~jcoWYL UVMaL!WYq)\`n+UEWjU`UV~;qpU _LNM*WYqKqK~ v\Ve W d¡ ¥ a¥¡ g p¡£¢j¤a¡' ¤N¥ ¥ !¥ap¡' vP U\`W \`MaLNMaq)\oUTejcE«GWjcVWYpM*U PRXpUVqK~yqpk^Xpn\V«jM k^MapqK\VejqpU cVXKM+U+{^UM )XKMaq)\`U+{FM\onY¦ ¦A§ \U «jM+cV]NqpWY\VXKcoWY\VeNW \V\`W;noI U\`W \`nEiKc`ejiMacV\VM+U\Ve\VIKM*UMvU]Fq)\`W;n \`nBMaMaLNMaq)\oU 4Mj¦ ~p¦{ naejqpU\`Wjq;\dipcVe;ipWY~)W \Vejq O pUdq)\VM+cVM*U_\`M+kqynaejLNiKX^\`qp~vWvipcVe;iM+c\_] ej@Wm« WYc`WYKM W \WvU\`WY\VMaLNM+q;\ {)WjUV)qK~vlIKMa\VIKM+c IpW;UUe;L>Mm« WYXKM Maejc`M MZ^M*nX^\`M+U+¦4¬pejc LNejc`MmnaejLNiKMZ[WYqWY]FUVM+U+{FW \\oWjnoIKqK~iKcVe;iM+c\`M*Ud\`e!W%pqKs\VM%UVM\leYU]Fq)\`W;n \Vn M+M+L>M+q)\`U%U%qKej\vvipc`W;n \VnaWj'sF ¦ QT¦ ~p¦{ p¤a¡0 ¢ ¢ ¥ `¥`¤ Y¡' Y O n+WYi^\`XKc`M+Um\VIpM!«GWjXpM!eYlUe;L>MN« WYc`WYKM ©W \W U\`WY\VMaLNM+q;\ W;U%W XKqpn \`e;q eY:\VIKMNqFXKLM+c%eY\`LNM*U IpW;UBMaM+q MZ^M+naX^\VM*k¦§£qeY\`IKMac% ejcokKU+{ \ n+WYi^\`XKcVM*U ©WjU%W ^@¤¡0 Es¡ p¥B¥ F¥`¤ ^¡0 K¢Yf¡ ! \oUM+ _¦ EnejXpc`UVMj{ \`IKMl« WYXKs MleY®Wm« WYc`WjKMWY\:WYqF]U\`Wj~jMeY\VIpMTMZ^M+naX^\VejqNUdWmXKqpn\Vejq ejA\VIKM qK\VWY4ne;q;\`Maq)\`UEeYALNMaLNejc`]WYqpkej\`IKMMaZ^M+nXK\Vejq-ipWY\VI-M+WjkKqK~y\Ve!\`IKUmU\`WY~;Mj¦l¬Ke;cBnaejLNiKMZ^ \_]c`M+WjUVejqUa{^\`IKM MaZFM*nX^\`e;qiW \VIL!WG]-qKeY\%M>c`M+nae «jM+c`WjKM cVe;LL>M+LNejc`]j¦§£q\VIpMNn+WjUVMej:qpk^Xpn\Vejq«GWjcVWYpM*Ua{ ML!WG]¨W;UVUVXKLNM\`IKM qFXKLM+c ej"MZ^M*nX^\`e;qpUej Uc`M+naejcok^M+kyW;U:W~jM+q)XpqKMme)e;i[ne;XKq)\VM+c+¦4¬Kc`ejLUVXpnoI[WXKqpn\Vejq ejc {) MvnaWYq k^U`ne «;Mac f s \`IKM%eY\`IKMaclqpk^Xpn\Vejq« WYc`WjsKM+U XpUVqK~yWjqpWY]^UM*U eYqKM+WjcTnejqU_\`c`Wjq)\`U O*x ¦. # " % . $ )( %$. %$ '&. !#". * + , . /" 87 !9 :3 102 $ 43 $65 $ ) $ - $ $ 6 5 ,& < ;( >= "# %$ $ %$ 4?+ 5 # %$ $65 C0 # %$ D CA 0 FE G:H4G I. v
(18) T.
(19) l"
(20). !". A. B -. H. " 8= @B==. J$. MTXpUVM\VIKMT\VMac`L ¡£¢ ¡£¥ !¥ap¡ A ¥l\Ve%c`MM+cA\Vev\`IKMEnWjU`UVn+WYF\_]FiMTUV]^U_\`MaL!U+{;kKWY\`W pe /WjqpWY]^UUAWYqk>WjpU\VcoWjn \dq)\VM+cViKc`M\oW \`e;q!c`WjLNMa ejc`FU+{ \`IpW \k^MpqpMBWYqk!nejLNiKXK\VMEipcVe;~jcoWYL ipcVe;iM+c\`M*UdW \ M+WjnoI!ipcVe;~jcoWYL U\`WY\VMaLNM+q;\*¦Ag \_]FiKnaWYMZKWYLNiKMTU U\`WY\VnmWjqpWY]^UU:)]yWjpU\VcoWjn \ q)\`Mac`iKcVMa\`WY\Vejq OjOY{Kzp{@O+| A \c`MaM*U:e;qy\`IKMy¤ ¥o¤¡0 y a¥!¢ ¡' ¤ E\`ee;iM+c`WY\VMmejqWW \V\VnM ej:WYpU\VcoWjn\EiKc`ejiMacV\VM+U+¦BHIKUmcVM*U_\`cVn \oUl\`IKM>WY\\oWjnoIKLNMaq)\meYdiKc`ejiMacV\VM+UE\VeW d¡ ¥ a¥a¡ N¤ p¡ ¡ ¦v¬KM+r:e;cV^U W;kKk^c`M+U`UM*k[\`IKMWY\\`W;noIKLNMaq)\TeYdU\`WY\VnviKcVe;iM+c\`M*UTW \EW!pqKMacE~jcoWYq \`IpWYq-UV]Fq;\oWjn\Vn%iKc`ej~jcoWYL M+M+LNMaq)\`U+¦ QTMpqKM+LNMaq)\EeY \`IKUlnae;Wjc`UVME~;c`Wjq[WjpU\VcoWjn \`e;q[qF«jej«jM*UW>iKc`Ma«FejXpU K¢ ¡'¡0 z ®eY®\`IKMy¤ p¡ Yp¡' AMj¦ ~p¦{
(21) G¢ ¢ ¡TWYqpWj]^UVU k^U\VqK~jXKUVIKM+UE\VIKMNne;q)\VMZF\EejdXKqpn\Vejq©n+WYU+{WYqpk ^ -«FcV\VXWY]XKqKc`ejUmW!eFeji©UVMa«;MacoWY®\`LNM*Ua¦ 8 @¢ > ¤ p¢ ¡0¡' Yp t :q)\VMa~;c`WY\VM*U%ipWYcV\V\VejqpqK~-q)\Ve-\`IKM WjqpWY]^UU%\`UVMa dKX^\:M[WjcVM[qKeY\WGWYc`MNeYTWYqF]©\_])iM£UV]FU\VM+L{4Wj^ U\VcoWjn\dq)\VM+cVipcVMa\`W \`e;qe;ckKWY\`W pe WYqpWj]^UVUAWje lqp~B\`IKMTW \V\`W;noIKLNMaq)\deYiKc`ej~;c`WjL iKcVe;iM+c\`M*U\VeW p¡£¥ V¥ a¥¡ ¥ ^ ^ ;¥ ! a¥¡ ¤ ¡ p¡' ¦. $ D 3 6$ 5 $ ) $ ) $ $ ) $ N $ " O $ QP %$ R ! *3 !TU" # $ # " $65 $ $N $ J$ ;W X6Y[Z]\_^a`b^6c6dMe 4f Zge -h ^ hQikjl%l%m;n ^po[q j `b^ i Z -r>f p^ ^ e+oJ^ h2l Z npj1s-l e+ct^ j1f o l c j1nalus ctZ s ^6c l%m ^6o m o l#jl ^6v*^ l \ m oJ^ j !j1i w oJ^6o8x py d pz{C| K. `. _K_a`cbedfgfih. `. `. `. +#" 8 $ $1 # 4%$ 5$ L M 6S. `. `. `. f. f. +V.
(22) x. . G:H. . E 43. @ ® :
(23) a"
(24). N. # $6L5 & $ ) $ _ $ !. . ¥ V¥. '. V¢Y"$ V o¥ ¡ +$40K¥a V l¢# ¥o¢#^¡) ¥ V. . V. . . H L $ T $1 $ ) $ $ $ K M?! %$ $. Bq\VIpMyeY\`IKMac IWYqpk{k^ejL!Wjq^£UViM*nn!WYiKipcVe)WjnoIKM*UE\`e¨U_\oW \`n!WjqpWY]^UU%WYc`M!WYKMN\Ve¨naejLNiKX^\`MyiKc`ej~jcoWYLipcVe;iM+c\`M*U%W \ jW q p¡£¥[ o¥ ¤ p¡ p¡' ¦HIKMUej n+WYM*k
(25) ¡ K¥ j¥ lMaqpnaejLNipW;UVUVM+UL>e)U_\:e;cV^U%e;q/WYqpWj]^UVUWYqpk \`c`WjqpU_e;cVL!WY\VejqeY \VIKM 'H"XpcVqK~Y qpne;L>ipMa\VM vnaW;UVUvejv o¡£¢ ¡0 ¤ ¤ Yp¡ V¢c O*t^{x 0{cVe;XK~jIp]©kKMpqKM*k WjU%qKM*U_\`M+k eFejipU!l\VI W !qKM-e)e;i e;XKqpkKU WYqpk WjcVcoWG]/Wjn+nM*UVUVM+U+¦ gEq ¡ ¥ V¢ ¡0 ¥`¤a¡ WYpU\VcoWjn\`UN\`IKM¨c`XKq)\VL>Mnejq)\`cVe;lie;q)\ naejc`cVM*UiejqpkKqK~\`e¨W~j«jMaq \VM+c`WY\Vejq eYTW-U\`W \`MaLNMaq)\*¦ bdc`ej~;c`WjLiKc`ejiMacV\VM+U WjcVMNMZ^iKc`M+U`UVM+k WYqpk naejLNiKX^\`M+kejcM+WjnoI «;M+n \`ejceYE« WYXKM*Uejl\VIKMUXpcVc`ejXKqk^qp~¨eFe;i/ne;XKq)\VMacoU+¦§£qpU\VM*Wjk ejT \`MacoW \`«;Ma]LNM+cV~;qK~kKW \oW pe iKcVe;iM+c\`M*Ua{4LNe;U\ WjqpWY]^UM*U4qN\`IKMlie;])\`ejiMTLNeFkKMaKXpUVMTWY~jM+KcoWYn UVej«jM+c`Ue;cA\VIKMTkKc`M+n\nejLNiKXK\`W \`e;qNeY®U]FLe;n cVM+WY\VejqpU "M;¦ ~¦{)WYc`c`WG] k^M+iM+qpk^M+qpnMTWjqpWY]^UUXpUM*U4q)\`Ma~jM+c4qKM+Wjc4iKcVe;~jcoWYLNLNqp~ O*t ¦4§ \VMacoW \`e;q«;M+n \`ejcoU4WYc`M )XK\VMlk^ M+cVM+q)\AcVe;L\VL>Ma U\`WjLNipU q nejq)\`cVe;iejq)\ ipWYcV\V\VejqpqK~ \VM*noIKqK )XKM+U t v\VIKM+]WjcVM ¡' Y N¥aK @¢ {MZ^naej~;c`WjiKIKnaWY]e;c`kKMac`M+k{ ^ ^ ;¥ Y{ WjqpknejqU_\`c`WjqKM*kyF]ybdc`M+UVKXKc`~jM+c ejc`LXKW xjz 0¦. $ $ $. -(. -+#". D - # %. %3 bV . $ " # ) ) %$. %$ . &. '. . J$. 4" # $ # " . 43 5$ #. µ a " µ Mq;\`cVe^k^XnMWN~;MaqKM+c`Wj"U_\oW \`n WjqpWY]^UUcoWYLNMa ejc`!e;cEUM )XKMaq)\VWY"iKcVe^naM+k^XKcoWY"WjqK~jXpWj~jM*Ua¦ M G+ \VIKq\VIKU>coWYLNMa ejc`@{AejqKML!WG] j¥ d¥ ¢ ¡ `¢j¤a¡¢ ¤ ^¡£¥iKc`ej~jcoWYL iKc`ejiMacV\VM+UNW \!WYq p¡£¥qFXKLMacNeY ^¡' !¥©¤ ¡ p¡' ¦ BXKcNcoWYLNMa ejc` UynaWjM+k K ¡£¢ ¤o¥A a¥©WjqpkcVXKq)\`LNMie;q)\oUyWYc`MXKc\`IKMac[cVMaMac`MaqpnaM+kWjU p o¡£¢ @¤o¥ ¦ Ml"e;cVL!WY]k^MapqKM>qU_\oWYqpnaM+UEW;U ¡ V¢j¤o¥!¢ ¡ V¢j¤a¡' YK {@XKqpk^M+c`U\VeFe^k-WjUB\VMacoW \`e;q-«jM*n \Ve;c`UTMZF\VM+qpk^M+k-\Ve WjcVK\VcoWYc`] c`M+naXKc`UV«jM iKcVe;~jcoWYL!U+¦"HIKMTL!W \`IKMaL!WY\VnaWYFe;XKqpkKWY\VejqNe;cAqpU\`WjqpnM+lUVMTWYqWY]FUVU4U gN¢ ¢ p¢ )¥m¡ K¥ g coW \`e;qpWYWjqK~jXWY~jM*Ulpqp \`Ma]¨cVM+iKc`M+UVMaq)\Bq^pqK\VM!UVM\veYqpU\`WjqpnM*Ua{®Wjqpk¨qpU\`WYqnMalUVMiKc`ejiMacV\VM+UmL!WG]M!naWji^\VXpcVM*k-F] coW \`e;qpWYcVM+WY\VejqpU } ¦dHIKUiWYiMac~;eFM+UA Wjc:Ma];ejqpkNe;XKc iKcVM+«Fe;XpUWY\\VM+LNi^\`U\VeMZF\VM+qpk!\VMacoW \`e;qy«jM*n \`ejcoU4\VecVM*nXKcoU«jM iKc`ej~;c`WjL!Ua{)ejc\`IKM WYqWY]FUVU:ejWjcVcoWG]^U K{uFe{ 9^{x ejclc`M+nXpc`UV«;MmkpW \`WNU\Vc`Xpn \`XKc`M+U O 9^e{ 9 0¦. #. E. !. . ?. -. B M. 0 $ ". " # %$ . " ± µ ¶ µ + ( µ ª XKk^qK~Ee;q \`IKMqpU\`WjqpnM+lUVMdcoWYLNM+:e;cV@{*:M MZF\VM+qpk%\`IKMnejqnMaiK\ej" p¤¡0 ¢ ¢ ¥ \`eWYc`K\VcoWYc`] cVM*nXKcoUV«;M ipcVe;~jcoWYL!Ua¦HIKMT« WYXpWY\VejqNeYqpk^Xpn\Vejqy« WYc`WYKM+U4UWjqpWYej~m\VeipWYcoWYLNM\`MacdiWjU`UqK~%qyW%iKXKc`Ma] XKqn \VejqWYWYqK~;XpWY~;M M+WjnoIU\`W \`MaLNMaq)\UlnaejqpUVk^Mac`M+k WjUlWXKqpn \`e;q®{KKqpk^qK~!WYqk[qK\VWY¯+qK~Ne;qKMvejcLNejc`MBqpk^Xpn\Vejq « WYc`WYKM+U+¦§£q \VIpU ipWjiM+c+{F MmW;UVUVXKLNMBqpeY\ \Ve\`WY;ME\`IKMmejX^\onejLNMmeY"eFejiWYqpky\VM+U\liKc`M+k^naWY\VM+U:q;\`e>W;nanaejXKq)\+¦4HIFXpU+{^:M lnaejqpUVkKMacWUXKiMacoUVM\:ej\VIKMB« WYkN\`c`W;nM*UAejc:\VIpMEMa« WjXpWY\Vejq!ej®qpkKXpn \`e;qy« WYc`WjKM*Ua¦ MBiKc`ejie;UVM\_ eWY\VM+cVqW \V«jM Wj~;ejc` \`IKL!UlejcE\VIKUmMa« WYXpWY\Vejq®¦EHIpMc`M+UVXK\EeYdeY\`IWY~je;cV\VIpLNUlejcmM+WjnoI-qpk^Xn \Vejq« WYc`WjKM%UmW a ^¤a¡0 L!WYipiKqp~©qpU_\oWYqpnaM+U \Ve¨\`IKM WjpU\VcoWjn \L>M+LNejc`]e^naW \`e;qpU%\`IKMa] W;nanM*UVU+¦-§ \U>W V¢ ¡0 @¢ ^¤a¡0 ejq \VIpM Wjc\`M+UVWjq iKc`e^k^Xpn\deY\_:e%LNejqpejkKUAWYqpkNn+WYq>MTM ynMaq)\V]c`MaiKc`M+UVMaq)\`M+k>WjUAW V¢Y¡' Y¢ ¡ `¢ K p¤`¥ } ¦AHIKUdKqk^qp~vXKqpn \`e;qFl ~;«;MvWjq MaZKWjn \lc`M+UVXK\lejcl« WYk[\VcoWjnaM+U+{KW>qKejqUM+qpUVn+WYejqpMBe;cleY\`IKMacoUa¦ HeTe^nXU"e;q%\VIKMne;cVM:nejqnMaiK\`UWYqpk naejq)\Vc`KX^\VejqUa{G Mq;\`cVe^k^XnM +.-0/F1 3l{*WTWYqK~;XpWY~;Mdl \`IIK~jIK0Ma«;Ma;naejqpU\Vc`Xpn\`U e;c\`c`WG«;MacoUqK~-kKW \oW©U\Vc`Xpn \`XKc`M+UW;kKk^c`M+U`UM*k F]qpk^Xpn\Vejq «GWjcVWYpM*U%qW d¡ ¥
(26) V¥ a¥¡ ¥ U Y Y ¦§£q/W¨~;MaqKM+c`Wj iKXpcVie;UVM LNiM+c`WY\V«jMde;c®XKqn \VejqWY @WjqK~jXWY~jM;{+e;XKc\`M+noIKqK )XKM ejXpkvc`M )XKcVMdW;kKk^\VejqpWjjq^ejc`L!W \`e;qvWje;X^\"\`IKMUVIpWYiM ejkKW \oWU\Vc`Xpn\VXKc`M+U+{FXpUqK~Nk^M+kKn+W \VM*k[WjqKqKeY\oW \`e;qpU xjx^{^xjh^{@OGu ®e;c UVIpWjiMvWYqpWj]^UVM+U O*z^{^hKO ¦ CEM*Uip \`MB\`IKMv~jM+qKMacoWY \_]>eY \`IKM>naejq)\Vc`ejU_\`cVXpn\VXKc`M+UEW q + - /21 3l{WjUmUVWjkMe;cVM;{pqpkKqK~[XKqpn\VejqpUB~j«jM ¥ F¢j¤a¡T« WYXKM+UTejcm« WYk\`c`W;nM+UBWYqpk-\VIKU L!WG]>MmXpUVM+k>\Ve>k^Mac`«jM¢ ¢G vWYqpk ;¥ p¥a j¥a¤o¥mq^ejc`L!W \`e;q!eY®c`M+nXpc`UV«;MliKc`ej~jcoWYL!U4l\VI[WjqyXKqKipcVM*nM+kKMaq)\VM*kNiKcVM*nUejq 9K{x 0¦. ". . &. . +. . C( # ". . . " Q 5 # %$ % $ _ 5 # % $ %$ # D ! 4 3 2 " g $ "$ % . ! L
(27) ;^( µ µ : ± [B S ± :IpWYi^\`Maclx%k^M*UVnacVM*UA\`IKMmnaejq)\Vc`ejU_\`cVXpn\VXKc`M+U:WYqpk!\VcoWjnMBUM+LNWjq)\VnaUdej\VIKM + - /21 3 WYqK~;XpWY~;Mj¦ :IpWYiK\VMachk^MpqpM+U[\VIKM WYpU\VcoWjn\Vejq ejc`XKq)\VL>Mne;q;\`cVe;Biejq)\`U q)\`e qpU\`WYqnM+U+¦ :IpWYiK\VMac}/MaZF\VMaqkKU qpk^Xpn\Vejq« WYc`WjKM+U \Ve!c`M+naXKcoU«jMvne;q;\`cVe;WYqpkkKWY\`WNU_\`cVXn \VXpcVM*Ua¦ :IpWji^\VM+cBt>U_\oW \VM*U \VIKM%MaZ^U\VM+qpnM%ejcoW \`e;qpWY@Kqpk^qK~ XKqn \VejqUa¦ :IpWji^\VM+0 c 9vW;kKk^c`M+U`UM*U"\`IKMlne;L>ipX^\`WY\VejqNWYqpkcVM+iKc`M+UVMaq)\`WY\Vejq ejKqpk^qK~vXKqpn\VejqpUAW;U4c`WY\VejqpWj)\VcoWYqpU`k^XpnaMacoUa¦ M ne;qpUk^M+cliKc`W;n \`n+WY@MZKWYLNiKM+Uq :IpWYiK\VMacBu^{^Maejc`Mv:M naejqpnaXpkKMvWjqpk ejX^\`qKM%ejqp~jejqK~NWYqpk[X^\`XKcVM% ejc`@¦. . . K_.
(28) & $ V¢. K ¡ ¢Y¤o¥A ¥. . . B¢
(29) G . . h. . . . . . . . ] # %$ ). . ' . . . . . . . . $ " $ %$ ) " t3 . B M naejqpUVkKMacW UVL>ippM+kyqKeY\`e;q!eY¥ F¥o¤ ^¡' Y ¡ V¢j¤o¥Bl\VI!MaLNiKIWjUVUejqN\VIpMEk^Maq)\Vn+W \Vejq!ejcVXKq)\`LNMEnaejq)\Vc`ejKiejq)\`U+¦ ¬pejcejXKciKXpcVie;UVMj{^W¡ `¢j¤o¥mUlW>UVM )XKMaqnMmeYUV]FLejUnaWYM+k ¢ o¥ B\`IpW \Tk^M+qKeY\`M+UW¤ c ¥¡£¥%MaZ^M+nXK\Vejq[ejWiKc`ej~jcoWYL¦ QW;noIWjM+"c`Ma~jU\VMacoU Ma\VIKM+cl\VIpM o¥ jp [eYAW!U_\oW \`MaLNMaq)\TMZ^M*nX^\`e;qe;cl \oU¤ ¥¡0 ¦ g ¡ V¢j¤o¥ `¥ Ul\VIKM%\`c`W;nM ejWyipWjc\`Wj"MZ^M*nX^\`e;q®{@~j«jMaq-F]-W!iKc`MpZejW[naejLNiKM\VM\VcoWjnaMj¦T§£q©\VIKMcVM+LNWjqk^Mac*{ M lAnaejqpUVkKMacT\`c`W;nM ipcVMaKZ^M+U qpU\VM+W;keY"\`IKM%q;\`XK\V«jM%qKej\VejqeY4cVXKq)\`LNM%ne;q;\`cVe;@ie;q)\+¦ ¬~jXKc`MBx^¦OEipcVM*UM+q;\oUde;XKcc`XKqKqKqK~MZKWYLNiKMj¦§ \:M*W \`XKcVM*UWcVM*nXKcoU«jMTn+WYp\`e \`IKM XKqpn \`e;q®{FqKM+U\VM*k!q!\VIKMmeFkK] ejW eFeji"{^ejiMacoW \VqK~>ejqWYqWYc`c`WG] @¦KHIFXpU+{F\VIKM+cVMvUqKe!ULNiKMvWG]N\VeNc`MaLNe «jME\VIKMvc`M+nXpc`UVe;q®¦§£q \`IKUipWYiMac*Y { ¥ A :¤ YK ¡ p¤a¡B¢ p¡£¥ ¡£¢ ¡£¥ V¥ V¥ a¥¡ ¢Y¡' Y !¡ K¥y p¡£¥N a¥¡ N¡ V¢j¤o¥ V¥ F¥ l¡ K¥a/¤ c ^¡ ¥ ¢ ¥ F¢j¤a¡ p¡£¥ ¡£¢ ¡£¥¤ K¢ `¢j¤a¡ ¥ *¢ ¡0 v¡ K¥>¥ ¥ !¥¡ ¢j¤o¤o¥ o a¥ [¢ j ¥¡ V¢;¤o¥ V¥ ;¦.
(30) , 5$$ # Q3 bT a" %$ <5$ 0 43 3 bT 10 %$ 6$ 5 0 p$ 5 6$ 5 ) B >%3 t3 $65
(31) V 0 $ # "!$#&% ')( ++*: , . 4<(+-&;=. />06 213/547698 8 : ("?@. /<+A+4%3$;"A+% 8 "DBC+#EA)A6 D+#FBG>H++#&% , ("-&. 21I4BKJ$6>% L L "N L ?)M ? 9, ("OK-&P. "!Q.1R65!86
(32) % L. A B C D d E F G. H I. S
(33) !q . ". @H4G e . "4 . s tu uv)w
(34) Exuv$v t7Qy z. I "gf bf
(35) l. T ? NKU+"N ?)M0V( ( +*W)/)<Q% :"N$KY:U+ . 4( <;Z, >("-&6 .XV( ( +*)W)/1 V( ( +*)W)/04>698 8 : ("?[.\V( ( Y*W)/]"AY4%3$;$AY% 8 2"DA+#E_^DA6 D+#FBG>H"Y#`% LL , ("-&. 1a4b^cJ$6
(36) % L :"N$K, U+("-& . ($0!_1ROKP!/6
(37) % . 658 L ". ¬~jXpcVM x^¦O 4bdc`ej~;c`WjL. . d > yq. ¬~jXpcVM x^¦ x 4bdc`ej~;c`WjL. +. - /21 3. ih kjkl0mdn=oqp af
(38) «jMacoUVe;q ej9 > @¦ § \©WjpU_\`c`W;n \oU\VIKM/UVIpWjiM ejNWjcVcoWG]r \VIKc`ejXK~;I W LNe;qKejk \_])iM « WYc`WjKM+URv Wjqpk0zWjcVMNejXKqpk\`e-« WYXKM+U%q\VIKU%LNejqpejk¦ Hc`WG«;MacoUVWjUBeY{WYc`M>MaZ^iKcVM*UVUVM+k .
(39). ¬~jXKc`M/x^¦ x~j«jM*U\VIKM.+.-0/2143 @¦>§£qpk^Xpn\Vejq \`IKcVe;XK~jI F{ WYqpk\`IKMLNe;qKejk-ejiMacoW \`e;q ¦m¬KXKcV\VIKM+cBMaZ^iKWjqpW \`e;qpUEWje;X^\ +.-0/F1 3 kKWY\`WyU\Vc`Xpn \`XKc`M+UEWjqpk-qpk^Xpn\Vejq « WYc`WYKM+U!WjcVM-k^MaMac`cVM*k \`e :IpWYi^\`Mac!}¦ ·M-ipcVM*UM+q;\yq ¬~;XKcVM¨xK¦ h W UVLNiK M+k«jM+c`UVe;q ejB\`IKMU+ - /21 37UV]Fq;\oW Z{ e^nXUqK~!ejq \VIpM nejq)\`cVe;@U\Vc`Xpn\VXKc`M+U+¦ HIKUdUW 0;MTU]Fq)\`WYZ>l\VIyUVejLNMEUViM+nnTnaejqpnaMai^\oUa¦§ \`WjnlqKe;q^0\VMac`LNqWYUdWYc`MTk^MqKM+k!M+UVMalIpMac`Mlq!\`IKMEUV]Fq;\oW Z C nae «jM+c`U \`IKMXpUVXpWjW \`ejLNn U_\oW \`MaLNMaq)\`U+{pqpnaXpkKqK~WjU`U~jqpL>M+q)\`U+{KqpiKX^\ ejX^\`iKX^\vU_\oW \VM+LNMaq)\`U+{ «;ejkyU_\oW \`MaLNMaq)\`U+{)M\`nj¦ U W eFejM+WYq[MZ^iKc`M+U`Uejq naejq)\`WjqpU:W U\:ej®qp \`Wj¯+WY\VejqpUejc:ejqKMBejc. . |Q}C|Y~|C&7
(40) _
(41) K|Y~.S|$Q_|>7uK|. _K_a`cbedfgfih. S C_>$g}C) _. /. _".
(42) }. . ?( C? P/O :"NCKU+ ( ( U/4 T )P$ M O M W T T )P$ M O M . ::= |. &. '. :":"NCNCKKUYU+ (( ?( C? P/O :"NCU+ ( 6 ( U4 . 88 T )P$ M O M W T )T P$ M O L M )W T L T )P" M O M ) T )P$ M O M W T % :+:("? . . ( U/4 % M T"M ( U/4 6 % % ( U/4. V¢Y"$ V o¥ ¡ +$40K¥a V l¢# ¥o¢#^¡) ¥ V. . V. . . .. 66 S1 S2. . . ::=. $&. . ¥ V¥.
(43) . )(+* ',.-)/ )(+* ' ',+-)/.
(44) !"
(45) #. 0
(46) 1 !"
(47) &. ::= |. '. ::= |. ε )(+* ' ',+-). ::= | | | |. "2
(48) 3+4!"
(49) 4
(50) 2
(51) 5
(52) 6 7.8
(53) 29
(54) !"
(55) : / ;4 +84
(56) <$& & ;$& )(+* = 0 .
(57) 2 !
(58) > %' '?.-)%4 +84
(59) : $&. . . &. . . 6 .. 66 .. 66 .. 66 . 6. %$&. S3. . S4 S5. S6 S7. &. ¬~jXKc`M x^¦ h. "+FL>ippM+k. ;'. '@.-)A
(60) 4! 2
(61) ) !"
(62) :. & ne;q)\Vc`ejU_\`cVXn \VXpcVM*U(. UV]Fq)\`W Z. +.-0/2143. )(+*. S8 S9 S10 S11 S12. 6 ( U/4 .. 66 %$&. C
(63)
(64) b}"
(65) K 7i}C . 4S K Cz. LNejc`M eFeji-« WYc`WjKM+U+{WYqk UT\`IKMW;UVUVe^nW \VM*kU_\meYdne;qpU\`WYq)\T\`c`WjqpUVWY\VejqpUe;cE\`IKe;UVM qpk^Xpn\Vejq B « WYc`WYKM+U CED F nejM+n \oUW%UVM )XKM+qpnMTej@U\`WY\VM+L>M+q)\`U+{;ie;U`UK]k^MapqKqK~UVejLNMTqpk^Xpn\Vejq!« WYc`WYKM+U+¦4Qd«;Mac`]MaZ^M+nXK\`WYpM ipWjc\lej4W>iKc`ej~;c`WjL UWYMaM+k{pMa\VIKM+cl)][IpWYqpke;cl)]y\VIKM%ipWjc`UVMac*¦. @H . @
(66) 4! :
(67). . s e+o%q. f[4 e. HG E. Zh. 4 I. I. JKLMONPQRP)S. I. JKLMONPQRP)S. JKL. JKL B. D. T7U;W. TVU;W. X%Y T. X%Y T. Z . X U Y W [. sZs. kl. s e-oJq. k. ∗. X U Y W. B. F. ` a XcbdY ` a Xcbe ` a W.f Xcb. \] ^ _\ W. ` a XcbdY ` a Xcbe ` a W.f Xcb. \] ^ _\ W. D d. G. JKLMONPQgT e+h S. FG. JKLMONPQ T e+h S. G. I. I. G. ] Wi. ¬~;XKcVM xK¦ }. . d. ". X%Y7X4j N. ] Wi. ¬~jXKc`M x^¦ t. nmOo.pcqrcsrct.uqvw4r1xyEznt)o.p{rct)y |}y~t<r1xs. > K& Q(g". )$. XYX4j N. ". 4~sy"qvw"{"vtoEr1xu qgw4pct)xpct)o. g. M U_\oWYcV\ll \`IWjq q)\VXK\V«jM%ipcVM*UM+q;\oW \`e;q[eY\VIpMv\VcoWjnM%UVMaL!WYq)\`n+U:ej4W +.-0/2143/ipcVe;~jcoWYL{FXpUqK~>\VIpM%§£q;\`Mac`iKc`eFnaM k^Xpc`Wj :ejq)\`cVe;p¬e \6mcoWYiKI § ¬K6 ^Wjq!MZF\VM+qpk^M+k!naejq)\Vc`ej pe ~jcoWYiKI O @l \`I!XKqpn\Vejq[n+WYWYqk!cVMa\VXKc`q!qKe^k^M*Ua¦4HIKM § V ¬ 6 W;UVUVe^nW \VM*k!\`e !UlUIpe lq q-¬~jXpcVM x^¦ }p¦ QW;noI M+M+LNMaq)\`WjcV][U\`WY\VM+L>M+q)\+{Kne;qpk^\VejqpWj®WYqpk[XKqpn\Vejq¨n+WYUlW>qKe^k^M%ej"\VIpM%§ ¬K6>¦eE-e;cVM%UViM*nnaWj]. K )z!Maq)\Vc`]/S. . /". . ejqKMvqKe^k^M%UlWjU`UVeFnaWY\VM*k!\Ve!M*WjnoICD . M+W;noIV !eFe;i ~;MaqKM+c`WY\VM+U:\`IKcVM+M%qKe^k^M+U 4qp \`Wj¯+WY\Vejq Maq)\`cV] {nejqk^ \`e;q \VM+cVLNqpW \`e;q {pWjqpk \`MacoW \Vejq . W. >. F. 4". y KtNqpeFkKM%MZ^U\`U e;clM+W;noI[XKqn \Vejq-n+WY'¦. &. (. &. (. [S. ". K_.
(68) & $ V¢. K ¡ ¢Y¤o¥A ¥. . . B¢
(69) G . . t. y Kt. HIKMN\VM+c`WY\Vejq¨qKe^k^M>e;e TUT\`IKM>W;U_\vqKe^k^MNeYd\`IKMNeFe;i¨KeFno¨Wjqpk¨M+W;kKUB\Ve \VIKM!naejqpk^\VejqqKe^k^Mj¦26m«;MaqW[XKqpn\Vejq n+WY q\VIKM ipcVe;~jcoWYLUVejXKconM;{^\VIKM+cVMUTWjq-M+k^~;M%q\`IKM § V ¬ 6rc`ejL \VIpM qKe^k^MW;UVUVe^nW \VM*ky\`e \Ve!\`IKMne;cVc`M+UViejqpk^qK~ XKqn c\VejqeFkK]j¦ E-ejc`Mae «;Mac*{Y\`IKMac`MEUWYqyM*k^~jMEcVe;L \VIKM " qKe^k^MB\Ve\VIpMmU\`WY\VMaLNM+q;\ eje lcqK~ \VIKMBXKqpn\VejqnaWYq \`IKM Ue;XKconMviKc`ej~jcoWYL¦ He-ejc`Kk L>ie;U`UVKMyL!W \onoIKqK~;UeYlXKqpn\Vejq/n+WYUWYqpk c`M\`XKc`qpUa{40¦ M;¦{4\`e©iKc`M+UVMac`«jM!naejq)\VMaZ)\V UVMaqU\V«F \_] x 9 {A:M iKc`e «FkKMT\VIpME§ K ¬ 6 l \`I Wnaejq)\Vc`ejU_\oWjno O 0{^UVMaMm¬~jXpcVMvx^¦ }p¦4HIKMBc`M+UVXK\:Ud\`IKMm~jcoWYiKI!ejW iKXUIpkKe lq[WYX^\`ejL!W \`ejq®¦4g naejLNiKM\VMm\`c`W;nMEUnoIpWYcoWjn\VM+cV¯aM*kyWjU\VIKMv ejcokyWYejqp~>WipW \`Iyc`ejL \`IKMvqK\VWYqpeFkKME\`e\`IK M >qKe^k^M;{F\VIKM%U\`WjnoNMaqK~ M+L>iK\_] WY\ \VIpM[W \\`MacqKe^k^Mj¦ M[~jqpejc`MN\VIKM ejX^\onejLNM!ejTeFeji Wjqpk\VM*U_\>iKc`M+k^naWY\VM+U+{4UM+M FM+n\Vejq/hp¦ :ejqpUVM )XKM+q)\V]j{ UVejLNM Wjn+nM+i^\VM*kipW \`IpUTne;cVc`M+UViejqpk[\Vey« WjkMZ^M+naX^\Vejq\`c`W;nM+U+{KKXK\EeY\`IKMacoUlL!WG] U\V"\`WjjM%lc`ejqK~NKcoWYqpnoIpM+U+¦ FqpnM:M e^nXUvejqWU\`W \`nNU`noIKMaLNM\VeqpWYLNM>cVXpq;\`LNM!ne;q)\Vc`ejie;q)\`U+{®e;XKcE\`c`W;nMNUM+L!WYq)\VnaUml4L!WY;M\`IKM!UVWjL>MNUVLNiK ]FqK~ W;UVUVXKLNi^\VejqWYqk Mvl"naejqpUVkKMaclWNUXKiMacoUVM\TeY\VIKM%« Wjk \VcoWjnM*U. . @H . . . . h
(70) [ f bhT. :
(71) . +. t
(72) w. ". fy . & . v . . &. gE \`IKejXK~;I+ - /21 3 XpUVM+UyW UV])q)\oW Z{\`IKM¨qpU\`WYqnMalUVM coWYLNM+:e;cV q :IpWYiK\VMac hnaejqpUVk^MacoUNM+W;noI U\`WY\VM+L>M+q)\[WjU WnaWj:\Ve W¨Xpqpn \`e;q/L>ipM+L>CM+q)\VqK~ MaMaLNMaq)\`WjcV]ejiMacoW \`e;qpU+{dnejqk^ \`e;qpWY KcoWYqpnoIpM+U>WYqpk/ \`MacoW \Vejq WjU>q WiKXKc`Ma] XKqn \VejqWY4WjqK~jXWY~jM ¦ M>MZF\VM+qpk-\`IKMNnejq)\`cVe;U\`WjnoejA\VIKM>§ ¬K67\`ey\oWYjM\VIKM*UM>L>ipn\vn+WYUBq;\`e W;nane;XKq)\+¦vHIKM U\`W;no¨WYiKIpWYM\vqKe rIpejkKUmMa«jM+cV]-U\`WY\VMaLNM+q;\vWYMa0¦ E-ejc`Mae «;Mac*{M*WjnoI©U\`WY\VM+L>M+q)\vUmiKc`e «)k^M*k¨WYqWjkKk^\VejqWY4WjM+\Ve UVMaipWjc`WY\VMv\`IKMLNiKn\mXKqpn \`e;q©naWj"cVe;L \`IKMLNiKna \vcVMa\VXKc`q®¦l§ W!WYMa0{ naejc`cVM*UiejqpkpU \Vey\`IKMMa~;qpqKqp~yeYA\`IKM ` ` MaZFM*nX^\`e;qyeY®WU_\oW \VM+LNMaq)\+{FWYqpk qpk^naWY\VM*Ud\`U nejLNiKM\`e;q®¦AQlMa~)WYcok^qK~v\VIKMmne;q;\`cVe;pU\`Wjno@{ ipXpUIpM+U lIpM iejipU ¦ ` ` gEq¨WjkKk^\VejqWY"U\`WY\VMj{naWYM+k V¥a¡ - ¡£¢ ¡£¥{pUBWjU`Ue^nW \`M+k[\VeN\`IKM ne;L>ipMa\VejqeYAM+W;noIU\`WY\VM+L>` M+q)\+¦:HIpM% cVM*UXK\T`UEnaWjM+`k \`IKM F A¡ `¢j¤o¥¢ ^¡ cN¢Y¡ Y©WYqky\`IKM%cVM*ne;~jqK¯aM*ky ejcokKUWYc`MB\`IKM[¥ )¥o¤ ^¡' Y¨¡ V¢j¤o¥ o¦ IKM+q¨WYU\`WY\VM+UEWYc`MvnaejqpUVk^Mac`M+k pqpWj'{p\VIKMWYX^\`ejL!W \`ejqcVM*ne;~jqK¯aM*UlWYd¡ `¢j¤o¥ V¥ F¥ o¦ § \BWjUVeNcVM*nej~;qK¯aM+UipcVMaKZ^M+U ej Y £¡£¥ g>¢Y¡' \VcoWjnM*Udq[naW;UME\VIKMBiKc`ej~jcoWYL7e)e;ipUdqpk^MapqK\VM+];¦ ME\VIFXpU MZKnXpk^MBqKejqK'\`Mac`L>qpWY\VqK~ iKc`ej~;c`WjLNUdq \`IKMveje lqK~¦ ¬~jXKc`M x^¦ 9NiKcVM*UM+q)\`U \VIpMv\VcoWjnM%ipXpUIk^e lq-WYX^\`ejL!W \`ejqeY\VIKM yiKc`ej~;c`WjL¦ M MaZFIpK\TIKM+cVM WNiKc`MpZ[eYAWN« WYk \`c`W;nM. . +(. B"# ]0 $ "$ )T ". # $ $ # . # %$ )" %3 . {
(73) . IABCDδEF F GABCDδEF F GAB B AGE δd δEF X W. I. JKLMONPQRP)S. JKL . A. B. T UW.
(74) ! $%'&( ` ` "$# ` *)+ `,. C. A D . B. X%Y T. D. X%Y7X4j N. C. T UW. δ. δ. X U Y W. XY T. d. X U Y W. δ. XYX4j N. B . E. δ. F A. JKL. ` a Xcb Y ` a Xcbe ` a W.f Xcb F. ` a Xcb Y ` a Xcbe ` a W.f Xcb d G. G. X W. I. E. \] ^ _\ W. )". JKLMONPQgT e+h S. ¬~;XKcVM xK¦ 9 bXpUIk^e lq-H"coWjnaMmgEX^\Ve;LNWY\Ve;q _K_a`cbedfgfih.
(75) . 9. ¥ V¥. V¢Y"$ V o¥ ¡ +$40K¥a V l¢# ¥o¢#^¡) ¥. '. V. . V. . .
(76) .
(77) ". ¬pejcBnaWjcV\_]eYdMZ^ie;UVXKc`MWYqpk-p~jXKc`M+UEcVM+WY\V«jM%\`ey\`IKMc`XKqKqKqK~ MZKWYLNiKMWYqk-l \`IKejXK\Be;U`UTeYdipcVM*nUejq®{ MXpUVMW UVLNiKpM+k cVM+iKc`M+UVMaq)\`WY\Vejq!eY"\VIKMm\VcoWjnaMEiKXUIpkKe lq WYXK\VejL!WY\Vejq[q¬~;XKcVMvx^¦ t \le;L>\`U c`M\`XKcVqU_\oW \`M+U+{)MaZKnMaiK\:e;c n+WYU+{KWYqpk U_\oW \`M+UWjU`Ue^naWY\VM+k!\V e CED F NU_\oW \VM+LNMaq)\`UlWjqpk!\`e>eFeji iKcVM*k^naW \`M+U+¦ e %{F\VIKMviKc`Ma«FejXpU\VcoWjnaMBipcVMaKZycVM*k^XpnaM+U \`e ¦ M%l®XpUVMv\VIKUlULNiK pM*kcVM+iKcVM*UM+q)\`W \`e;q[ej\`c`W;nM+U q\VIKMve;e lqp~p¦. )" @H . )z. IBDF F GBDF F GB B GdF. h
(78). . . . :
(79). I. . . gT\VMac \`IKMEq)\VXK\V«jMmiKc`M+UVMaq)\`WY\VejqyWYe «jM;{Y\`IKU noIpWji^\VM+c~j«jM*UW ejc`LNWjk^MapqK\Vejq eY\VcoWjnaM+U+¦HIpMac`MEUe;qKMEne;q)\VMZF\V'c`MaM iM+cliKcVe;~jcoWYL ¦ \`c`W;nMv~jcoWYLNL!WYc. 0v)w{^0¦ M;¦{KM*WjnoIk^Mac`«GWY\VejqeYiKcVe^k^Xn \Vejq & ( {^\`IKMac`MvUEWipcVe^k^Xpn\VejqUVnoIpMaL!W. GP. P. Oj¦l¬Ke;clM+WjnoInaWj@\`e!WXpqpn \`e;q. S9. ::=. C . v)w. CD. . B . &0x^¦ }p¦O-(. CD. . y Kt. lIKMac`M Wjqpk WjcVMv\`IKM c`M+UViM*n \`«;M%qKejq^0\VM+cVLNqpWYUlej\`IKM%XKqn \Vejq¨n+WY"WYqke^k^];¦ CD>Ul\VIKM\VMac`LNqWY C B WjM+eY\VidIKM n+WY@\Vid eNXKqn \Vejq {KWYqpk C DL!WYc`^U \VIKM%M+qpkeY"\`IKM U\`W \`MaLNMaq)\*{KIKMac`M%W " !U\`WY\VM+L>M+q)\+¦ x^¦l¬Ke;clM+WjnoIe)e;iU\`WY\VM+L>M+q)\. s. & S11( {F\VIpMac`MvWjcVMme;XKcliKc`eFkKXpn \`e;qU`noIKMaL!W;U &0x^¦ }p¦ x( O 0& x^¦ }p¦ hO( O. . {K0¦ Mj¦{KM+W;noI k^M+cV« W \VejqeY4iKc`e^k^Xpn \`e;q. Ls. ::= ε |. . Os. ::= ε |. . C D C D. CD. . CD. . s . Bs. s . Bs. C D
(80). C D
(81). C D . . C D. . . lIKMac`MA\`IKM\`IKc`MaMdqKe;q^0\VMac`LNqWYU { WYqk nejc`c`M+UVie;qpkB\VeT\`IKMeFeji%M+q;\`cV];{G \`MacoW \Vejq Wjqpk%e^k^]j{ c`M+UViM*n \`«;Ma]j¦ L Os CD { CD WYqpk CD WjcVMs\VM+cVLN qpWYUaB{s\VIpMa]¨WYc`M%\`IKMWYMaUBeYA\VIpMeFeji¨M+q;\`cV];{@iKcVM*k^naW \`MWjqpk-\VMacoW \`e;q®{ cVM* UiM+n\V«jM+ ];¦ hK¦l¬Ke;clM+WjnoIne;qpk^\VejqpWj {p'¦ Mj¦{KM+W;noIkKMac`« W \`e;q[ejiKc`e^k^Xpn\Vejq s. ::=. Is. . C D. . Ts. CD. & S10( {F\`IKMac`M WYc`ME\_ eNiKc`eFkKXpn \`e;qpUlUVnoIpMaL!WjU &0x^¦ }p¦ }N( | F . CD. s . CD. y tKcoWYqpnoI!Wjqpk. lIKMac`M\VIpMT\VIpcVM+MTqKejqK'\`Mac`L>qpWjU { WYqk ne;cVc`M+UViejqpk\Ve \VIKMEnaejqpkK \`e;qpWY0{ cVM*UiM+n\V«jM+];¦ CD U\`IKMv\VM+cVLNIsqpWYTsWYMa®ejF"s\`IKM ne;qpk^\VejqpWj'¦ . }p¦l¬Ke;clM+WjnoIKe^no. s. dD4vpc`WjqpnoI®{. . Q& S4( ejcQ& S5( {K\VIKM+cVMvUlWNiKcVe^k^Xn \VejqU`noIKMaL!W. {^'¦ Mj¦{KM+W;noIkKMac`« W \`e;q ejiKc`e^k^Xpn\VejqpU Bs. ::=. . CD. . S 1 . . . Sn. &0x^¦ }p¦ t(. C D. lIKMac`My\`IKMqKejq^0\VM+cVLNqpWY ne;cVc`M+UVie;qpkKU \Ve¨\`IKMKe^no YW qk qKe;q^'\`Mac`LNqpWjU nejc`c`M+UVie;qpk\VeM+WjnoI S1 , . . . , S n U_\oW \`MaLNMaq)\lq\`IKM%KeFno@¦ BsC DU \VIKMv\`Mac`LNqpWj®WYMaeY ¦ . t^¦l¬Ke;clM+WjnoIMaMaLNM+q;\oWYc`]yU_\oW \`MaLNMaq)\. Bs. s. {F\VIKM+cVM%UlW>iKc`eFkKXpn \`e;qU`noIKMaL!W Ss. lIKMac`M HIKM%WYZFejL. . ::=. CDUl\VIKMv\`Mac`L>qpWjWjM+®eY4U_\oW \VM+LNMaq)\. s. . CD. . &0x^¦ }p¦ O(. CD. 9. ¦. eY\VIKMv\`c`W;nMm~jcoWYLNL!WYcU \`IKM%qKe;q^'\`Mac`LNqpWj®WjU`Ue^naWY\VM+k[l \`I\VIKM%Ke^noyeY\VIpM. $65 G. v$t!XKqpn\Vejq®¦. /0K¥m a¥a¡+$65B¡ V¢;¤o¥ $p5m¢ $ V¢ P ¤o¢ ¥ >¡C0p¥v\VcoWjnaMlWjqK~jXWY~jM $65 P E¡C0p¥ ¬pejcBW[~j«jM+q-MZ^M+naX^\Vejq-\`c`W;nM {c`XKq)\VL>M>ne;q;\`cVe;"iejq)\`UmWYc`MUM )XKMaq)\VWY] e;c`k^M+cVM*kWjnanaejcok^qK~!\Vey\VIKMNWYiKiM+Wjc`WjqpnM t ej4U\`WY\VMaLNM+q;\lWYMaUlq ¦ t µ ± ± ± - !G¶ ± /p0 ¥UVM ) XKM+q;\`Wje;c`kKMac B¡ K0 ¥m ¡) ¤¡_"V ¥%3 $ j ¥ $6B 5 ¡Cp0 ¥v¡)V ¢j¤o¥ V ¥t3 F ¥ ¡ < ¢[¡ $Y¡ ¢ !$ ;¥F5$ ¢ j ¥ ¥]F¥o¤#^¡0%$ ©¡ V¢;¤o¥. $p5 . ± µ ) K ± a¥a¡ v¡ ¥ g@¢ a¥ap¡£¥@¤o¥ . =. =. . % " . (. ,. KL. ± L . i. c. . . . P. . . !#"$. . . K_.
(82) & $ V¢. K ¡ ¢Y¤o¥A ¥. . . B¢
(83) G . . u. . #. &. . 4(. Wjqp~ \VIKMWYiKIpWYM\meYAWYMaUa{\VIKM ¡ `¢j¤o¥ ¢ p¢(;¥>c`M+naej~jqp¯+M+kF] UBW[nejq)\`MZF\0cVM+M Wp¦ @¦ WK¦Wj~;MaKcoWYn G\VPIKM[\VcoWjnaM[WYqK~;XpWY~;M!K\`U\VIpM q)\VXK\Vejq UVXKpUVM\NeYl\`IKLM[ c`MaM LNejqKe;k ∗ {dWjqpk k^M+qKeY\`M+U \oUM+LNi^\_] :e;c`k®¦ :M*WYc`];{4 \VIpMBiKc`Maε«FejXpU iKc`M+UVMaq)\oW \Vejq[q \VM+cVL!U eY®\`IKMvq)\`Mac`iKcVe^naM+k^XKcoWY@ne;q)\Vc`ej pe ~jcoWYipI "\`IKM Wje;X^\liKcVe;~jcoWYL7MZ^M+naX^\VejqWYqpLk[ iKXUIpkKe lq[\`c`W;nM%WYX^\`ejL!W \`ejqcVM*ne;~jqK¯aM*Ud\`IKMv\VcoWjnaMmWYqp~jXpWj~jMj¦ 6mcoWYLNL!WYc ~;MaqKM+c`WY\VM+UBL!WYqF]\VM+cVLNqpWYAUVMaq)\VM+qpnM*UB\VIpWY\%WjcVM>ie;U`UKMMaZFM*nX^\`e;qUVM )XKM+qpnM*UEe;c ¦HIKM+UVM!UM+q^ \`MaqpnaM+U>k^MaiMaqpk Ge;Pq/noIKe;naM+U%M\_ MaM+q iKcVe^k^Xn \VejqU 'xK¦ }¦O B\Ve 0x^¦ }p¦ 9 ¦-§£q W-cVM*WYdMaZ^M+nXK\Vejq eY {\`IKM+PUVM[noIKe;naM+U WjcVM k^n \oW \`M+k )] \`IKMejX^\one;L>MeYBeFejiWYqpk \VM*U_\!iKc`M+k^naWY\VM*Ua{dlIpnoI ejXKcN~jcoWYLNL!WYc>k^eFM+U>qKej\\oWYjMPq;\`eW;nanaejXKq)\+¦/§ \>U naXpU_\`ejL!WYc`]%\`eUVWG] \VIpWY\iKc`M+k^naWY\VM+UAWjcVMlqpeY\dq;\`Mac`iKc`M\VM*k qN\VIKMTLNe^k^M+K\VIpMaejc`]UVMaqpUVM {je;cA\VIpWY\ UdW `¢ 7 a¤ p¥ !¢ xjt ¦ MWYc`M!c`MaMy\`eUVMaM+n\lIKnoI iKc`M+k^naWY\VM*UWYqk ejiMacoW \`e;qpUUVIKejXpk M[q)\VM+cViKc`M\`M+k !M;¦ ~P¦{\`IKM iej])\Ve;iM L>e^k^M+ q)\VMac`iKc`M\oU:M+«jM+cV]Ne)e;i ejXpqpk Wjqpk[WjcVcoWG]NUXKUVnacVi^\lq qFXKLMac\`IKMae;cV] x ¦4§£q[\`IKUipWYiMac*{F:Mvl@q;\`Mac`iKc`M\lWjkKk^c`M+U`U naejLNiKX^\oW \VejqUq\VIpMv\VIKM+ejc`]yeYpqK\VMa])0ipcVM*UM+q;\`M+k LNejqKe;kKU ^Ma«;Mac`])\VIKqK~>MaUM%lc`MaL!WjqXKqKq)\VMac`iKc`M\`M+k¦ Qd«;Maq)\VXWY];{WcVXpq;\`LNM!MaZFM*nX^\`e;qL!WG]¨M!c`MaiKc`M+UVMaq)\VM*k©q\VIKMyUVIpWjiMNeYlWYq ¢;¤¡0 G¢Y¡' Y/¡ V¥o¥ O %\VIKMyUVM )XKM+q)\VWY MaZFM*nX^\`e;q pe naejc`cVM*UiejqpkpUv\Ve©\VIKMk^MaiK\VI^0pcoU_\\VcoWG«jMacoU`WYAeYl\`IKMWjn \`« WY\Vejq \`cVM+Mj¦HIpUcVM+iKc`M+UVMaq)\`WY\Vejq UXpUVM+k q \`IKM%ejc`L!WY"kKMpqK\Vejq-ejAqpU\`WjqpnM*Ua¦¬~;XKc`Mx^¦ u>UIKe TUlWjq¨Wjn\V«GWY\Vejq\Vc`MaMve;c @¦ M WjM+"M*WjnoI-WYconvWjnanaejcok^qK~>\Ve \`IKM\oWYc`~jMa\EqKe^k^MU\`WY\VMaLNM+q;\*¦BHIKM\VcoWjnaM UBejK\`WYqKM*k-lIKMcVM*Wjk^qK~N\VIpM ejcokWYejqK~!\`IKMkKMai^\`I^'c`U\E\`c`WG«;MacoUVWj :M+WjnoI k^e lqFWYcok[U\VM+iipcVe^k^XpnaM+U:\VIpM WYconBWYMa0{pWjqpk[M*WjnoIXKiF Wjc`k U_\`MaiiKc`e^k^XpnM*U \VIKM%W;UVUVe^nW \VM*k[e «;Mac`qKM*kyWYMa0¦. <& +( & O( & M?+ 4S. -. $. . -( _" ," $ 0 %$ ) g#"
(84) %". I B D F. d. G B. F. D F. d. G. F. B. G. d. B. , ? P)U M ?)M : A. . -. IBDF F GBDF F GB BGdF F GB B Gd ddDBGdF. ". ¬~;XKcVM xK¦ u 4gln\V« W \Vejq\`cVM+M. _K_a`cbedfgfih. $. ".
(85) ?. . . ¥ V¥. '. V¢Y"$ V o¥ ¡ +$40K¥a V l¢# ¥o¢#^¡) ¥ . V. . V. . K_.
(86) & $ V¢. K ¡ ¢Y¤o¥A ¥. . B¢
(87) G . . . z. . . . . . . . . #@. . . ) " %3 . /". $. $ ) $. HIKU[noIWYi^\`MacyU[k^M*k^naW \`M+k\`e \VIKM©pc`U\yipWjc\yejve;XKc!coWYLNMa ejc` -\VIpM©WYpU\VcoWjn\VejqeY!¡ V¢j¤o¥ V¥ F¥ ¨q)\Ve ¤ Yp¡ G { \VIKMe;cVL!WYlc`MaipcVM*UM+q;\oW \`e;q eY>K ¡ ¢Y¤o¥ o¦ HIKM-naejq)\Vc`ej ejcok/WYU_\`c`W;n \VejqnoIpWYcoWjn\VM+cV¯aM*UWYqq^pqK\VM¨UVM\!eY \`c`W;nMTiKc`MpZFM*UdqyWv\VcoWjn\`WjKM;{jqK \`M£U_\oW \`MTcVM+iKc`M+UVMaq)\`WY\Vejq®¦ MBiKcVM*UM+q)\d\VIKMBiKc`ejiMacV\VM+UAej"nejq)\`cVe;K:e;c`kpU4cVe;L7UVMa«;MacoWY iejq)\`U ej «FMa ipXpUIk^e lq\VcoWjnMyWjX^\Ve;L!W \`Wp{®\`c`W;nMNiKc`MKZ^M+U+{4Wjn \`« WY\Vejq\Vc`MaM+U+{4WYqp> k + - /21 3 ~;c`WjLNLNWjc+¦yHIpUW;U_\ qpUV~;I;\ q)\Vc`e^k^XpnM*U W-ne;q)\Vc`ejA ejcokKUv~jcoWYLNL!WYcv\`IpW \ ~;MaqKM+c`WY\VM+U%W-UVXKiMacoUMa\ eYTne;q)\Vc`ejA ejcokKUa¦ M!\`IKMaq qF«jM*U_\`~)W \VM \`IKMmnaejqpkK \`e;qpU cVM*WY¯+qK~ \VIKMmM )XK« WYMaqpnaMEeY"\VIKMmWjqK~jXWY~jME~jMaqpMacoW \VM*k!F]>\VIKMvne;q;\`cVe; ejcokKU~jcoWYLNL!WYc:WjqpkN\`IKMmUVM\eY naejq)\Vc`ej:e;c`kpUa¦4HIKU noIWYi^\`MacMaqpkpU:l\VI \VIpMmk^M*UVnacVi^\`e;q[eY"\VIKM%ne;q)\Vc`ej:e;c`k!WYqp~jXpWj~jMTq[\`IKMBejc`L eYWpqK\VMa U\`WY\VM WjX^\Ve;LNWY\Ve;q®{^W>naejXKq)\`Mac`ipWYcV\:ej"\VIpMmipXpUIk^e lqy\`c`W;nMvWYX^\`ejL!W \`ejq®¦A¬qWY];{^:MvMZ^ie;UVMBe;qKMmeY"\`IKMvL!WYq c`M+UVXK\`U eY\VIKU ejc`@{Gf_XpU_\` ]FqK~N\VIpM%q)\Vc`e^k^Xpn\VejqeYnaejq)\Vc`ej@ ejcokKUlWjU \`IKMvpWjUVU ejclqpU_\oWYqpnaMalUM%WjqpWY]^UUa¦. Q". H4G . . bh [ f bhT. G[.
(88). . fy. 4
(89) . v . e. . . ". . % . HIKM%ipXpUIk^e lq[\`c`W;nM%WYXK\VejL!WY\Vejq l®IKM+iXpUTiKcVe «;MBWjqLNie;c\oWYq)\liKc`ejiMacV\_]!eYAnejq)\`cVe; ejcokKU+¦. /0 5$$ 0 0 # C0 $6$5 -3 # # ]0 %$ $ # $ $$ 0 0 % $65 # 0 0 0 $!T % 0 a Q C0 q 0 $ u µ - µ ¶ p0 ¥ ¡£¢j¤ $ ¢Y #p¢ )¥ $65¡ 0K¥u"#F ]0 $ Ay¡)V¢;¤`¥B¢#^¡ $ !¢ ¡ $ ! T¤o¢ ¥ %¡ 0K¥mnaejq)\Vc`ej ± µ + µ
(90) ejcok¨WYqK~;XpWY~;M 7ne;q;\`cVe;4:e;c`k >¡ 0K¥N ¥ #p¥@¤o¥ $65 ¢o¥ $65y¢ 4 ¡ ¢Y¡ ¥ N¥ap¡' ¡ 0K¢Y¡ 0K¢ G¥ o¥ #^ ¡ 0K¥a y¥]F¥o¤#^¡0%$ #^¡ $ ¡ j¥¡¤ $ ¥a¡ ¥ [ ¡ B N¡)V ¢j¤o¥*"V ¥%3 @K0 ¢ ¢[¤ $ V¥ J $Y"Y ¤ $ p¡) $ $ F qpnaMv\VIKM U\`W;no!:e;c`k WjqK~jXWY~jMBeYAW>iKXpUVIpk^e lqWYX^\`ejL!W \`ejqUcoW \`e;qpWYu hj|! {^ MmIWG«jM" ±Fµ ±. /K0 ¥ ¢Y p# ¢ )¥ $p5 ¤ $ ¡ $ $ V ¢ ¡0% $ @¢ HIKM>Wjn\V«GWY\Vejq\`cVM+M UmWynaejqF«jM+qKM+q)\TcVM+iKcVM*UM+q)\`W \`e;qeYdne;q;\`cVe;® ejcokKUa¦ IpMaq-\`IKMWYMaeYdqKe^k^M UEWY\E\`IKM \`eji-eY \`IKMBnaejq)\Vc`ejpU\`W;no@{Y\VIpMBne;q)\Vc`ejK ejcokNUd\VIKMmUM ) XKMaqpnaMTeYWYMaU:Wje;qK~v\VIpM V ¢ @¤y 0 eY q!\VIKMmWjn\V«GWYn\VejqN\`cVM+Mj{j0¦ Mj¦{;\`IKM ipWY\VIc`ejL \VIpM%cVeFeY\ \VeNqKe^k^M O0¦:e;q)«;MacoUM+];{)W ejcokyWYMaqK~!W>KcoWYqpnoI eY\VIKM%Wjnn\V« W \Vejq \Vc`MaMvUlWNnejq)\`cVe; ejcok¦. $ . >¡ K¥! a¥¡ ± µ * "*K µ ¶ KL L ± K¥y o¡£¢j¤ ¢ p¢)¥ y¢ F cA¢ ^¡ cN¢Y¡ Y £¡ ¢j¤ W G p¤ ¡ K¢Y¡¡ K¥ V¥¨¥ ; o¡' ¢ o¡£¢ ¡£¥ H ^ ¤ ¡ p¥©¤ K V ¢ ¡0 ¡ A¢;`¤ ¤o¥ o o ¥¢ (q, u) ¤ ¢;¤o¤`¥ o ¥ u ¡ K¥ V¥ ¢Y¢;¤`¤o¥ ¡0 K¢Y¡ -¡ `¢ q¥ o A A¡ ¡£¢j¤ O. =. . . =. . . <. . . . . . . e. . . . . . c. )8:. . . . . . Y. . . . . n. p¬ ejcTMaZ^WjLNiKM;{ Ul\VIKM>nejq)\`cVe;:e;c`keY4\`c`W;nM%iKc`MKZ q IBDdF IBDF F GBDF F GB B GdF F GB B Gd ddDBGdF ¬~jXKc`M x^¦ uF¦. H . . G[ . e. 4 :
(91) l . . "4 . !. . % . HIKM\VcoWjnaM©WYqK~;XpWY~;M©U W CB]Fno WYqp~jXpWj~jM } {B0¦ M;¦{mW/IpM+c`Wjc`noIKnaWjEipWjcVM+q)\VIKM*UUyWYqK~;XpWY~;Mj¦ HIKMcVM*U_\`cVn \`M+k\CB]^no naejqK~;cVXKM+qpnMBe «jM+c ∗ U:\VIKM%ne;qK~jc`XKM+qpnMT~;MaqKM+c`WY\VM*k!F] {)ejclWY ¦ HIKU k^MapqK\VejqqpkKXpnM*U WcVM+lcV\VqK~ c`XKMBe «;Mac ∗ {^ejFL «Fe;XpU]!ne;q pXKM+q;\*¦AHIKU c`XKMBU \VIKMvk^`` cVM*≡ n \ ε\VcoWYqpUVie;UV `\`∈e;q[LeY"\VIKM%ne;q)\Vc`ej@U_\oWjnoNM+IpWG«Fe;c+¦4gTipiK]FqK~ \l\VeyWjq)]yL \VcoWjnMmiKc`MKZ :M%naWjqW;UVUVe^nW \`MmW>LNqpL!WY":e;c`k ¦. $. kW. /K0 ¥!¤ $ ¡ $ $ ¥ ¢G o $+¤a ¢ ¡£¥ ¡ $y¡C0p¥¡)V¢;¤`¥*"`¥t3 p %¡C0p¥ ]0 $ ¡£¥ ¡T¥¥ !¥¡:¡ 0K¥N¤¢G o $65 p $ # $ ¡ 0K¥ V¥ o¡) ¤a¡ ¥ DP j¤ [¤ $ #p¥a¤ow X q+^ e j1i;m ! ^6c[v*^ j o l q jl Z +i w n Zge s+i ^6o j ct^ n Z o m;h ^6ct^ h d f ^ m +r>j Z o%^ o m;npj1i oJe f" \_Zgc h$# Zgc l q+^ l c j1n ^ r c j v*v j c | p. :±. . w. . . . . . `. _K_a`cbedfgfih. `. ``. `. ``. `. `. `. `. .
(92) O*|. . . ¥ V¥. V¢Y"$ V o¥ ¡ +$40K¥a V l¢# ¥o¢#^¡) ¥. '. . V. V. . . $ ± µ - %. j µ /0p¥ UVLNLNqp~ Xpqpn \`e;q N¢1 [¥o¢j¤10 ¡)V¢j¤o¥,"V¥%3 ©¡ $-¡ y¢G o $+¤a ¢ ¡£¥ ¤ $Yp¡) $ ±Fµ ±. /0K¥E a¥a¡ $65B¤ $Yp¡) $ $ l¡ 0K¥ # $Y¡' ¥ap¡" a¥¡$65l¡)V¢;¤`¥u"V¥%3 F¥ $ # $ ¡C0p¥ `¥ ¡) ¤¡£¥ P j¤ ¤ $ #p¥a¤o¥gV ¢Y"[¡C0p¥v 25 #^@¤¡0%$ © ¡C0p¥¤o¢ $ p ¤o¢ " $ ¥o¤¡0%$ $65 ¡ V¢;¤o¥ "`¥t3 )¥ $ ¥¤ $Yp¡) $ $ G ¬pcVe;L qpe e;q®{\VIKMcVM*U_\`cVn \`M+k B]^nonaejqK~;cVXpMaqpnaM lMNnaWjM+k\`IKMy > ¨¤ $ #p¥a¤o¥a¦BHIKMeje lqK~!\oWYKM XpU\VcoW \`M+U \VIpM%M@ ' M+n \Tej\`IKM UVLNL>qK~>XKqpn\Vejqejq-WMa \VcoWjnaMBipcVMaKZ^M+U+¦ Hc`W;nMviKc`MKZ F GBDF e;q;\`cVe;:e;c`k IBDF : IBD GBDF Hc`W;nMviKc`MKZ F GBDF F GB B GdF F G e;q;\`cVe;:e;c`k IBDF : IBD GBD d G Hc`W;nMviKc`MKZ IBDF F GBDF F GB B GdF F GB B Gd ddDBGdF e;q;\`cVe;:e;c`k IBD : dF HIKMmUL>LNqK~ Xpqpn \`e;q[MZF\`MaqpkKUEWjcVc`Ue;q U XKqn \Vejq"{KWYqpkynaejq)\Vc`ejp:e;c`kKU:WYc`MT«jM+cV]NUVLNWjc\`eIKU *$ ¤`¥ # V ¥ ¡) Y @ x^Ob0¦ BWYc`cVUe;qyq;\`cVe^k^XnM+k \`IKM+UVM%nejqnMaiK\`U ejcTW!U\`WY\VM+L>M+q)\_lUVMmWjqpWY]^UUl\VI-k^]FqpWYLNnmipWYcV\V\VejqKqK~¦ H [ bh
(93)
(94) 4 % e "4 % MvLNWG]yWjUVeNk^Mac`«;MBW-¤ $ ¡ $ $ V ¢ !¢% c`ejL \`IKMm\VcoWjnaMB~;c`WjL>L!Wjc+¦HIKU~;c`WjLNLNWjc UV~jqKnaWjq)\V]NkK(@' MacoU cVe;L \`IKMv\VcoWjnaMm~;c`WjLNLNWjcq \VIKc`MaM%WG]^Ua¦ Oj¦ : ejq)\Vc`ej@ ejcokKUne;q;\oWYq qpe>e «;Mac`qKM*kyWYMaUa¦ /K0 ¥N¤ $ p¡) $ @ o¡£¢j¤ y Y $V ¥ $ ¥ ¥ ¢ o ¥ o¦ x^¦ WjnoIqKe;q^'\`Mac`LNqpWjUipcVe «Fk^M+kWYqMaLNi^\_] iKcVe^k^Xn \Vejq"¦ ¤ $ ¡ $ $ ! ¢G o *$ ¤ ¢Y¡ ¥ [ ¡ y$ ¥o¢;¤¨0 ¡ ` ¢j¤o¥> V ¥%3 ; ¦ . =. . %A ". . VL. M. (. . . \. . . )8:. e. 2. #. . . C. 2. . . . . . . G. . I. . . . c,. . . Q. . hK¦§ \`IKMc`~jI)\ IpWYqk¨Uk^M>eYW[iKc`e^k^Xpn\Vejq©naejqpUVU\`UmejLXK\ViKMNqKejq^0\VM+cVLNqpWYU+{\%Umc`MaiKWjnaM+k-F]¨Wjq©qpk^«)k^XpWj iKc`eFkKXpn \`e;q[e;clM+WjnoIqKe;q^'\`Mac`LNqpWj'¦
(95) ¡ p¥ ¢G ¡A ¡£¢ ¡£¥ !¥ap¡ v¢ ^@¤ ¥a¡ ¥ a¥ p¥a¤o¥ V¥!¢ K m-¡ p¥ ¤ ¡ o¡£¢j¤ 4 ¥ d-¡ K¥ ¤ ¡ Y¦. C0 . $65 # $ " #. . C0 $ $ !V V 0 $ $ $ .
(96) Eqpk^Mac\VIKM*UMmne;qpUk^M+c`WY\VejqpU+{ \VIpMEiKc`e^k^Xpn \`e;qpUAe;cd\`IKMBnaejq)\Vc`ejK ejcokKUA~;c`WjLNLNWjcdWYc`Ml\VIpMTeje lqK~{jl\VI!\`IKMBU`WYLNM. qKej\`WY\VejqpUlWjqpk naejLNLNMaq)\`UEWjU:\VIKMv\`c`W;nMv~jcoWYLNL!WYc*¦. v)w. & S9( {F\`IKMac`M WYc`ME\_ eNiKc`eFkKXpn \`e;qpU. Oj¦l¬Ke;clM+WjnoI XKqpn\Vejq-naWj {^0¦ M;¦{KM*WjnoIk^Mac`« WY\VejqeY4iKcVe^k^Xn \Vejq ::=. C . x^¦l¬Ke;clM+WjnoIe)e;iU\`WY\VM+L>M+q)\. s. . CD. Ls. ::=. . Os. ::=. . CD CD. . CD. CD. Bs. |. . Bs. |. . Is. M+qpne;UVqK~. n. ::=. . CD. |. Ts. CD CD. CD. . Fs. U\`WY\VM+L>M+q)\`U+{^'¦ Mj¦{^M+W;noI k^M+cV« W \Vejq eY ::=. Bs. t^¦l¬Ke;clM+WjnoIMaMaLNM+q;\oWYc`]yU_\oW \`MaLNMaq)\. s. . CD. S1. |. ···. . Os. | ε. Os. | ε. & S10( {F\`IKMac`M WYc`ME\`IKc`MaMviKc`eFkKXpn \`e;qpU. s. s. & S11( {F\VIpMac`MvWjcVM%UV Z iKcVe^k^Xn \VejqU. {K0¦ Mj¦{KM+W;noI k^M+cV« W \VejqeY4iKc`e^k^Xpn \`e;q. hK¦l¬Ke;clM+WjnoIne;qpk^\VejqpWj {p'¦ Mj¦{KM+W;noIkKMac`« W \`e;q[ejiKc`e^k^Xpn\Vejq. }p¦l¬Ke;c M*WjnoI Ke^no. | ε. B . |. . | ε. & S4(:e;c,& S5({;\`IKMac`M%WYc`M. CD. Sn. n+1. ipcVe^k^Xpn\VejqpU. | ε. { Ss. ::=. . CD. | ε K_.
(97) & $ V¢. K ¡ ¢Y¤o¥A ¥. . B¢
(98) G . . . OjO. v$t. HIKM WYZ^e;LeY\VIKUl~jcoWYLNL!WYcU \VIKM%pe^noyej\`IKM !XKqpn\Vejq®¦ HIKM%naejq)\Vc`ej ejcokKU ~jcoWYLNL!WYc ~jcoWYLNL!WYclWYe «jMmUlcV~jI)\qKM*WYc*{ mIKM+qpnM%\`Ul~;MaqKM+c`WY\VM*kyWYqK~;XpWY~;MBUc`WY\VejqpWj'¦. /0K¥ ¢ #p¢ ;¥ $65¤ $Yp¡) $ $ G ¢! # a¥¡ $65%¡ 0K¥ ¢Y #p¢ )¥ )¥@¥`¢ ¡£¥ !¡ 0K¥>¤ $ ¡ $ $ G `¢ N¢ HIKMmiKc`eFeYnaejLNM+UcVe;L \VIKMm\`IKcVM+MBWje «;MEejUM+cV« W \`e;qpU\VIpWY\:\`c`WjqpUW \`MT\`IKMBM ' M*n \leY"\VIKM%UVLNL>qK~XKqpn\Vejq®¦d¬pejc M+WjnoI \`c`W;nM%~jcoWYLNL!WYclk^M+cV« W \`e;q®{K M WjU`Ue^nW \`MmW!naejc`cVM*Uiejqk^qp~>k^M+cV« W \`e;qej\`IKMnaejq)\Vc`ej ejcokKU ~jcoWYLNL!WYc*¦dHIKMnaejq)\Vc`ej :±. . . . . (. Y. . '. . . . 2. . ejcokKUA~;c`WjL>L!WjcA~jMaqpMacoW \VM*UAWYqF]U\`W;no ejcokNnejc`c`M+UVie;qpk^qK~m\VeWvipWY\VINP Wjn+nMaiK\VqK~%ejcdqpeY\AP qN\`IKMEiKXUIpkKe lq\`c`W;nM WjX^\Ve;LNWY\Ve;q®¦ HIKM qKMZF\NnoIpWYi^\`MacllUIKe 7\`IpW \\VIKMne;q;\`cVe;d ejcokKU ~;c`WjL>L!Wjc ejqK] ~jM+qKMacoW \`M+U naejq)\Vc`ej::e;c`kKU+{AWjU`UXpL>qK~-\`IKM \`c`W;nMv~jcoWYLNL!WYclU`W \VUpM+UW\VM+cVLNqpW \`e;qnacV\VM+cVejq"¦. e. 4 %4
Documents relatifs
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
[…] Chez nous, le parterre […] est composé communément des citoyens les moins riches, les moins maniérés, les moins raffinés dans leurs mœurs ; de ceux
But on another hand, increasing q at constant operative pressure results in decreasing the equilibrium pressure, by decreasing the operative temperature (Figure 9), and finally, it
R´ esum´ e : On pr´esente des r´esultats autour du probl`eme suivant: pour un point mat´eriel dont l’acc´el´eration est born´ee par une constante donn´ee, et pour un
Ensuite, pour déterminer lesquelles des voix créées pouvaient être qualifiées d’« androgynes », nous avons fait un test de perception dans lequel nous avons demandé
Toutefois, des améliorations sont à prévoir car bien que la protection induite par ces glycoconjugués soit significative, elle n’est cependant pas optimale pour mettre
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des
Venant compléter les nombreux guides spécialisés qui informent le touriste gay sur les différents lieux et structures qu’il pourra fréquenter s’il recherche son