XML Schema, Tree Logic and Sheaves Automata
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. XML Schema, Tree Logic and Sheaves Automata Silvano Dal Zilio — Denis Lugiez. N° 4631 Novembre 2002. ISSN 0249-6399. ISRN INRIA/RR--4631--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5) !" # $&%'()
(6) *(+ ,)-/./02143 576812.:9;-<.<-/5>=?6!@A3 -/B!CD E4-<@AF GIHKJMLNOQacPSb`dfRe_NMTV]UWgNVXZhiY\L[djNU`]:X UW^\U_]`JMLNVU R XfkKk2djbl] m\N*b`NVnoHpNVb`noHpNrqtsjujvpO PSw dyxjNML{zpbWN}|f~j~j|}PvpOQkKXZZNVU ∗. +VM ypZZ7 N!mpNVU`nb`hiz4NXqpNV&nXZU`U}df]`bWNVNXfYp]WdZLXf]`Xp Xfq2m7Xb`NMXy]WNmidjZhndZq]`bWNVNVUV)hi]WH XZkpkphnVXy]`hidjqKU]Wd]WHKN}kpbWd\nMNVU`Ulhqpdf)Qgm\d\nYKLNVqA]`U XZqKmQgU`noHpNMLXZUV Qgm\d\nYpLNMqA]oUM\Xfq2mdf]`HpNMb;djbWLUdf+UWNMLhiUl]Wb`YKn]WYpb`NVmmKXy]`XKLX^z4N*bWdjYpZHp^m\NVU`nb`hz2NmXZU Nm\ZNIXfz4NMNVm{]Wb`NMNUM GIHpNVbWNMdZb`N;hi]chU?qKXy]`YpboXf]Wd}Y2UlNI]`bWNVN XfY\]`dZLXy]oX:]`d}bWNXZUWdZq{dZq]WHpNVL XZqKm{]Wb`^]Wd H2XZkpXZkpU!^z2NV]`NMHpq£N¡nMdjXjiUWdyUWhnMNXfm£2nzdZ^¤qKqpxNVXZnbW]WhhdZdZY2qUz4b`NNV]_UW;NVNMXfNMboqnoHpXZNVY\b`U]WdjXZLqKXym£]`XKHKZXjdZUjjhn hixjXZNMqKq¥mUW¢AdZYpLNMN¦b`^qKdfXZ]`qpXZZzpYKXZNZbWNNUMUl+YKGI§]oHpUMh¡UNVXfUWkpk2kKNbWndAhXfXZnoiH^ HKNMq¤m\NVXZihqph§]`H¤¨©VªM«\¬®2¯!°\±`²K¨´³µ®K¶·¯<¶´©y®¹¸´ºQGº*»¼?]`HpNUlhLkpiNU_]Ul]`XZqKmpXfbomdjbm\N½KqKhiqp Qg¦mpdnMYpLNMqA]`U;xyXfhm\h§]_^j?¾Yp];XZmKm\h§]`hidjqKXf4;dZb`¿{hUµqKNMNVmpNVm]`d]oXf¿ZN¡hiqA]`d{XZnVndjYpqA]µ¡gU`noHpNMLXp XLdZb`NXjm\xyXfqKnMNVmUl]`XZqKmpXfbomÀ4dZbQHphnoH¦b`NMjYpXZb:]`bWNVN{XZY\]WdjLXf]`X!Xfb`NqpdZ]*U`Xy]`hUl´XZn]WdZb`^Z}Á LXye_dZb b`NVXjUldjqdZb]WHKhUhqKXZm\N¢AYKXZnM^hU]WHpN8kpb`NVUWNMqKnMNdZ¡XfqÂXjUWUWd\nhXy]`hixjNÃndZLL{Y\]`Xf]WhxZNdZk4NMboXy]`dZb{hiqÄ]WHpN U`noHpNVLXXZqpZYKXZZNjphiqKHpNMb`h§]`NVm8b`dZLÅ]`HpN <djk2NVb`Xf]Wdjb dfÆpÇ*g¦cÈXfqKm8]`HpNhqpHpNVbWNVqA]:ihLh§]oXy]`hidjqKU:dZ b`NMjYpXfb;]Wb`NMN}XfYp]WdZLXf]`X{hiqm\NXfhiqphi]WHXZU`UWdnMhXf]WhxZNMnMdZLLY\]oXy]`hixjN:XfZNVzpb`XjUM dZ)XfGIYp]WHpdZNLnMXfXj]`XUWUdZdfbIQYpXfqpY\bo]`XfdZqpL¿jXyNV]omXÉ]`bWnMNVdZNVqKU;UWhmphiNM]Wb`H NVmz2dZHp]WNVH8bWNjXZU`UlnVd\XfnhiXyNm£]`hixjÊWN¡ËpXZoÌyqKÍymÊXjUWÌfUW«\d\¯n©fhXy¬]WhÌfxZ¯NMÌfµnMdZhULXL]oYpXf]`hXyi]`djhibWxjNN:m7UW^AxZL{NVb`z2UWhdjdZq U XZib`NVXjm\^kKbWdjk2dAUlNmzA^]`HpN¡XZY\]WHpdjb`UV+ÎÃqdZbom\NMbc]WdH2XfqKm\N:z4df]`HdZbom\NVbWNmXfqKmYpqKdZbom\NMb`NVmdjk2NVb`Xf]WdZboUV ;NnMdZLzKhiqpN]WHpN]WboXfqKUWh§]`hidjq8bWNVXf]WhdZqdf?b`NMjYpXZb]Wb`NMN{XfY\]`dZLXy]`dZqhi]WHb`NMjYpXZbdjb`m8NM[\kpbWNUWUWhdZq XZqKmÂnMdZYpqA]`hiqpndjqKUl]WboXfhqj]oUM7GIHKhUN[]`NMqKUWhidjqÄXZkpk2NXfboU{¢AYphi]WN8qKXf]WYpboXfIUWhiqKnMNZHpNMqÄqpdndZYKqj]`hiqK qKnMdZdqKnMUldZ]WboqKXfUlh]WqAbo]`XfU hqAd\]`nMU;nMYpd\bonMUMnMjYpbV\N ;djN*z\]`dZXZz\hi]oqXfhËKq!`ÏVb`ÐjNMjYpÌy«\Xf¯Ãb;©y]W¬b`NMÌyN}¯ÃÌyXfYpX}]WdZUlhLLXfkp]`iXpN¡ LdmpNMpdjbc¡g¦UWnoHKNMLXy]oXpjXZqKmHpNVq ¾;Yphmphiqp>dZq¥]WHpNnXZU`UWhnVXf*ndZqKqpNVn]WhdZqÑz4N]_;NMNVq¥dZZhn¦XZqKmÑXZY\]WdjLXf]`XK:;NÉXfUWdÂkpb`NVUWNMqA] X mpNVnhmpXZzpiNQ]`bWNVNQdZjhn¡]`HKXy] NVLz4NVmpUIQg7Æ\noHpNVLXXjUX{kKXZhiqUWYpzKUWN]V ÒÓAÔÈÕ`Ö× yØ+Z QgcK¡g7Æ\noHKNMLXp]`bWNVNXfY\]`dZLXy]oXpLdmKXfÀdZZhn &. Ü_Vß Ü#,ú -.ÙÛM Úß/Ü_á/Ü á´ÞâÝoÃ ß ß/Þ
(7) Þß<á.Ú là¼ÜÜ_á/ââµ/µ 2ãÀá´Ýà༠á/Üä{._VÝ`ܼÙ0ßcù\ß<Ý KÚá/Ü¡ à1iåÝoÞæMá/Üç< è¼yé´âæ¼Ýo2 ê·á´è¼ß ëi }é´ì}â/ÞíAî ïÃfðWà¼ñÃè¼á´ß/éÃÜòI æ¼êëióWôKì:Ùõ è¼ðf í!yæ¼à"òIìW ðyÜ$ê#æöÜì*ß<íâ%ì: ÷Ü'æ¼& éÃ(øÃìlß/ëiÜlö§á´ö á´ìlà"ùp)ú+Ý`ßû} à"üý þlÜ_ý¼â+ý*+ù2à"ÿ+ü _Ü_ â ∗. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.
(8)
(9) £' l} ! $& ;( ! :# $&%'(){
(10) *().
(11) w:dZYKU:kpbWdjk2dAUldjqKU YKqpNqpdjYpxZNViNnMXjUWUWNm XfY\]`dZLXy]`NVUQm Xfb`zpbWNUM4XfhqKUWh+¢AY YpqpN{idjZh¢jYKN LQgd\mpcXZ iNIm Xfb`zpbWNUÛXjUWUWd\nhTMNZfUWk4TVnhXfNMLNVqj]?m\Tm\hiTVN ¡X:LXfqKhikpYKXf]WhdZq{mpN;m\d\nMYpLNMqA]`U+N]cm\NIU`noHpTMLXZU ÛNVUIm\d\nYpLNVqj]oUI¡gµ\ndZLLN*m\N*qpdZL{zpbWNVYKUWNVU;XfY\]`bWNUcdjbWLNVUIm\N*m\djqpqpTMNUIUlNVLhiÃU_]`bWYKn]WYpb`TMNUM k4NMYKxZNMqA] M]Wb`N?Zb`djU`UlhJMb`NMLNVqj]Àm\Tnb`h§]oU kKXZbÛm\NVUÛXfb`zpbWNUÈT]`h¢AYpNM]WTVUVÛÎÃAXfkpk2XfboX ]ÛXfdZboUÈqKXy]`YpbWNVZm Y\]WhhUWNMb mpNVUcXZY\]WdjLXf]WNU?m XZbWzKbWNU)k4dZYKbcb`XZhUWdZqKqpNMb?UWYpbµnNUcm\d\nYKLNVqA]`U?NM]µm NUWU`X^ZNVb?m XZkpkph¢AYpNVb?X*b`NMXy]`hidjq NMnM]¡XjXUWUWhm\¢jdjYKqpN;qp¢ATVYpN}hpkpihY2N UlXfhNMY\Yp]`dZboU Lb`XyTV]`UWNVYpUVif]`iXfdj]`ZUh¢AhqAYp]WNVTMU b`NVNMU`]cU`XfXZqAqp]`jUVXZpZNMNIqm\k2NXfbWbWN]Wh¢AnY Yp]`hiNVNVb:UV mpXZqKN]WU ]WN TMXZ]WkpYKkpmpb`Ndnom\HKNVNIUQX*¨{m\©TlªMe «\*¬TM]`®KT ¯UlYp°\h±`x²KhiN ¨/³c®K¶·¯<¶´©y®2dZYºQGºNQUl]`XZqKmpXZb`mN¡kKiYKUIUWhiLkpN:k4NMb`LN]W]`XfqA]m\N*m\T½KqKhibIm\NVUInMbWhi]WJVbWNUµm\NQxyXfhm\hi]WT k4dZYKº¡bNViNUUbWm\Nd\noHpnYpNMboLnoHpNMqANVU]oUUW¡YpkpgkpµTM LNVqj]oXfhbWNUUldjqA]qKTVnNUWU`Xfhb`NVUk4dZYpbkpb`NMq2m\bWNNVq£ndZLk\]`NiNUU`noHpTMLXZU QU`Xyg]`hUlc´Xf?hYKU`XfqÄqA]`UlUV]`Xfq2 mpqKXfNIbom7mpNVkpU boYKXfUhUlXdjxyqKXfUÛqKkKnMbWTZhcqKnk4hdZkKYKXZbiNINVm\¢ANIYpnNVNI]W]WiNINUhqKXZXZY\m\]WTdj¢ALYKXyXy]W]`NhidjUqm NV UlXZ]?bWzKX¡bWNkpUb`TVb`UWTMNMZqKYKnMiN;hNMmboU YpqKqN8dZk4UWdZTMqAbo]Xy]`kKNMYpXZbU XjUWUWd\nhXy]`h§·ÃndjLL{Y\]`Xf]Whi mKXfqKU:XmpT½Kqphi]WhdZqmpNVU:U`noHpTVLXjUM2HpTMb`hi]WTm\N dZk4TMboXy]`NMYpb m\NÆpÇ*gc4N] NVUI)hLXÉhinM]`XfXj]WUWhdZUWN qKU mhi qpXZHKY\TM]Wdjb`NMLqAXf]WN]WNUUm\nMNVdZUqKXZUWY\hm\]WdjTMLb`TMXfN ]WNmpUXfqKm U XZnMbWzKN!bWboNXfUkKb`k2TMdjjblYp]hiµNVXfb`Ukpk4{NM]WTMboXfNhi]WÊWNVËpbIompÌfÍNVU ÊXZiÌfj«\JM¯zp©fb`¬NVUIÌf¯XfÌfz4µTMNhU_NM]qpqpYpNjqp N b`NVUl]Wb`hn¼]WhdZqUlk4TVnMhXZiNm YpqpNnMXjUWUWNm XfY\]`dZLXy]`NVU*m Xfb`zpbWNU}m\T_e kpb`dZk4djUWTMNkKXZb}iNU}XfY\]`NMYpboU*N]¢AYph LXZqphikKYpiNm\NVU)Xfb`zpbWNUÀm\Nµm\NVZb`T?qpdZq}z4dZb`qpTcL{YpqphAm\NµUW^AL{z2djiNUÛXjUWUWd\nhXy]Whi·ÃndZLL{Y\]`Xf]Whi_ º:NLXZqphJMb`N k2djYpxZdjhibkpbWNVqKm\b`N NMq!ndZLk\]`NZ }X}djhUVAmpNVUdZk4TMboXy]WNVYpboU?LXfqphkpYpXfqA];mpNVU;m\dZqpqKTMNVUµdZbom\dZqKqpTMNUcN] mpUWhiNV]WU+hdZdZqKk4U*TMbom\XyN]`U}NMYpXfY\boUÛ]`dZLLXZXyqp]`hiNVkKU*Ypm XZ qAXf]?b`zpmpbWNVNU UMm\ÀdZm\qKNqpU}TMnNdjU qjqp]`dZb`XZq{hiqAdZ]`boNVm\UQdZqpm\qKNTMUlNVTUV¢jYKqpNMdZqKY2nMU?NMXLxZNMdZqAq2]VUÛ XyUWe_dZdjY2Y\U:]WTIdjXfbWYpL[NbWJVm Z NNV[\U+kpm\b`NVN;U`]WUlbohdZXfq2q\U b`TMjYphiJVbWNUMÈN]m\NU*ndZqA]`b`XZhiqA]WNU¡mpNnMdZLk\]oXfZNj UldjYKU¡dZb`LNm\N{dZb`LYKiNXfb`hi]WHpLT]`h¢AYpNj! N]W]WNN[ ]`NVNMU}qKUWËphodZÏVqÐjXf!kpÌyk2«\Xf¯Ãbo©yX ¬] Ìyq2¯ÃÌyXyÀ]WYKYpbWqNViLNIdkpmpYpJMhUWN{¢AYpUWhiNjLZkpdZboN{UW¢Ak4YpdZNIYKbQ djNVqU*b`U`Nno]`Hphib`TMNLNVXjUcU nM¡dZqAg¦]WbocXfÀhqAN]W]*NVU?dZmpboUWN ¢AnYpdZNLk\ dZ]oq¦Xfjb`N;N]`djhiqb`NdZ]`z\dZ]`Y\hiNV]`qjNV]U NVUnMdZqA]WboXfhqA]WNUdjq!djz\]WhNMqA] NVUXZY\]WdjLXf]WNUm XZbWzKbWNUb`TMjYphiNVb`UV k4dZYK"cbqiNUWUN*XfzKb`zpXZbWU`NXfUIqA]¢jYKUlYph b NVUlnM] N]Wm\]WTVN*nMhqpmpdZXZYKzpxZNMN}NN*]:nM¢AXjYpUWhÀUWTN*]`NMm qK XZm8Y\m\]WdjN}LLXyXZ]WNqpUMhiJVbWqpN*djqKYKXfUI]WkpYpb`b`TVNMUWNMNQqA]WNVdjUqKU;U`noYpHpqpTVN*LXjdZU;Zh¡¢AYpgNQµL d\mpXZiN #r× Õ % $ ! ¡g¦c2Æ\noHKTMLX¡gµKXfY\]`dZLXy]`NVUIm Xfb`zpb`NVUVAdZjh¢AYpN*Ld\mpXfN &.
(12) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(13) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ. v. { (Û '!µ() Nm\NUWnMbWhz4NX8qKNM nXZU`U*dfI]Wb`NMNXZY\]WdjLXy]`XKÛXfq2mX8bWNVXf]WNVmÉdZZhndZq]`bWNVNVUVÛhi]WH7XfkKkpihnMXf]WhdZqKU ]`d]WHKNkpb`d\nNVU`UWhiqpdZc¡gÄm\d\nYpLNVqj]oU:XZqKm¡g¦ÂU`noHpNMLXZU iO <:GIHKhU¡djbW¿!hU:hiqA]`NMb`NVUl]Whqpb`dZL XkKbWdjZboXfLLhiqpXfqpjYKXfjNQk4dZhqA]:df?xhNM UlhqKnN}hi]¡nMdZYpm8kpb`dyxAhm\N}XUl]Wb`YKn¼]`YpbWNmXfqKm YpqKh§djbWLXfk\ kKbWdAXZnoH]WdÉ]WHpN!hiLkpNMLNVqj]oXy]`hidjq7df ]`ddZU}]`XZbWjN]`hiqp¦¡g m\d\nYpLNVqj]oUM?hq]`HpN U`XfLN!;X^É]WHKXf]V nVdjXyb¡]`hiNMdj[pqKXfUML kpNZ4kpYKUWHKm\dyq¦XZY\]WdjLXf]`XhU¡]WHpN{NVUl]`XZzpihUWHpNVm WXZU`UWNMLzKi^ XZqpZY2XfZN }dZb:k2XfboUlhqpXZkpkph§ QgÉmpdnMYpLNMqA]`UVXfqKmdZ]WHpNVbcdjbWLUdfÛUWNMLh§ÃUl]Wb`YKn¼]`YpbWNmmpXy]oX | ALX^z2NQb`dZYpjHpi^m\NVU`nb`hz2Nm XjXZkpUÀkpNVmp^ZN?]`HpXfN¡z4nMNMXjNVUWm¡UWh]WnMb`XfNM2NnUMdZ)qKÎ]ÛqpNVhUÀn]W]WhHpdZNVqbWNMz4dZN]_b`;N?NMqKNMXyq]`YpXZb`Y\XZ]Wydj]WLdXyY2]`UlXKN?Z]`bWdZNVjNchn XfY\XZ]`qKdZmL¢AXyYp]oXNMb`]W^d b`XZNVqpXjZUlYKdjXZq¡ZdjNq¡UM+]`HpGINMHpL hUXfXfq2kpmQkK]WbWb`dA^ XZno]WHd H2k4XZdZUhqAXZ]¡idZb`NVcXjxAm\h^¦NM}z4ÀNMXZNVqqKmdZHKXjidyU:;jNVhimxjNMzq^¦UWdZxyLXZbWNhdZqpYKdZU]`bWXZNzpUliNNXfbWboNnoHpUlYpNMibo]`UMUVÛÈz2NVdZUWk2]WHNnhb`XfdZiL ^ XHpkpNVboqÉXZn¼m\]`NhnVXfXfhiµqpXZqKmh§]`X8H]`¨HpNM©VdjªMbW«\NM¬]WhMnM®KXf¯ °p±`²K¡¨´³µ®K¶·¯<¶´©y®Â¸/º¡Gº*»¼K]WHpNUWhLkKiNU_]:Ul]`XZqKmpXfbomdjb m\N½2qphiqK¡gm\d\nMYpLNMqA]`UIxyXfhm\h§]_^j Á Zdd\mN[pXZLkKiN!hU]WHpN ¡º¡YKnMN UW^\U_]`NMLdf achNMbonNj dAUldy^AX7¯Ì v cX]_^k4NVmYKqKn¼]`hidjqKXf XfqKZYKXZZN*h§]`HN[]`NMqKm\NmkKXf]l]WNVbWqp<LXy]onoHphqpdZk4NMboXy]`dZboU;dZb QgÂm\d\nMYpLNMqA]`U:LXZqphkpYpXy]WhdZqÛÎÃq ]`HphUµ]`ddZ<Z]`HpN:]_^k4NVUdfÛQgm\d\nYpLNMqA]oU¡¸´dZ!b WÐf"« iÌ *$ #%² WÊoʼ¶´©y®¯<±`²pÊ»Xfb`N LdmpNMNVmz^b`NMZYKXZb ]`djbWqNVNXZY\Xf]WY\dj]`LdZLXy]WXydj]oq XQ XZÁ qKmqpdZ]W]WHpHpNINV]_bc^Nkp[phXfqpL}kpdf4NIkKhXyUc]WZ]WNVhxZbWNMqqLzXy^]ono]`HpHpN¡hiqKËpQoNMÏM[\ÐAkp}bWÌyN«\UWUW¯Ãh©ydZ¬qKU+Ìy¯Ãh©yU ®zKXZ]WHpUWNVNVm{dZb`dZ&^ q 'sn<djAUWXfYpqb`NN[dj]`k2NMNVqKb`UWXfhidj]Whq{dZqKdZU b`mpNMNMjZYpb`NMXfNbÀUM]`» bWNV:NµNVXfm\Y\j]`N}dZLXfY\Xy]`]`dZdZLq*Xydj]obÛX{YpXZqpbWN*boXfXyqK]I¿Z]WNVHKmQNQ]`bWz2NVXZNVUWUhUI¸·]WdZH2ÛXy]W])HKhNQUVVh]`LbWNVkpNµNMLhi]WNMHqA]`qKXfd]WmphdZNVq U dZdfp YpR q\"µ½p[\ÛNÁ:m XfÃqKw¡m(Ç Ypq ) z2<djpYpXZqKq m\XZN§m ]`NMb`qKXy]`hixjNkpb`dZk4djU`Xf ]WdQg¥Æ\noHKNMLXp+ *cXfb`hidjYKU*N[]`NMqKUWhidjqdfI]Wb`NMNXZY\]WdjLXf]`,X u ;XZqKmLdZqKXjm\hn ]`mKbWXyNV]`N{X*zKdZY\j]Vhn n.-dj?qj]`HKb`XXZxZbWN^*Xf]`d}Uld!dZYpz2bNVXfNMkpqkpYKb`djUlNXjmnoH ]`yd ]`HpUl]WNVYKUWNmp^8dj]WbWHp¿{NXfnb`djNLqpkpdfi]µNM[\m\h§h]_b`^8NVn¼df]`;i^LnXfdjqpqKhnkpNVYpbWqpXyN]`mhiqp!h§]`]WHb`NMUWNnoHpU_]`NVbWLY2n¼XZ]WU?YKXfbWq2Nmm XZbWN*zKXjUlNm8dZq8dZbom\NVbWNm!nMdZqA]WNVqj]¡Ld\m\NVUVIgdZb`N}nb`YKnhXfi^jKUWNMxZNVb`XZÀLNMqA]WhdZqKU ]WdXZY\]WdjLXf]`X]`HpNMdjbW^ XZkpk4NVXfbhq8]WHKN¡g¦7Ulk4NVnMh§½4nMXy]`hidjqKUVpkpb`hiqKnMhik2Xfi^]WdN[\kpb`NVU`Ub`NVUl]Wb`hn]WhdZqKUIdjqº¡Gº XfqKmÆpnoHpNMLXZU hq8dZbom\NMb;]`ddjz\]`XZhiq¸´nMidAUlNQ]`dA»;hiqpNXfb nMdZLkpN[\h§]_^dZb UWhiLkpN}dZk4NMboXy]`hidjqKUM º¡d\nYpLNMqA]*]_^k2Nm\NM½Kqphi]WhdZqKU*Xfb`NNM[kKbWNUWUWNVmhqÉX!XfqpjYKXfjNXf¿hq]Wd bWNVZYpXfb¡N[\kpb`NVU`UlhdZq2U:Xfq2m UWk4NVnhi^]WHKN*UWN]Idf)NMNMLNMqA]`U]`HKXy]ILX^z4N*kpb`NVUWNMqA]hq!X{xyXfhm!m\d\nYpLNMqA]pXZUNViÀXZU;ndjqKUl]WboXfhqphiqK ]`XZHpbWNINMhUWb}dZd\LnMNnM]`YphibWLb`NMNVq2U)n]`NVdAU¡dQdZb`bohijm\hNVmbVXfqKw m dZqKdZN]Wb?HKNNM[pXZNVU`LUMÈkKi]`NjHpf/N XQlmpmpddnMnMYpYpLLNMNMqAqA]?]*L]_^Xk2^}Nz20U {NnNMdZ[\LkpbWN;NhiUWqUWxyhzpXfiNhm{zXf^·]WLNMb NVk4XZNMqKb`UQLdfY\;]oºQXy]`Ghidjº q dZ2UWdZLNµdZKh§]oU+NMNMLNMqA]`UV ÁÂqpNVÂUl]`Xfq2mpXfbomÀ¡gÆ\noHKNMLXpHKXjU)z4NMNVqkpb`dZk4djUWNVm}]WdQdyxZNMbondjLNµUldjLN dZp]WHKNhiLhi]`Xf]WhdZqKU+df2]WHpNIºQGº¤Ld\m\NV/+ÎÃqk2XfbW]WhnYpXfbNInMXZqhqj]`NMb`kpb`N])Qg8UWnoHKNMLXy]oX:XZUÛ]WNVbWLU zKYphii]YKUWhiqK!z4df]`HXjUWUWd\nhXy]`hixjN{Xfq2mÉXjUWUWd\nhXy]WhxZNMnMdZLLYp]`Xy]`hixjN¸´Á I»Qdjk2NVb`Xf]Wdjb`U¡h§]`HYpqz2djYpqKm\Nm ]`XZbWbWNVhi]_N}^ZXfY\X]`UWdZh§L]`YKXyXy]o]`XhidjnMqdZqKdZUlb;]Whi]WYpHp]WhNnoHXb`YKNMUWZNYKYpXZ bcb`]Wb`XZNMLN¡NVXfY\dj]`bWdZ¿ÈLXyhi] ]oXHKXZXfb`U N UWdZqpLdZ];NMU`]WXyhL]`hNUl´UIXZkpn]Wb`dZdyb`xZ^ZNV)m!ÎÃhqKqKm\XZNVm\NVNmÀ¢AYKXyHp]`N¡hiNQdjb`bNMkpZYKboXZXZn¼b ]`hnVXfkpYpb`k2dAUlNUXfqKmLXZqA^XfkKkpihnMXf]WhdZqKUbWN¢jYKhib`N]WHpN!YKUWNdf XfqNM[]WNMq2m\NVmLd\m\NM<G)d]WHpN!z2NU_] dZXjcUWUWdZd\YpnbQhXy¿]`hiqpxjdyNÃndZNVLm\jL{NZ4Y\qp]`Xfd]Wh;xZN:dZb`UW¿^LUldz4dZ´XZUMb¡pH2XXZUWUQh§]`nYKdZXyq2]`Ulhihdjm\qNMb`NVdjmYpqKYpm qpboXfHpqpNM¿jqNVm m\N]Wb`XfNMhiNqKU:hi]WhiH]WH8z4Qdf]WgH7XZU`Æ\Ulnod\HpnMNVhXfL]WXfhxZ]`NXK Xfq2m NkKbWdjk2dAUlNµX:qpNM7nMXjUWUÛdf\]`bWNVNXfYp]WdZLXf]`XpqKXZLNVmÊWËpoÌfÍÊÌf«\¯©f¬Ìf¯ÌfdZb+m\NVXZihqp:hi]WH{¡g m]`pHKdXynM]QYpLndZNMq2qAUl]`hUIm\NMXZb qKm]WHpU` N noHpWXfNMLi<XpjbW dj Yp1k N¡Qz4nMNMdZLhNMxZk2NQdAUlhi];hi]WhhdZUq7]WHp¸/N¡X½KUlbohLU_]Ikph§dj½KbWN¿mdZxZq NVb`XfUWY\hdZ]`dZq LdfXy ]o]WX}HpN]`HpÆpNMÇ*djbWg^ XfkKkpiÃhnNVdZmqK]WqpdNVn¡]WdZgb » . . &. ü)ü 32ý54þ.
(14) s. ¨Ì Û¶ ¶´© ? «ZÐf¶´. ¾;^!bWNU_]`bWhn¼]`hiqpdjYpb:Ul]WYKm\^!]WdmpN]WNVbWLhqphU_]`hnXZY\]WdjLXy]Wdjq p;N}dZz\]oXfhqXnXZU`Udf bWNndjZqph VXZzpiN*Xfq\ j YKXfjNVU ]WHKXf]+NVqye_dy^\UÛjdAd\m{ndjUWYpbWNkpb`dZk4NMbW]WhNVUÛXZqKm;NIm\N½KqKN;X¡bWNVXf]WNm}LdmKXfidjZhn?djb+m\d\nMYpLNMqA]`U ]`UWHKhZXyq ]dfhUI)m\djNVYpnMbhmpdZXZZzphnQNQhXZU;qK]`mdNMhiq2[\nXjn¼YK]`m\i^NLXXyUl]ohLnoHpkpNVUh§½K]`NHpm N*xZbWNMNbonUWdZhijdjqpqhVdfXf+zK¡iN gXf7qKZÆpYKnoHpXZZNMLNVUVX ÁXZUXNVXjkpm\hXfqphqjUldjYpXfz2ÈUlNMhq]V ]`HpN}m\N GIHpNndjqA]WNMqA]Qdfc]`HphUQkKXZk2NVb¡hU*XZU:dZidy UVÆNVn]WhdZqÉ|hqj]`bWd\m\Y2nNVU:]WHKNUW^qj]oXy[dfcQg>m\d\nY\ LNVqj]oUIXfqKmQgUWnoHKNML&X 5O ?¡gm\d\nYpLNVqj]oUIXfb`N ]WHKN¡zKXjUlhn¡dZz\e_Nn¼]`U;ndjqKUWhm\NVbWNmhq]WHKhU;;dZb`¿4 ;ÁÅdZÏZb`¿È©ªZ«\Xf¬q¦M®KiM¯¬hU:M®KL¯?d\b`m\NNMNVb`NVUcm¦]WXZdU:XXZUlqhqpdZZbom\NNMb`b`dANVdZm]WNUWmNV¢A]WYpb`NVNMqKNZnANXfUqKmdfcXZYKqqpNMb`XZNMqpL¿ZNMNqAmÀ] K U:Xf¯z4ÌVNMÐNVbWmNM]WNMb`boNMU?NV]WUVd ]WÎÃHpqN ]`HpXfhz4U NM4bodfXfÀLhi]`NU b`ddf] N}XfUld{hiqA]`bWd\m\YKnMNQXqpdZ]WhdZq!dfIÏj©VªM«\¬®2¯?ÊMª`ËK¬Ìy\]`HKXy] nVXfq z2N*xhiNVNmXjU;X]_^k2N}UW^\U_]`NML hU?djb;]`dmpdhqKnMnYpLYKm\NMNqA]`]`UVHpcN Á m\dZhUlk4]WNMhqKboXyn]W]WhdjxZbVN}f]WXZHKUWXfk2]Nn¼hUc]IYKdfUWNV]`mHpN*]`dUlhU_L]oXykp]`iN hi½KkpNb`m!dZk4U`noNMHpbW]WNMhLNVU?XdZÀXZXqpZm\YKd\XZnZYpNQLU_NM]`qAYK]µm\hb`NVNMmAXfhq!bom\]WHpNVU`hU;U)dZkKÀXfk4]WHpNMNb djb`mpNMÎÃqbIdfÆ+NVh§n]o]WUhdZNMqNMLsKÀNM;qA]oNUM kpbWNUlNVqA]*X m\NVnMhmKXfzpN]Wb`NMNidjZhnhqA]WNMq2m\NVm¦dZb}¢AYpNMb`^hiqK!Qg¤m\d\nYpLNMqA]oUM ]`HpNÆHpNXxZNUQÛdZjhn ¸/Æ\+»¼ÛGIHKhU}dZjhnnMXZqÉz4Nhqj]`NMb`kpb`N]WNmÉXjU}X8m\hib`NVn]N[]WNVqKUWhidjqÉdZµ]WHKNUWnoHpNVLX _]_^k2N*UW^Ul]WNVL :h§]`H!dZjhnVXfKdjk2NVb`Xf]Wdjb`UV+GIHKNQUWHpNVXxjNVUµidjZhn:m\NVihz2NVb`Xf]WNVi^b`NVUWNML{zpiNU¡¸/XfqKmN[]WNVqKmpU djq£UldjLNk4dZhqA]`Uo»G Qc;X¢AYpNMb`^ÂXfqpjYKXfjN dZbUWNMLhiUl]Wb`YKn¼]`Ypb`NVm¤mpXy]oXzKXjUlNmÄdjq>]WHpN¤Ìy¬ ¶´M®K¯ ©WÐZ¶´ª
(15) p Nckpb`NVUWNMqA]ÛHpNVbWNcX:UlhLhiXfb)idjZhnfh§]`H*]WHpN;m\h ÈNMb`NMq2nN?]`HKXy]Û;Nµm\NXfjz2dZ]WHhi]WH}djb`m\NVbWNm XZqKmÉYpqpdZbom\NVbWNm¦mpXf]`X8U_]`bWY2n¼]WYKbWNUM HKhiN G QÄdjqp^¦m\NVXZU*hi]WHLYK§]`hUWN]dZNMNMLNVqj]oUMÁ:qpdf]`HpNMb mph ÈNMb`NMqKnMN}h§]`H G QihNVUhq ]WHpN{XZmpm\hi]WhdZq8dZ XZbWhi]WHpLNM]WhnMXf)ndZq2U_]`b`XZhiqA]`UV?ÎÃq ]WHphUNM[A]`NMqKmpNVm8dZZhnf hiNV]:iNVz4LNVNMnMqAdZ] LhiNVqUIXdjm\b:d\hnqKYKUl]`LXfNVq2qAn]VN}Kk4UWYKdjnoU`UlHhzpXZU N}_]W]WdHpNVNMbW[N}kKXZbWNbWUWN*U LnVXfdZbob`m\NQh½KqKNMXfmph§]_U^!nXfdZz4q2NMU_NV]`m8b`XZX{hiqA]W]`HKU XZdZq8q ]WXZHpz2NNVidNnVm!nYp"z b`*b`NMdjqKb nMÃNV]`UIHpNMdfb`cN*XZhq U XZq!NV xZNVq!qYpL{z2NVbdf+½KNMmpUIXfz4NMNVm8Xp nMdZLLHpYph]`XyN¦]`hi]`xjHpNNÉdZXjk4mpNMm\boXyhi]W]`hdZdZboqÑUM dZhi]nLdZYKX^qj]`hihqKqKÄnhm\nNMdjqAqK]oUlXf]WboiXf^hqjkp]ob`UdyxIhm\XZU!N!kpXYpLb`NMd\^Äm\NML;dfdZ]`bhixyªoXfÌ ]WNV WÏfmѶ·®4zAÌ^> ¶·¯/]`±HpNɪo©ykK®KbWÊoN¯ Ul WNVÌfqK¶·®Kn¯N©ydZ® `²K¯<¶·¯<¶´©y®pʼ GIHpNVUWNIndZq2U_]`b`XZhiqA]`UVyZNVqpNMboXf^*mpNMqpdZ]WNVm e{m, n} hq{b`NMjYpXfb+djb`m}NM[\kpbWNUWUWhdZqKUVLXf]`noH k XZbWNQbWNVXfk2NMUl]Wdhi]WhdZdZYpqÉqKm!dfchq]`Hp]WN{HKNMN¡[\QkpgbWNUWUWhÆpdZnoq HpeNMLÈXHpUlNMk4b`NVN nMh§k,½2nVmXy]`hiXfdjqKq m +Á:n §]`XfHpb`NdZYKhZqjH]`NM]`jHpNMhboUU¡hUWUIYKXfnoq!HNM]`qyHKe_Xydy] ^AXfmzp6N:nkdjhi6q2nhnm\NMqKXZnMqKNZm ]`HpNÎÃUlq]WYKÆm\NV^n]WdfhdZ?q nMXf)pboym\hqKN;Xfhqjhi]`]_bW^d\nm\dZY2q2nU_N]`X:b`XZqphiqANM]`ÄU;ndjq XZU`b`UÛNMdZk42NXf]`h§Y\]`]`hidjdZq!LhXyU]`dZqpq}dZ]djdZb)qpYKN*qpdfb` XZqpdZ¿ZYKNbm*Z]Wdjb`XZNMNUVUÛ hi]WHz4df]WHXZU`Uld\nMhXf ]`hixjN}XfqKm XZU`Uld\nMhXf]WhxZNÃndjLLY\]oXy]WhxZN¡Ul^Lz4dZUVnVXfiNm pËpoÌyÍyÊ ¡«\¯Ã©y¬Ìy¯ÃÌ8¸/ÆpÁ¡»¼2GIHpNVUWN}XfY\]`dZLXy]oX b`XZNMbWNXy]`Xhidj]oqXfhdfidjµbWUWNHpmNVXxZxjNVb`NVUWU hidjXZqY\]WdfdjLXZXyY\]`]WXKdj2L;XyN]`X!nMdZXfLbWzKNhiXZqpm\N^ ]WkpHpb`N{dZZk4NVdjqpUWNVNMbomXf)z^8bWYp]`HpNVU NXZdZY\bQ]WbWHKNVdZZboYpU XfOVb ~ ]Wb`*NMÎÃN{qXZ]`Y\Hp]WNdjL]WboXyXf]`qKXUWh§]`hihidj]WHq b`NMjYpXfb;dZbom!NM[\kpbWNUWUWhdZqXfqKmnMdZYpqA]`hiqp!ndZq2U_]`b`XZhiqA]`UVIÎÃq8]WHphU:b`XZLNVdjbW¿Èpb`NMjYpXfb;dZbom!NM[\kpbWNU_ UWhdZqKUIXfdy£]WdNM[kKbWNUWUIndjqKUl]WboXfhqj]oUµdjq UWNV¢AYpNVqKnNUIdf+NMNMLNMqA]`UXZqKm Xfb`N¡YKUWNVm!HpNVq8mpNVXfhqp{hi]WH XjUWUWd\nhXy]`hixjNdjk2NVb`Xf]Wdjb`UV)XjU}hiq7]WHpN ËKoÏMÐAÌy«\¯Ã©y¬Ìy¯Ã̦XZkpkpb`djXZnoHÛ dZb`b`NVUWk2djqKm\hqpZ^ZÛ]WHpN ndZYKqj]`hiqK nMdZqKGIUl]WHpboXfN}hqAnM]`dZUIYpqAXf]Wb`hNQqpYKUlnNdZm q2U_]`h§b`]`XZH8hiqAXj]`UWU;UWd\Xfnb`NhXy]` hixj WNÊ Ã MndZ"« L /ÐAL{ Y\ Ê]`XfÌ ]W ¼h¶·xZ¯N ˬdjk2MNV¯/¶´b`ª*Xf]WnMdZdZboqKUVUl ]WboXfhqA]`UdyxZNMbµ]WHpN*qYpL{z2NVb;dZÛd\n¼ nMYpb`bWNVqKnNUdZ+NXZnoHm\h 4NVbWNVqA]]_^Ak4N}df NMNMLNVqj]oUMµÎÃqj]`Yphi]WhxZNM^Z2ndZYKqj]`hiqKndZq2U_]`b`XZhiqA]`UIXZkpk2NXfb XjUI]WHpN ÎÃnMq2dZm\YpNMqAN]`mÀNMb` kKXfbWHp] NVq¤df?]Wb`HpNMNÉZYKdZXZbom\b NMNb[\kpdZb`}NV]WU`HpUlhNÉdZq2NMUNMhiLqNM]WqAHp]oN{Ukpz4bWNVNnUldjNVqKLnNVN}UdZhµb`bWXNVinNVdjxLXZqAL]V;Y\]o]WXyHK]WXfh]!xZN{hUMn:dZLHpk4NMdj q£UWh§]`;hidjN¦qm\dZNk4XfNM:boXy]`hidZ]WbH z2XfjU;hqKUl]WNVXjm df+UWNV¢AYpNVqKnNUM]`HpN}dZqKi^k4NMbW]WhqpNVqj]:nMdZqKUl]WboXfhqA]`UIXfb`N*Xfb`h§]`HpLN]WhnMXZ/ NnoHpddjUWN*acbWNU_ &. +ü. (.
(16) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(17) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ ). zKYpbWjNMb UInMdZqKUl]WboXfhqA]`UIz4NVnMXZYKUWN¡]`HpNM^!qKXy]`YpboXfi^XZkpk4NVXfbHKNMq8N}NM[]WNMq2m U`noHpNVLXhi]WHX½p[\k4dZhqj] djk2NVb`Xf]WdjbcXfqKmXZUWdz4NVnMXZYKUWNI]WHpNV^b`NMkKbWNUlNVqj]µXXZbWjN XfqKmm\NnhmpXfzKiN:nMXjUWUcdf ndjqKU_]`b`XZhiqA]oU?dyxZNVbck2dAU_ hiXZ]WbWhhixZ]WN}HKLq2XyNM]W]WYKhn:b`XZhU;ÀqAHYK^ALk4NMz4bWNMNboUM[\ck2gdjqpdjNMbWqANV]`dyhXZxZ+NVbV¸´hiq ]WHpHKhiN¡N*;]`HpdZNboU_n]djnMLXjUlkpNi»¼NMA[\]Wh§]_HK^N*dZnM+dZqKLUlXZ]WboqAXf^!hqAdZ]`k4UNMdZbozKXyUW]`NMhidjb`qKxZNU;mdZq8hiq ackpb`boNVXZUWnzp]WYphnb`N*ZNMXfb b` NU xjNMb`^{UWhiLkpN:XZqKmh§]IUlNVNMLU?k4djU`UlhzpN]WdqKNMZNVn]c]WHKN:ndjLkKiNM[hi]_^dZ ndZq2U_]`b`XZhiqA]`UµUldjixhqp}hiqb`NVXZihUl]Whn nMhibonYKLUl]`XZqKnNUM!ÎÃqKm\NVNVmÀ UldjLNUlhLkpiNihLh§]oXy]WhdZq2U}dZq]WHKNXZnVnNMkp]`XfzKiNU`noHpNMLXjUM+UlYKnoHXjU*]WHpdAUlN djYpqKmhq]WHpN v b`NVnMdZLLNMqKmpXf]WhdZqKUVZXZbWNIhi¿jNM^]Wd}^hNMmXfZdZb`hi]WHpLU+h§]`Hk2dji^qpdjLhXZ\dZbchiqKNVXfb nMdZLkpYpNb{[\hiN]_[^Z]W NVqKUWhidjq7dfb`NMZYKXZb}]Wb`NMN XfY\]`dZLXy]`dZqXfkpk4NVXZb`U{¢AYph§]`NqKXf]WYpboXf;UlhqKnMNZ HpNMqÂqpdÉnMdZYpqA]l hqpndjqKU_]`b`XZhiqA]oUd\nMnMYpboUMc;N8dZz\]oXfhq¤ËK`ÏVÐjÉÌy«\¯Ã©y¬Ìy¯ÃÌyIXÉUWhLkKiN8^ZNM]N 4Nn¼]`hixjN Ld\m\NVIdZb¡g U`nMnoXjHpUWNVUILdZXf+]`XKXfKqKXfZqKYKm8XZZNVHKU;NMb`qNVnMqpdZdZqKnMhdZVqKNVmUl]WbozXf^ hqAUl]`HpUINXd\xZnMNnMYpU;bXZKY\;]WdjNLdZXyz\]`]oXXfhNVq8qye_bWdyNV^\ZUYpLXfbIXf]`qbW^NVNdf+Xf]WY\HK]`N*dZL]_^AXykK]ohXpnVIXfgkpdZb`b`dZNMk4dyNMxjbWNM]WbhNVUI]WHpdZN b`qKNMNVjU`YpUM)Xfib XfXZqpUj;YKNMXfj)NVXjU U ;UlnMdjidALUlN}YKbWqpN}NMYp q2dZm\qKNMbQNVUVYpKqphih¿jdZNq¦nXZqKdjUWmYpb`hqANQ]WkKNMbobWUWdjNVk2n¼NV]`blhidj]`hiq NÈUm\YpNVqKnMm\hmpNVXZb¡zpnMhdZihiL]_^8k2dAdf?Ulhi]W]WHKhdZNq8]WzNU_^8]¡XZU`dZUlbQd\NMnLhXy]`k\hi]`xjh§N XZqKm8XZU`Uld\nMhXf]WhxZNÃndjLLY\]oXy]WhxZN¡dZk4NMboXy]`dZboUMcw:dZqpNM]WHpNViNUWUVKm\YpN]Wd]WHKNndjLzphqKXy]`hidjq!dZ+z4df]`HbWNVZY\ jXfNMb;qp;NVb`dZXZbo2mnVXZN[\UWNZkpjb`XZNVqKU`UlmhdZ]`q2HpUµNMb`XfNq2mdjbWnN:djh§Yp];qAh]WU;hqpqpdZ];nMdZXfqKIUl]WXbo^XfUchqAk2]`dAUVUWZUW;hizKN¡iN:H2]WXd{xZN:nMdZqKLd{kpm\Y\NM]`]WN NMb`]`LHpNQhiqKnMhU`dZXyL]`hikpdjqNMLkpb`NMd\qAn];NVdfmpÛYpXZbWN:nVnhiNVq!k\]W]WNHpm N XfqKZYKXZZNVUV :dyNVxZNMbZm\NM]WNVbWLhqphUl]Whn Æ\ÁÑXZbWNnMidAUlNm{YKqKm\NMbXf\]WHpN:z2ddZNVXZqdZk4NMboXy]WhdZq2UMfhqKnMiYKmphiqp nMdZL¾;kpNNMdjLbWNNMqAnM]odZXyqK]WnMhdZiYKqÛmp hiqp2f;NZhxZNIUldjLNIb`NVUWYpi]`U?djq]`HpN ndjLkKiNM[hi]_^dZ4zKXjUlhn;kpb`dZzpNMLU+dZbcU`noHpNVLXjUM ¾;XZY\^]Wdjm\LNUlXyhZ]WqÛdjq fNM xjÁ:NMb`UI^¡XdjnMdZbWL{qKUWYpNV¢AX:YpdZNV2qKdZnYKNjb+A;NM[N:]WdjNMq2z\]`m\XZNVhimq]W]Wb`HpNMN*N;im\djNZnhhnmpmpXfzphib`hNVh§n]_]W^^}dfbWÛNV]WHpXfN]WNV¬U)]`©d*ÏZXQ lm\ªoNMËp]WoNMª b`yL¶·®hiqKÐ*h²Ul]W Wh© nI UliHpM¬ NXxZdZNbU ÆpcV]WHKXf])hU ½Kq2m\hiqK ]WHKN;XZqKUl;NMboUÈ]`d¡X ¢AYpNVbW^jXZqKm}dZ\]WHpN:ÊÌf¯/¶Ê³;Ì M¶ ¶·¯/±;² W© iM¬Ê¼y]`HKXy]+hUÛ½KqKmphiqp¡h§KX ¢AYpNVbW^*hU+]Wb`hixhXfi^}NVLk\]_^Z+gdZb`NMdyxjNMbUWhiq2nNUWnoHKNMLXZU+Xfb`Nm\hb`NVn¼]`i^NMLz4NVmKm\NVmhiq{]WHpNILd\m\NMU+dfÀÆ\c ;N}nMXZqb`NMXy]WN}X¡g¦U`noHpNVLX{]`dXZq XjnMnMNMk\]`hiqpUWHpNVXxjNVUIXfY\]`dZLXy]`dZq!dZz\]oXfhqphiqK{]`HpN}m\NVnMhmKXfzphihi]_^ dZ+XZiÈzKXjUlhn:kKbWdjzpiNVLU;nMdZqKnMNMb`qphqpU`noHpNVLXjU noHpNno¿Ahqp{]WHKXf] X{m\d\nMYpLNMqA] ndZqpdZb`LU]`dXU`noHpNMLXp znMdZ^L]`HpkpNY\]`m\hiqKh4NV]`bWHpNVqKN}nUlN*NM]IdZ)dZ)]_;m\dd\nUWYKnoLHpNVNVLqA]`XZU;UQ]_i^ k2Nmz^XUWnoHKNMLXp\ndjLkpY\]Whqp]WHKN*UWN]dZ)m\d\nYpLNVqj]oU;]_^k2Nm . . . . ;'
(18) {()$ !
(19) }() ]`QbWgNVNVUµm\h§d\]`nHYKXfLqNVqAYK]`q\U?½pXf[\b`NVNImX}¸/XfUlhqKLmkpXfiN;q]`YpNq[z4]WYKdZXZYppq2b`m\NMNVkpmKb`»cNVUWqNMYpqAL]`Xfz4]WNMhdZb;q}dfÛdjnob?HpYphqpm\bobWXfNVqpq¿jXyNV];mÀNVZXZNVnom\HjN;qKdXfmpz4NVNMUV)NVmÎÃq]Wb`]WNMHpNhUMUµfb`]WNMHKk4XfdZ]cbWh]VU ;N?djidy¦]`HpNµqKdf]`Xf]WhdZqKUÀdZYpqKmhiq*]`HpNµQº:YKnMNUW^\U_]`NML v XfqKm}noHKdAdAUlNcX:UlhLkpihi½KNm}xZNVb`UWhidjq¡dZp¡g mpdnMYpLNMqA]`UIz^NVXxhqpXZUWhm\N}Xf]l]Wb`hzpY\]WNUXfLdZqK{dZ]WHpNVb m\N]oXfhUV?gdjUl]df+]WHpN}UWhiLkph§½4nMXy]`hidjqKUXfq2m qKdf]`Xf]WhdZq ndZqxjNMqA]WhdZqKUµ]`XZ¿ZNVqHpNVbWN*Xfb`NQXZUWd{dZYpqKm!hq]`HpN*kpbWNUlNVqA]`Xy]`hidjqdf g¦Æ\ OZ5O pXfq Xy]l]`NMLk\] ]`ddZb`LXZih MN}UWdZLN*df)]WHpNnMdZb`NQhm\NXdjYpqKm hq Qg7Æ\noHpNVLXp .
(20) . . Á£mpdnMYpLNMqA]V d jhU?XZq{djb`mpNMb`NVmUlN¢jYKNMqKnMN;dZ2NViNVLNVqA]`UV a [d ] · . . .· a [d ] ZHpNVbWN a hUµX:]oXf*qKXZLN XZqKm d hU{XUlYKz\mpdnMYpLNMqA]V8Á&m\d\nMYpLNMqA]LX^ÉXZUWd8z2NNVLk\]_^Z?m\NVqpdf]`NVm +djb}z2N!XndjqKU_]oXfqA]V 1. i. ü)ü 32ý54þ. 1. n. n. i.
(21) u. ¨Ì Û¶ ¶´© ? «ZÐf¶´. NndjqKUlhm\NVb}ZhxZNMqUlNM]`U*dZ;Xy]`dZLhnmKXy]`X8nMdZqKUl]`XZqj]*kKXZbl]`h§]`hidjqpNVmÉhiqA]`d kKbWhLh§]`hixjNmKXy]`X!]_^k4NVUV ih¿ZN Xfq2m dZb. djbhiqKUl]`XZqKnNjº¡dnMYpLNMqA]`ULX^z4N8nMdZqKnVXy]`NMqKXf]WNVm cm\NMqpdZ]WNm ]`kKHpbWhNU}UlNVnqjdZ ]oLXy]`k4hidjdjqUWh§
(22) K]`hi
(23) ;dj q¦N dj djqpk2iNV^b`XfnM]WdZhqKdZqUWhmphU*NMb XZ]`U`HKUld\Xyn]QhXy]W]`HKhiN{xjNUWN]*hi]WdfH?]`hXZmpNMqAqK]WXZhi]_L^NNMU¡NMXZLqKNVm8qj]`] HpNUWÎÃNq]QdfdZµbom\mpNMXfb¡]`X!]WdndZUWdhiq2LU_·]okpXfdqAhi]`^U¡dZXfYpb`Nb z4df]`H ½Kqphi]WNZKzpY\]:XfÀdZYKbbWNUlYpi]`UnVXfq z2N}NM[]WNMq2m\NVm!]Wd]`HpN}nMXjUlN*df hq\½Kqphi]WNUWN]oUM $Ó Ó Ø × %
(24) Ó V NMNMLNMqA] e ::= NMLNMNMLqANV] qj] Xfz4NMNVm a pndjqA]`Xfhqphqp d a[d] \ m \ d n p Y d ::= NVnMLdZqKkpUl]_]`^!XZqjm\]d\¸/nXfYKqL^NV]_qA^] k2N» nMUl] NMNMLNVqj] a[d] m\d\nMYpLNMqA]:ndjLk4djUWhi]WhdZq d ·d $ Ó ¯<±`²4¶´ªoÌ +M®K¯ ¼±© Ì M¶ ¶´©W'Ð WÌo²p˶´ªoÌ ?ÏjÌy¯ÃÌ oÌÊMªo©y"« iÏ o}¯ËpÏZ©ª«\¬M®K¯ ¼¯© c©y¬:²4«\¯Ã W©W'Ð WÌf¬{¬¶·®AÐ ] · author [ "! ®2«\¯·Ë ] · year [1970]] book [title[ 1. 1. 2. 2. . #%$'&)(+* -, .
(25) . GIHKN:m\N½2qph§]`hidjqdfÀ¡g¦¦Æ\noHpNVLXLdAU_]`i^dZidy U?]WHpN¡kpbWNUlNVqA]`Xy]`hidjq{LXjm\N hqg¦Æ\ OZ5O ?w djqpN]`HpN NVU`UVV;Nczpb`hiqK UldjLNUlhLkpihi½2nVXy]WhdZq2UÛXfq2m*Ld\m\hi½2nVXy]WhdZq2UÈ]Wd z4N]W]WNVbÛ½p])dZYpb)dZz\e_Nn¼]WhxZNj ÎÃq}kKXZbl]`hnMYpXZbV ;¸´bWNNVZnYpdjqKXfUlb¼h»Qm\UWNVnob¡HK]`NMHpLb`NMXyN]oXpUW)NMkKXZqKXZb`m Xf]WNUldZ^bqA]`U`Xjnon¼Hp]WNVhLnMXZXf?]`nMX!Xy]`]WNMH2jXydZ]b`hiLNU X^¦EdjqpdZ^b}XZNMkpNMk2LNXfNVbqj]Xf]U`no]WHpdjNVkLiX NVxZm\NMNMµ½Kdfqphi]WXfhdZqqKNMUV NMSLNVqjdZ]b T mpN½Kqphi]WhdZqÛ .Û0 / Ó 7K "ciNVLNMqA]:UWnoHKNMLX E ::= NMNMLNVqj] hi]WH ]oXf a XZqKmhqA]WNVbWhdZbILXy]onoHphiqK a[T ] dZmKkpXy]`]WhXfdZ]_qK^XZk2ÀNNMnMNMdZLqKUlNM]`qAXZ] qj] a[T ]? Datatype RNMjYpXZb UWnoHKNMLX S ::= NVNVLiNVLkp]_NV^!qA] U`noHpNMLX E UWNV¢AYpNVqj]`hXZ ndjLk4djUWhi]WhdZq S ,S noqKHpm\djNhnM½2N qph§]`Nb`NMk4N]Whi]WhdZq"¸ 1*NMNVqpNUl]`Xfb¼» S|S h S∗ GÛdjk\<XfNMqxj^NM]_^U`k4noHpNNM¸LLX Xy]onoH8NMxZNVbW^A]`HphiqKA» T ::= AnyT . 1. 2. +ü. (. T.
(26) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(27) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ -. b`NMjYpXZbUWnoHpNVLX hqA]WNMb`NVXxhiqKnMdZLk2dAUlhi]WhdZq ... E Á UWnoHKNMLX7hUz2XZUWhnVXfi^¤X7b`NMjYpXZbNM[kKbWNUWUWhidjq>]WHKXf]8nMdZqKUl]WboXfhqKU]`HpNdZbom\NMb XfqKm£qYpL{z2NVb!dZ d\XnVUWnhYpqpb`ZbWNVN}qK]WndjNkUÛdZNMKNMNMLNMNMLqANV]qj]o]oXfU+ZhijqNVX¡m mpdhinM]WYpH LNMXfqAqK]V m Á NMqq2nNMdjNMUWLhiqpNVqj]X a[T fm\NVU`nb`hz2NU+mpdnMYpLNMqA]`U)]`HKXy]cndjqA]`XfhqKU ] m\d\nMYpLNMqA]:UWXf]WhU_^hqp]WHKN{U`noHpNMLX l U p Y p z a T Á:q8GIdZk\Hp]`N*hidjnqKdjXfqKÀUl]WNVb`iYKNVLn¼]`NVdZqAbo]VU? a[T \ L y X ` ] o n K H V N I U Z d K q Q N j d b MNVbWdd\nMnMYpbWb`NMq2nNQdf ]? a[T ] dZb*¸b`NMjYpXfb¼»?UWnoHKNMLXy]oX}hiq2nYKm\N¡]WHpN*U_]oXfqKmKXfbomdZk4NMboXy]`dZboU dZYpq2mhqb`NMZYKXZb NM[\kpbWNUWUWhdZq}XfqpjYKXfjNVUVVHpNVbWN S, S Ul]`XZqKmpU)dZb ndjqKnMXf]WNVqKXy]`hidjqXfqKm S | S dZb noHpdZhnNj pdjb+UWhLkKihn¼ hidj]_k2^ NVbWb`NXfXZ]WdjUWdZb qKUVp;NHKXxZdjNYpnoqKHKm!djUWhiq NMq8]`Hpz2NdZ]WÆ\HnoHphi]WNVNVLb`XfX]Whb`dZNVq nMdZLS∗L4NMXfqKqKmpm8Xf]Wdjhk\dZ]Wq hdZq a[T ]? KhqKU_]`NVXjm8df ]WHpN{bWNVk2NM]Whi]WhdZq GIHpN*LS{m, djUl]dZb`n}hijhiq2XfÈdZk4NMboXy]`dZb;hU;]`HpN¶·®K¯Ã 5ioÌfÍV¶·®Ð ©o²p WÌf¯© ¼ E . . . E pHphnoH8m\NVU`nb`hiz4NVU mpUWhdLnMkKYpiLhi½KNMNVqAm£]`U:Æ\nnodZHKqANM]oLXfhXqphim\qKN ½2¸´qpNh§[p]`hiXZdjnqÑ]W^\Xf»;UlNVdiNVnMLdZqANMqA]`XZ]`UhiqKLUXfX]`nonMHpdZhqKqpUl ]`XZEqA]V ]`d E b`INMAXfHpbom\hnoH£NVU`UµUl]`dZXZ)qK]`mpHpUNMhb djbdZbo]Wm\HpNVNbV LdAYpU_]b jnMdZNMqpqA]WNVNVb`qAXZ]¡4]_h^AqÉk4XfNZqK^8dZbIÌyX®2^Z±2 °\pd±`j²Kb¡NMh[\q XZ]WLHpN}kpiQNjÈg]WHpN{Æ\nodZHpNVdyLX{hiqp]` NMb`UWLnoHKhNMqpLdjiXdjZAnyT Ul^ ]`Xf]WO NVU:p]WH2HpXyhno]}H Xm\xydXfNUIhmqpdfz4]:dAdjnM¿8dZqKNMUlqA]W]Wbob`Xf^hqHKhiXZ]`UU XZq XZY\]WHKdZbqKXZLNjpX{]Whi]WNXfqKm!k4djU`Ulhzp^XkpYpzphnVXy]`hidjq ^jNVXZb*¸´hiqXZqA^dZbom\NMb¼»¼ $ Ó QÊoʼ«\¬¶·®AЯËpÌy¯ Ìy®4Ï Ì W*¯ËpÏjÌy¯ÃÌy¯<±`²pÌyÊoÊ©ªM¶´Ìy¯Ã`ϯ©Ê¼¯ ¼¶·®ÐÌy®ÈÏÏZÌy¯Ã ªo©f®pʼ¯Ìf®K¯/Ê ¯Ëp © © ?¶·®AÐ!ÊMªoËpMString ¬Ì¬Ìy¯Ãª`ËK¼Ê}Year ¯Ëp `©© !M®K¯ ¼±Ðf¶·Íy®É¶·® #Ìf¬ ² i S E1. &. &. n. 0. 0. 1 &. 1. &. n. n. . book [ author [String]. &. title[String]. &. year [Year]? ]. dZ+U`ÎÃnoqHpNM]WLHphXjU+UbWNVhqKk2Uldj]WblN]XZym!ih¿ZdfN hiYKqUlh]WqpHpN;]WkpHKb`N*NVUWnMNMdZqAqK]`XfnMbW]WNMhdZ]WqN}dZUW^A2qAg¦]oXyÆ\[µZ;hxZNµNVq!kKbWhNMq!NM]Wb)Hp]WN}d*QU_]`ghno7¿*]`Æ\d¡noHpXfNVqLXfXZUWNVk2zpNb`nXZhih½2nµnMm\XfN]W½KhdZqKq h§]`hiidjO<q Îé q:k2 iXfbW¬]WhMn®KYp¯/ÊIXfbhqKZhUlq]WN]WXZHKmN df¡4g]WHpNz2Æ\XZnoHpUWhNVn;LdZXk4NMUlbok4XyNV]`nMdZh§bo½2U+nVhiXyqA]`]Whidjb`d\q m\jYKnMnMdZNVLmk2HpdANMUlb`hi]WNZN¡ UWpdnojHpb?NVhiLq2U_XZ]oUcXfXZqKbWnMNNZZdjY2bWUlLhqpN}m¡YKg¦Ulhqp{UW'ÐnoHp W©fNV«L²2X Ê ]`NMb`LhiqpdjidjZ^jp]WHKNUWNV¢AYpNVqj]`hXZ)nMdZLk2dAUlhi]WhdZq (E , . . . , E ) nMdZb`bWNUlk4dZq2mpU]`d!XÊM
(28) M«K®Èª`*'Ð W©y«²7Xfq2m ]`xjHpd\NnMXf]`zKNMYpqKUWXZdZbWb^kphq bWd\]Wm\HpY2N}n¼b`] NML(EXfhqKm\NVbI.df. +. ]WHphUIE]WNM[)]VnMdZb`bWNUlk4dZq2mpU]WdÄXfqrÌ 'Ð W©y«²È NÉhiQbWNM]`Xfhq¤]WHKhU GIHpNm\hUl]WhqKn¼]`hidjq{dZ4X:]WdZkp<NMxjNMUWnoHpNVLX¡XZidy UÛNM[\kpbWNUWUWhqpQUWdZLN;dfp]`HpNndjqKU_]`b`XZhiqA]oU)XjUWUWd\nhXy]WNm ]`]`ddZk]`HpdZNÀXZhiqAq]`NMNMb`NMiLNXNMxAqAhqp]!U`nodZHpk4NMNMLboXyXK]W djKdbVZÈbchih¿jqKNUl]`Xfdjq2b*nNNZ[pAXfYpLqKkpmpNMNb?]`]`HKHpXyhU] b`NVUl]WL{b`hnYK]WU_h]dZq XZykp]`k2HpNN Xfb}]`NMXZb`U¡L]`U HpNUldjiNnoHphmÉXy]*Xf]Wq2Hpm N E , (E E ) f X ` b N h i i < Z d ` b L N À m { : Á p q f d ` ] p H M N * b ` b V N l U W ] ` b h n W ] h Z d q j d p Y K q É m i h É q W ] K H N Q g £ \ Æ o n p H V N L. X W U 2 k N n i h 2 ½ M n (E E )∗ djz\]`XZhiqKNVm z^hiLhi]Whqp]WHpNdZk\]`hidjq djk2NVb`Xf]WdjbI]WdNMNMLNVqj]:U`noHpNVLXjUMKkpbWNnYKm\hqp]WNVbWLUdZ+]`HpXfN*]WhdZdZq¦b`L hU Á qXZm\xyXZqj]oXfjNdfµdjYpb}XfkpkKbWdAXZnoHhU:]`HKXy]Àih¿ZNhq]WHKN{Qg£Æ\noHpNMLX!Ulk4NVnMh§ (E ½4nMXy]`hidjq EÈdZ)?k\]`hidjqKXfE+NMNMLNVqj]oUQLX^Ul]Whi z4N{Y2UlNmhqKUlhm\NXfqÉhiqA]WNVbWNVXxhqpdjk2NVb`Xf]WdZb pdZbQhqKU_]oXfqKnMNZ ]`HpN*]WNVbWL (E E ?) nMdZb`bWNUlk4dZqKmKUc]`dX{xyXZihm!U`noHpNVLXK kKbWNUlG)NVd:qj]`nMNVXZmk\]WzYK^bWNµXUWUWdZ^\LU_]`NµNMLUWhi]WYKdfXf]WNh¢jdZY2qKXyU)]WXfhdZb`hq2UWUMhiqK?GIhiHpqhUkKb`nVXjXfn¼q]Whz4nNjN¡VUW;hLNckKNVqpi^bWhdjnoHz\]`U`XZnohiHpqpNMNLmXyz]o^XINMzqp^¡b`b`hnoNVHKnMYphiqpb`UWh]WxZHpNcN*m\UlNM^½KqAqp]`hi]WXfh[dZqKdZU . . 1. 1. &. &. n. n. &. 1. 1 &. 2. 1 &. 2. &. 1 &. ü)ü 32ý54þ. 3. 2. 2 &. 3.
(29) ¨Ì Û¶ ¶´© ? «ZÐf¶´
(30). U`noHpNVLXjU+h§]`HX}UWN]?dZ ¸/UWnoHpNVLXj»)xyXfb`hXZzpiNUMZb`XZqpZNmdyxZNVb zA^ GIHpNVq jXQb`NVnYKb`UWhixjN;U`noHpNVLX hUIXfqNM[\kpbWNUWUWhdZqdfÛ]WHpN¡dZidyhqpdZb`L HpNVbWN X , . . . , X XXZbW,NY,b`NM.N*. .U`noHpNMLXxyXZbWhXfzpNVUµd\nMnYKbWb`hiqK hq S, S , . . . , S GIHpN where ndjqKU_]`bWY2n¼]hUSXÉwhere zKhiqKmpNMbXdjb=]WHpSNxy, Xf. .b`h.Xf,zpXNVU =XS, .., X hq S, S , . . . , S XfqKmÄN nMdZqKUWhm\NMb;]WHKhUdjk2NVb`Xf]Wdjb;YKk\/]`d αbWNVqKXfLhqpdf+z2djYpqKm qKXfLNU $ ËK®2¯ ¼¶´Ê ªM¶·¯Ã`Ïɶ·®>¯·Ó ËK o©V© '¹¬Ìy°È± ˶µÊ Ìy¶®2Ê}¯;²K¯Ã©©8Êoʼ ¶ #j ¯Ãi®È«Ï Êo¶· o®©ÐÉ© 8¯·ËKM ®K¯ ¼© ¶´¼iÊ © ??¶·¶·®A¯·ÐËÌ ``refªM«" oʼ¶· ÍiM¬ÊMMªo®KËp¯MI¬¯·ÌËK Ìy¯ ) Ëp¶Ê¼¯´ WÊ{ ¯·Book ¶Ê!Ì ÊMªoiMËp¬M¬M®KÌ ¯ ÍyÌ ¼¶´Ì 5 ¬oÌy®K¶·®Ð8¯ËpÌy¯:Ì o©© M®K¯ ¼±¬Ìy±8Ì ÊM©ªo©f®K¯ÃÌy¶·®7Ì!ÊM
(31) M«KM®4ªo© `©© 8¶·®¶·¯´Ê ref 1. 1. n. 1. n. n. 1. n. . 1. n. 1. n. . . . . . Book where Book = book [ author [String] Ref = ref [ Book ∗ ]? %. $# % . °ÈË\¶Ê{ # Ìy¬:² ¬Ìf± o{ ² WÊoÊo϶·®É¯Ëp ȪoËpM¬ÌÊ<²poªM¶ ³ªoÌy¯<¶´©y®
(32)
(33) . &. title[String]. &. Ref ],. © i© ?¶·®Ð µÌy±«Ê¼¶·®Ð¯Ëpªo©y®Èª WM¯Ã}ʼ±y®K¯ÃÌ# ©f«\®4϶·®É¯Ëp.
(34) + !"#$+ %&!'
(35) !(% + !*)
(36) !(!$! %+&!'.
(37) , - $!+ !"!$! %+'
(38) .
(39) ' . + -
(40) !%/
(41) !0# !+ !% .
(42) 1 &!' . + -
(43) !% 0 % !!+ ! .
(44)
(45) %+&!' . + -
(46) !( !(2 3 ,!, /
(47) %4%+&' & .
(48) ' & .
(49) , $!+ !'
(50) , - $!+ !*) (!$!+ .+' .
(51) 5 !6/ , '
(52) !(!7 3 ,, / 4.7% 3 ,, /
(53) /!
(54) /
(55) / , ' & . + !6+ & .
(56) , $!+ !'. +&!'. w:N[]Vp;N*N[\kphnMh§]]`HpN}b`dZNQdZ Æ\noHKNMLXXZUX{]_^k2NUW^\U_]`NML&djb m\d\nYpLNVqj]oUM (
(57) +* -,.
(58) 98. . ,
(59) :<; >= 5?A@
(60) . ]`HpN*Nm\HN^½Kk4qKdfN:]WHK]`NVHpUWN:hU b`NMΓXy ]`hidjHpq NMb`ΓN `ΓdhU{: SXLLXfNVkpXfkpqKhhiqpqp¦]WHKbWdjXfL ]]`HpxyXfN*b`m\hXfd\zpnYpNVLU*NM]`dÉqA] U`dnoHpU`NMXyL]`hXKUl½K NUc]`N HpNQUlhU`LnoHpkpNVi^LXb`Sh§]`YpNqK]Wm\HKNVhbU b`NMXy]`hidjq d : S HpNVq ]WHpNUWN]df H^k2dZ]WHpNUlhUIhUINVLk\]_^Z ß<Ú â Ù Ü MÚß<Ü Ü+â û à"*Ú Ü_<á/ÚܼÜù # Ý;ÞVß)âfá´ÜÜ_Þ á/lâ Ý`ßÜ à"oÝoá á/Ýà$ Ül â Ü_# âÛß<Ý$Ú ÜcÝá/à$ ß(:ܵß/Ý
(61) à y lÝÜ #ãÀÜ+Ý$ÜW Ý<ß<Úà
(62) )¼#á/à¼à Þ Ü yÜ Ý#, ß )à"2 2 {Ü à
(63) àoß%_à"â Ü_á B. HJ. DC FE. G. HG. I. +ü. (.
(64) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(65) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ. GIHpNNMLk\]_^¡]_^kphiqK NMqxhib`dZqKLNVqA] hU+m\NMqKdf]WNm Xfq2m mpNMqpdZ]WNVU ]WHpNµLXZkpkphqp N[]WNVqKm\NVm hi]WHXZqXZU`Uld\nMhXf]WhdZq z2NM]_NVNMq X Xfq2m S GIHpNm\∅djLXZhiq8Γ,dfX Γ: ShU:mpNMqpdZ]WNVm dom(Γ) Xfq2m ΓΓ(X ) = S LdjbWNLXfqKNU*mÉ]`HHK^Xyk4]}df]`]WHpHKNNVUWxyhXfUV)b`hm\XfNVzpqpN df]`XNVm hU}Γ L`XZkp k2NUlYKmnoH]Wd ]`SHKXyh]q ]`HpΓNMb`NÎÃqhU]WHKdZqKNi^ÉdZdZidyqpNhU`qpno2HpÛNM;LNX8djXZqpU`UW^ÉdnMnhdjXfqK]WNUWmhm\NV]`db;NVXjNMno§H xyXZbWhXfzpNQhiq dom(Γ) ×Û× Ø × Ó ∅`. Γ ` X 6∈ dom(Γ) Γ, X : S ` . GIHpN¦bWNVXf]WhdZq hUzKXZUWNVm¤djq¤XZqÑXfY\[\hihXfb`^Ypq2n¼]WhdZqÛ (d) HphnoHÑndjLkKY\]WNU ]`HpN¶·®K¯Ã 5ioÌyͶ·®AÐ>dfΓQ`]WHKNd NM:NMSLNMqA]oUhiq d ;]WHKXf]hUXf]WHKN¦m\d\nYpLNMqA]ointer UdZz\]oXfhqKXfzKiN8b`dZL d Xy·]`NMb k]`4HpNMNMb`qLYp]`Xy]`hidjq*dfhU h§]o]`U HpNMN{NMUWLN]¡NVqjnM]odZUMqA)]`XZghiqKdZhib`qpN dZ]Wb`HpLNXfm\id\^jn Ypinter f X K q À m i h hUÈ]`HpNµm\d\nMYpLNMqA] () = {} d dZb¡XZi+k4NMb`LY\]oXye]WhdZ·.q . .·edZ L M N A q o ] U e · ... · e σ ]`HpN}hqjinter ]`NMb`xyXf(d) 1..n ×Û× Ø ×
(66) Ó nMUl] ∈ Datatype Γ`d:T Γ`d:T Γ` Γ` nMUl] : Datatype Γ ` a[d] : a[T ] Γ ` d : a[T ]? Γ ` : a[T ]? Γ` 1. σ(1). Γ` Γ`: Γ`d:S Γ ` d : S | S0. Γ ` d 1 : S1 Γ ` d 2 : S2 Γ ` d 1 · d 2 : S1 , S2 Γ ` d : S0 Γ ` d : S | S0. n. σ(n). Γ(X ) = S Γ ` d : S Γ`d:X Γ ` d1 : S, . . . , Γ ` dn : S Γ ` d1 · . . . · dn : S∗. Γ, X1 : S1 , . . . , Xn : Sn ` Γ, X1 : S1 , . . . , Xn : Sn ` d : S Γ ` d : S where X1 = S1 , . . . , Xn = Sn Γ` Γ ` d : AnyT. d ∈ inter (e1 · . . . · en ) Γ ` e1 : E1 , . . . , Γ ` en : En Γ ` d : E 1 & . . . & En. ]`HpNÎÃm\qÉNM½K]WHpqpNhi]WhqKdZNq8[]df+UlNz2n¼dZ]W]WhH8dZqÛdZ YpbIN]`bWhNVqjN*]`bWid\djm\ZhY2nQnNXZqKUlm!djLdZYpN{bzKqpXjNVUl hnnMLXjXyUW]WU;HKdZNM)L]`XybW]`NVhN*nVXfXZ+Y\]W]WddjdZLUQXy]`]WXKH2 Xy]}hi?z4NY2UlNMYpchq ü)ü 32ý54þ.
(67) O~. ¨Ì Û¶ ¶´© ? «ZÐf¶´. $Û $)' ¼()$& $ 8'!+ I _$ %Å o()8
(68) ;() } $ Æ\dZLNQnMdZLkpY\]oXy]`hidjqKXfÀXZUWk4NVn¼]oUIdfÛdjYpbI]Wb`NMN*XfYp]WdZLXf]WdZq!bWNVi^djq XZbWhi]WHKLNM]WhnMXZ4kKbWdjk2NVbl]`hiNUdyxjNMb]WHpN jbWdjYpk (N, +) dfk2dAUlhi]WhxZN{qKXy]`Ypb`XZÛqYpL{z2NVb`U¡h§]`HÉXjmpm\hi]WhdZq *GIHpN½2b`Ul]ldZbom\NMb:]WHpNVdZb`^!dZµNV¢AYKXZihi]_^ djq]WHKhUQU_]`bWY2n¼]WYKbWN{hUQXfUld¿AqKdyqXZU¡acbWNUlzKYpbWjNMb U:Xfb`h§]`HpLN]WhnfQÎÃq]`HphU*UWNVn]WhdZq;Nb`NMxhiNV¹UldjLN z2XZUWhnQb`NVUWYp§]oUIdZq acb`NVUWzpYpb`ZNMb U;XZbWhi]WHKLNM]Whn*XfqKm!]WHKNQb`NMXy]`hidjq!hi]WHUWNMLhihqpNVXZb UlNM]`UV djU`UlhzphUIN{Xfqkpb`hNVqAUW]WNMNVqAZ]oNMXyb;]WhNdZ[\qkpb`NVdZU`b*UWhiacdjb`qNVUWXfzpqKYpm b`ZNMb hU U:X{Xfacb`hib`]WHpNVUWLzpNYp]`b`hZn{NVb hU* U ZhdZxZb`NMLq¦YKzAXK^8]`XZHpUWNddZnVXfidyiNm hqp ! WZÊbo Xf«"L /ÐALXf b Ê HKNMÁ b`N k4Exp ªo©f®pʼ¯ `Ìy¶·®K¯< NYKUWN N, M, . . . ]`db`XZqpZN8ψdyxZNVbhiqA]`NMZNVbxyXfb`hXZzpNVUXfq2m n, m, . . . ]Wd7boXfqpjN8dyxZNMb q2Xy]WYKb`XZÀqAYKLz4NMboUM Ó V
(69) ) Ó
(70) i × VM y " ÎÃqA]`NMZk4NVdjbUWh§N]`[\hixjkpN*b`NVhiU`qAUl]WhNVdZZq NVb ndZq2U_]oXfqA] Exp ::= n k4djUWh§]`hixjN*hiqA]WNVZNVbxXZbWhXfzKiN N Xjmpm\hi]WhdZq Exp + Exp c a W b N l U zKYpbWjNMb UInMdZqKUl]WboXfhqA] φ, ψ, . . . ::= ` ] NVUl]dZbNV¢AYKXZihi]_^ (Exp = Exp ) p q NVjXf]WhdZq ¬φ \ m hUe_YKqKn¼]`hidjq φ∨ψ M N [ hUl]WNMqA]`hXZ ¢jY2XfqA]Whi½2nMXf]WhdZq ∃N.φ acb`NVUWzpYpb`ZNV b UnMdZqKUl]WboXfhqA]`UXfidy ]`HpN8m\N½KqKh§]`hidjqÂdfKN[\hzpiNjc^ZNM]mpNVnhmpXZzpiNjckpb`dZk4NMbW]WhNVU{dyxZNVb k]`4HpdjN*UWhi]WdZhxZb`LNhYKqj]`X NMjNMb?hi¿jNIdZbcNM[\XZLkpiN ]`HpdZN b xyXfYphU NXZdfq! Xd\mphm UqU_]`YpbWL{hn¼]`z2iNV^{bVZb`NVXf]WNMb+]`HKXfq]`HpN xyXfYpN df Y jYKUWhiqp N{m\NVqpdf]`∃Z.(X N φ(X =, . Y. . ,+XZ)+X1)aµbWNUlzpXYKbWjNMb U;djbWL{YpXhi]WH∃Z.(X bWNVNhiqA]`NM=ZNVZb xy+Xfb`ZhXZ+zpNV1)U X , . . . , X ^Âb`h§dZ]`bN ]o|=XfY\φ(n Y2XZqKUlN mÄ]WHKNN8UWnMHKdZXfqKUl ]`XZUWqAhiL] kpTrue ]`dZdZj,hiN. .UM.c,nh¿ZN!) dZbHpNVNq [pXZφ(n LkKiN , .]W.HK.N!, ndj)bWL{hUYpU`XZXyU ]`h(NUl½KNmÀ= N )NdZb hi(N:XfUW=d M ) ∨ ¬(N = M )
(71) * , ( , ( aµbWNUlzpYKbWjNMb U¡Xfb`h§]`HpLN]WhnH2XZUQXm\NnhmpXfzpN{]WHpNVdZb`^Z*GIHphUQb`NVUWYpi]QnMXZqz4N{kpb`dyxZNm8YKUWhiqp8XnMdZqpqKNVn¼ ]`XZhibWdjhiq]WHKLh§NM]`]WH¤hnÊMdj¬bWL{¶ ¶·Yp®4oXjÌ U hq7ÊM¯/Êb`NMdfN xyqKXfXfb`]WhXZYpzpboiXfNcU qYpL{z2NVb`UV8gdZXZb`bWNNkp]WHpb`NVN8nhUlUWNVNML^Zhi)hiqK]WHpNVNXfbLUWd\N]`m\U{NVdfU dfac?b`NV]WUWHpzpN YpUlb`NMZ]NMb dZ U hnMqAd]WdZNVboZm\NMhib;q2XyxZ]WNNn¼UM]`dZboUcdf+Ulh MN n ÁmKm\h§]`hidjq!djq NN ,h.UI.m\. N, ½KNqKNVmXjUc]`HpN*k2djhiqA]_hUlNQXZmpmph§]`hidjqNdZq]WHpN*xZNn¼]`dZboU Á ¶·®4oÌ ÊM¯:df P ) ÈhUQXUWN]¡dZcxZNn¼]Wdjb`U:ZNVqpNMboXy]`NVm z^8XzKXZUWhUM b ∈ N 4XZqKmXUWN] dZXZ+i)k4]WNMHKb`Nhdk4mKdjUMU` UlPhzp=NNM{pNMLN,NV.qj. ]o.L(b, U , pdjz\}]`XZphiqpNhi]WmH zp^8i∈hqpNNVXZb¡nMdZdZb:LXZzKi hiqKiXf∈]WhdZ1..kqdZ;?Á¹]WHpNihqpk2NVNVXZbWb hd\UlmpNMU ] L(b, hi]WH¦P]WHp)N{nzKdZXZq2UWUlNZhU_È]oXfUq2dfm X!ÊMM¬{¶ ¶·®ÈoÌ }ÊMM¯hUX½Kqphi]WN}YpqKhidjq!dZ+hiqKNVXfb UWN]oUM 1. 2. 1. 2. . 1. p. 1. 1. 8
(72) . ? ?. ?. p. . A?. @. 1. . 1 n. . ?. . n. n. n. 1. p. p. n. k. i. L(b, P ) = {b +. n. X. λi p i. λ1 , . . . , λk ∈ N}. i∈1..k. +ü. (.
(73) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(74) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ. OjO. Á:qhLk4dZbW]`XZqA]ÛbWNUlYK§]+hUÛ]WHKXf]+UWNMLhihqpNVXZb)UWN]oU)XZbWNµnMidAUlNm*YpqKm\NVb«\®2¶´©y®2jʼ«\¬ Xfq2m¶·¯ WÌf¯/¶´©f®+OV~ < HKNMb`N L+M = {x+y x ∈ L, y ∈ M } jXfqKm L = L+. . .+L ¸ n ]WhLNVUo» XfqKm L∗ = S L ÎÃUWq N]o]`U}Hp¸Nhq nMXj]WHpUlN*N}dZq YphiL{]WNVz2b`NVXfb]WhdfdZ q ihqp]`HpNVNXZb UWNMUlLNM]`hUIihhqpq NVXZb » UlNM] L∗ LX^z4NXYpqphdZq8df?NM[k4dZqKNMqA]WhXfi^LXZq^hiqpNXfb L Á:qpdf]`HpNMbcY2UlNMYppLXy]`HpNMLXy]`hnVXf]`dAdjpqpNVNVm\Nm{hq]WHpNkKbWNUlNVqj]oXy]`hidjq{dZ4djYpb?qpNM>nXZU`U dfÀXfY\]`dZLXy ]`dZq hU]WHpN}qpdZ]WhdZq df Ì ¼¶ ˦¬Ìo²Z²4¶·®Ðf , * -, ]`df]`XZi^dZbom\NVbWNmÀK]`HpNa XZbWh¿H LÇQhXZxZkpNVkpq¦hqpUWdZLdfNX8½KqKh§]`djNb`m XZiwkKHKXfdfz4 NΣ] ΣhU=X {anYp, kp. .N. ,dfaIqK}Xy4]`]`YpHKboXyXf]*cqYpNL{ndjz2qKNVUWb`hUVm\ NVb (w) +HKNMb`N = (m , . . . , m ) h ; U ` ] p H } N q p Y L 4 z M N I b Z d ) \ d M n M n p Y W b ` b M N 2 q n V N ; U Z d Û W ] K H Q N N W ] W ] V N b h q N W U K H Z X i À f X W U { d K Y W U Q N W ] p H * N p q Z d ` ] f X W ] h Z d q m ]`XZdLm\zpNMhZqKYKdfh§]W]_N^]`djHpq!N]`qHpYpN}L{;z2dZNVbobm dfI d\nMnYKbWb`NMqKnMNVU*dZ]`HpNaN]l]`NMb wa hiq w djbUlhLkpi^ a HpNVq]WHpNVbWNhU}(w)qpd w I G p H : N. a Z X W b h ¿ H L Z X p k p k h p q LXZkpkphqp¦nMXZqz2N!NVXZUWhi^ndZdZÀLX}kpUWYpN]W]NVm7dfÀHpdjNMb`qmKU ]`hHpUcN]WHpUWNN:]{UWNdZ]dfÀdja?b`Xfmpb`U*hi¿hUHXLbWXfNVkpZkpYphqpXfAbU?dfXfÀqKhiZ]`YKUcXZNVZiNVNZL!NMÎÃqAqK]`m\UVNV+NVGImÀ HKhhiU hU{XbWNVZYpXfbNM[\kpbWNUWUWhdZq )]WHpNVq (reg) ]WHpN!a?Xfb`hi¿HLXfkpkKhiqpÉdf reg hU]WHKN!UWNMLhihqpNVXZb{UWN] reg djz\]`XZhiqKNVm XZU;dZdy UM Î hU?]WHKN N]W]WNMb;hq]WHpN¡XfkpHKXfz4N]Z]`HpNMq hUµ]WHpN Ypqphi]xjNVn]WdZbµdf A]WHpN xjNVn]WdZb h§a]`HXf NMNMiLNMqA]oUINV¢AYKXfÈ]`d 0 N[pnNVk\]I]WHpN i ]`(aHKXy)]hUNV¢AYKiXZÈ]Wd 1 (0, . . . , 0, 1,N 0, . . . , 0) GIHpN}a?Xfb`hi¿H LXfkpkphqpdZb noHKdZhnN*hU;]`HpN}YpqphdZq8dZÛ]WHKN}a XZbWh¿H!LXZkpkphqpjU (reg + reg ) = (reg ) ∪ (reg ) GIHpN}a?Xfb`hi¿H LXfkpkphqpdZb UWNV¢AYpNVqA]WhXf ndjLk2dAUlhi]WhdZq hU;]`HpN}k4dZhqj]_hUWN*Xjmpm\hi]WhdZq (reg .reg ) = (reg ) + (reg ) GIHpN}a?Xfb`hi¿H LXfkpkphqpdZbhi]WNVb`Xf]WhdZq (reg∗) hU]WHpN}hi]WNVb`Xf]WN*df (reg) (reg∗) = (reg)∗ Áb`NMjYpXZbN[\kpb`NVU`UlhdZqÂXjUWUWd\nhXy]`NVm]`d7XbWNVZYpXfbdjb`mÄXfY\]`dZLXy]`dZq A nVXfq>z2NnMdZLkpY\]`NVm>hiq cGIHpNVbWNMdZb`NZjYKUlhqpb`NMjYpXfbcNM[kKbWNUWUWhidjqKU?dZÀUWNMLhihqpNXfbUWN]oUMA;N¡nMXZqndjLkKY\]WN:]WHpN¡a XZbWh¿H O(|A| ) LXZkpkphqpdf?X{b`NMjYpXfb;djb`m!XZqpZY2XfZNQhq!]`hiLN O(|A| ) , * , #%$'&)( +* -, NInXfb`h§^*]`HpNIbWNVXf]WhdZqz4N]_;NMNVqacb`NVUWzpYpb`ZNV b UÛnMdZqKUl]WboXfhqA]Vya?Xfb`hi¿H U)LXZkpkphqp*XfqKm]WHpNUWNMLXfqA]WhnMU dZ]`HpNhqj]`NMb`iNXxhiqp dZk4NMboXy]`dZb}Xfq2m¦]`bW^¦]Wd8ZhxZNXZqhqA]WYphi]WhdZqdjqHKdy¹]WHKN dZk4NMboXy]`dZb*LX^¦XZmKm WndjYpqA]WhqpnMXfk2Xfzphihi]WhNVU ¡]`dÆ\noHpNMLXK GIHpN¡a?Xfb`hi¿HLXfkKkphiqKhqj]`bWd\m\Y2nNVmhq]`HpN:kKbWNVxAhdZY2UµUWNVn¼]`hidjqkpb`dyxhm\NUµXUl]WboXfhZHA]WdZb`;XZb`m{LXfk\ kKhiqpz4N]_;NMNVqm\d\nYpLNMqA]oU:Xfq2m]`YpkpNVU:df qKXy]`Ypb`XZÀqYpLz4NMboUM; NM] a , . . . , a z4Nm\hU_]`hiqKn]:NMNMLNVqj] . n. n≥0. . 8
(75) . . ? . ; ; . 1. ∗. n. #. i. 1. n. #a. i. #. #. th. i. # th. th. i. n. . . #. 1. #. 2. #. 1. 2. . #. 1. 2. #. 1. #. 2. #. #. . #. #. 3. 3. 8
(76) 98. . . . . . ? . ?. ? . A?. . . @. . &. 1. ü)ü 32ý54þ. p. . n.
(77) O|. ¨Ì Û¶ ¶´© ? «ZÐf¶´. ]oXfAUM NnMXfq NVXjUlh^dZz\]oXfhqXfq hiqye_Nn¼]`hixjN}LXZkpkphqpK [[.]] pb`dZL ]`HpN*dZdyhiqpm\NM½Kqphi]WhdZq djqAxjNMboUlNVi^jh§. ]Wd]WHKNUlNM]IdZ mpdnMYpLNMqA]`UIhi]WH. Np. . [[(n1 , ..., np )]] = a1 [] · ... · a1 [] ·... · ap [] · ... · ap [] | {z } | {z }. h U?XQm\d\nYpLNVqj]cXjnMnNVk\]WNmz^*]WHKN;b`NMjYpXfb+djb`m}NM[\kpbWNUWUWhidjq (a | . . . |a )∗ ]`HpNMq d h U f X 8 q h y q _ e V N n W ] h Z x Q N (d) ÆYKkpk2dAUlN;]`HKXy] N;NYp[qK]`nNM]WqKhdZmq ]WHpbWNdjÆ\L noHpm\NVd\LnMYpX:LXfNMqpqAj]`YKU;Xf]`jd NcNhi]W HX ½p[\k4dZhqA] djk2NVb`Xf]WdjbV µX .S fhiq{]WHKN;Ul]_^iN dZdj)qb`UWNVnonMHKYpNMb`LUWhXZxZUÀN h]_q}^dZk4boNQm\NVdZbÀb;]Wd:]WHpXjN nMnMλNMk\nVXf]ÛNMn[\YpkpYKbWNU UWUWOhdZ| qKpUÈXfdZq2Am]`Hp]`NcHKXydj]bW;L NQUWihZHA]`i^b`NMXy[]`HpN}Ul^qA]`XZXjqKn¼]Wm hnQndZq2U_]`b`XZhiqA]`U GIHKNMq )dZbXZq^acb`NVUWzpYpb`ZNMb U}ndZq2U_]`b`XZhiqA]V φ((E hi]hU}k2· dA· ·UWUWhzpiEN]`)d| m\E)N½2qpNXf(Eq£¸NM[]WNM·q2· m\· NVm E X) b`NVnMYpKdboZUlbIhxZNN[p»µXfU`LnoHpkpNMLNZAX]`Hp]WNQHKXfU`] noHpLNVLXy]`X noHKNVU;]WHKN}xZNVn]Wdjb`U;df hqj]`NMjNMhUIboU;XZU`U`XyUWd]`hnMUlhXf^]WhiNqKm ]Wφd{ ]WHpN¡dZb`LYKX a X )|) ¸]WHpNVbWNXfb`N{XjU:LXfq^ a U ]`HKXfq µXa .((a U`»¡XfqKm µX ]Wd]WHpN{dZb`LYKX ∃N.a =a a= .((a a X )|a ) ¸·]`HpNMb`N}hUXZq8dmKmqYpL{z2NVb df a UM » N +N +1 ? × Êo«K ªo× Ë ¯ Ëp´Ìf× ¯ ¶ )© Ìy }®4Ï Íy©y ¼® ± ± ¶ ` ¼Ê M"« /Ðj Ê © ¼¬{"« Ì φ+¯Ëp W*¶Ê}Ìy® #j¯Ã®ÈÏZoÏ WoªM"« oÊo¶·Íy¡ÊMª`ËK¬Ì S nMdZ b`× bWN× Ulk4dZq2mÁ ]Wqdd^7]`:aµHpSN}bWNLUlzpdYKmpbWNMj NMbdZ U{dZb`L|=YKXKφ φ(d)hUXZU`Uld\nMhXf]WNVm7]WdXɽKqphi]WN8YpqphdZq>df*hiqpNXfbUWN]`U]`HKXy] φ ¡ Á W U W U p Y L N W ] p H N L \ d \ m M N Q U f d φ XZqKm z4NQ]WHpN*djidyhqpN[]WhNVUQqKm\X8NVUWm hiqKb`ZNVnMN{Ypb`hiUWqKhxZNVN¡XfbU`noUWHpN]NVL L(b, XK\HpPNM)b`N hi]WhU;H ]`PHpN}=xZN{pn¼]Wdjb , ..., p } N] [[p]] n1. . np. . 1. p. #. 1 &. &. p. 1 &. n. &. n &. 1 &. 1. # 1. 2 &. 1 &. 2. 1 &. # 2. # 1. 1. 1. A
(78) . #. . 1. ![[p]]. [[p]]. =. ![[p]]. =. (a1 [] |. & n1. ... {z. &. . µX .( | a1 [] |. a1 [] }. &. ... {z. &. &. .... ap [] |. &. a1 [] }. &. .... & np. &. ... {z. &. . ap [] |. k. (n1 , ..., np ). p. ap []) }. &. ... {z. &. ap [] }. &. . X). IG HKNMb`NdZb`N*X{m\d\nMYpLNMqA] d UWXf]WhU_½2NVU [[p]] h§?XfqKm!dZqKi^ (d) = p cÛhi¿jNMhUlNjXm\d\nMYpLNMqA] d UWXf]WhU_½2NVU djqp^\]WhiH2)Xyhi]I] hhUUM]W]`HKHpNQNMnMb`N}dZLN[\zKhhiU_qK]oXfU ]WhdZqdZÛUlUlNVY2xZnoNVH!b`XZ]`HK2Xym\] d\nYKLNVqA]`UV d , ..., d pUWYKnoH]`HKXy] (d ) = p ![[p]] djb Xfh§ iXfqK∈m1..λ ÛN] S z4N]WHpNN[]`NMqKm\Nmb`NVnMYpb`UWhxZN{λU`∈noHpNNVLX [[b]] ![[p(d)]] = ...λ.p ![[p ]] {GIHpNVqÉX m\d\nYpLNVqj] d U`¸/XfXyq]`h^Ul½KqNYpU:L]`Hpz4NNMb¼UW»{noHKdfNM*Lm\X d\nSYpLh§NMXfqAq2]oUmUWdZXfqK]Wih^U_^hi hqpdhU}dZqpX!N!nM]WdZHpL{NzpU`hinoq2HpXyNV]WLhdZqÉX dfIX!;m\d\nMh§]`YpH LNMqA]UWXf]WhU_>^GIhqpHp NM[[b]] Njhi ]WH ` b N j d W b d U`Xy]`hUl½KNUµ]`HpNU`noHpNMLX S hicXfqKm!dZqKi^hi (d) hUhq L(b, P ) p]WHK[[pXf] ]]hU |= φ i(d)∈ 1..k Á¡UWUWYpLN]WHKN LdmpNMUcdf hUµXndjLzphqKXy]`hidjqdf4]WHpN hqpNVXZbµUlNM]`U L pb`dZL¹]`HpN kpb`NMxhdZYKU nVXZUWNZ4NnMXZq¦ndjqKUl]Wb`YKn¼]¡]WHpNφ UWnoHKNMLXZU (S ) UWYKnoH]`HKXy]QdZb*XfL i, ...,∈ 1..m d : S hiXfq2mdZqp^ hiNM [\hUl(d) Û N ] 2 z N W ] p H N ` U o n p H M N L X ; I G p H M N ` b N j d W b j N ` U y X W ] h l U K ½ V N U i h ]`UXZ∈q!LhqKm\hnNU iS∈ 1..m UWYKnoH!]WHKXf] S (d)| ...∈| LS p]WHKXf] hU |= φ d(d) S ?XZqKm dZqp^hi ]WHpNVbWN NnMdZqye_Nn¼]`YpbWN]WHKXf]¡]`HphUQXfzKhih§]_^ ]`d!ndjYpqA]¡hU:NM[pXZn¼]`i^8nhbonYpLU`nb`hiz4NVm8]`dacb`NVUWzpYpb`ZNV b U:XZbWhi]WH\ LdjbWNML{]WhnfYp4X{]WHKm\XfNV]¡qpdfhUM]`4hiqKdjb:]WNMHpxjNNMb`U`^ XfLU`noN*HpUlNVNML]V Xm\NMqpdZ]Whqp!XUlNM]¡dfcq2Xy]WYKb`XZÛqYpLz4NMboUV2]`HpNMb`NhU¡Xacb`NVUWzpYpb`ZNMb U n1. . np. . #. 1. #. λ. i. #. &. 1. &. &. k. i. #. #. 1. i i∈1..m. #. i. 1 #. m. i. m. i. #. +ü. (.
(79) ȪoËpM¬Ì*° Wo )©WÐZ¶´ªÌy®ÈÏ
(80) \ËKoÌyÍy¼Ê ¡«\¯Ã©y¬Ìy¯ÃÌ. Ov. ÎÃq¤]`HpN¦qpNM[]!UlNn¼]`hidjq INhqA]Wb`d\m\YKnNX7Ld\mpXZ:dZjhn djbm\d\nYpLNVqj]oU]`HKXy]!mphib`NVn]W^ÄNVLz4NVmpU nMdZYpqA]`hiqp>ndjqKU_]`b`XZhiqA] ÎÃq2m\NMNmÀ:acb`dZk4djUWhi]WhdZq¥vKiOÉhiqKmphnVXy]WNU!]WHKXf] hi] hU qpNVnMNVU`UWXZbW^Ä]WdÄ]`XZ¿ZNÉhiqA]Wd XjXjnMUlhnMm\dZN!YpqAbW]djacLb`NV]WUWHpzpN Ypb`´ZXjNVn¼ b] U]WHKnMXfdZ]qKUln]WdZboYKXfqjhqA]`]`hiqKUnMHpdZNMqKq>Ul]Wm\boNVXfXZhqAih]`qpU¦XZmpmÄhi]WHÂN[\]WkpHpb`N NVU`hUlqjh]`xZNMNVb`qpiNNVXU`xU}hiqp]`d¦dZdZYpk4bNMboXydZ]WZdjhbVnfX¦gxydZXfb`NMYKdyXZxjzpNMibN b`NVUWYpi]µdf Xjmpm\hqpacb`NVUWzpYpb`ZNV b U dZb`LYKXjU?hUc]Wd{dZz\]oXfhqX}idjZhnIh§]`HZdd\m¸´XZqKmm\NnhmpXfzKiN»?ndjUWYpb`N kKbWdjk2NVbl]`hiNUM # $&M ]o XZnN]WhNnM[Xf]W NVnMqKdZmÉqKUl]W]WHpboNXfhU`qAno]`HpU;NMhLq X!djb`XZmpqpNMZb;Y2]WXfdZm\NNM½Kqphi]WNHXX!LUWdN]}mKXfdZ ;dZdZjjhhn:nVXfdZ+b dZm\k4d\NMbonMXyYp]WLdjb`NMU*qA]`XZUVqK\m]WHKb`N
Documents relatifs
« La prophétie, ou interprétation et conférence des Écritures se fera par les ministres du Colloque, en l’assemblée où chacun dira la tête découverte ce que Dieu lui
Pendant six ans, jusqu’au premier janvier 1568, le clergé de France doit fournir chaque année au roi l’équivalent de quatre décimes, un million six cent mille livres tournois,
We have shown that the cognitive control mode depends on multiple factors, either internal to operators (e.g. expertise, experience, skills) or external, relative to the
« On ne fait pas que des psychothérapies en clinique/…/On en parlait encore ce matin : est-ce qu’on a le temps de faire des psychothérapies, parce qu’on voit les gens
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
Gillard, “Combinaison de la DG-FDTD avec un mod` ele de substitution pour un calcul de dosim´ etrie locale dans un probl` eme variable et fortement multi-´ echelle”, dans 18`
Le jugement porté par les femmes lettrées sur leurs soigneurs doit donc être nuancé en fonction de la personnalité de chacune, de la gravité de la maladie,
3.3 Processus d’alimentation d'entrepôt de données : Nous devons extraire, transformer et charger les données à partir des sources précédemment citées, dans l'entrepôt de