A language and an Integrated Environment for Program Transformations
22
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A language and an integrated environment for program transformations Isabelle Attali — Valérie Pascual — Christophe Roudet. N˚ 3313 December 1997. THÈME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6) !" $# . %&!" . . %. ')(+*-,/.10203.547686+*-029;:=<*-02>1?892.5@A*-(B1CD*E0:DFHG=?892(68IKJ=G=.ML I-C=N=.O6 PRQTSVU7W X Y[ZA\V]_^`WacbedO^cfV^`Wa WghfijakflTanmpoqUr-beac^cs1lTW tDuvbjwxWVghyzuvbOie{ |ij{_{EbOu}g~WuvWfQTWuvfQ_W]-=e_5Y WfVWVUr-WVueqY8H{_ijdOWm. V"Tee[ WH{TuvWmpWV]1ggvQTWHPup2akij]TdOl_ijdOWeEi upl_a`WVr_iOm}W8~acie]TdelEijdeW ~TWmp^`dO]TW~bOu{_upbOdeuijUgvuvie]_m}beuvU7ijgp^cbe]_mh_beu gvQTWW]_~ql_mpWVu8=Pup2 ^km^c]1gpWV]E~W~¡gvbMmplT{T{-beupgr-bjgvQ¢~^cupW8f)gHU7ie]T^c{TlTaki"gp^cbe]£^`]£ie]^c]OgvWVuiefgp^c¤eW mpWgpgp^c]TdMie]_~ijlTgpbeU¥ijgpW~ WV¦qW8flgv^`bO]§^`]Mi mxgij]_~iea`bO]TW fbO]OgvW¦qg_beugvQTW~TWmp^`dO]TWVu8gpQ_WPu}2¨akij]_del_iedeW;WijgplTuvWmi¥QT^cdeQacWV¤eWanW¦{TuvWmvmp^`¤OWA{-b"©ªWVu r_iOm}W8~«bO]«{Eb"©ªWVuplTa{_i"gpgpWup]_m¬{TuvWfbO]_~^`gp^cbe]_mij]_~5{Eb1mxgpiOf)gp^cbe]EmVKieffWmvmhgpbfbe]1gvW¦qgpl_iea^c]bOupU¥i"gv^`bO]5mpl_fQ5iem;mpoqUr-bea gijrTacWmbOu~Ti"gi"®_b"©¯deuij{TQ_mij]_~ lT]_fgp^cbe]_iea&fbOU7{Eb1m}^`gp^cbe] bjgpuij]_m}beuvU¥i"gp^cbe]EmV _beuDgvQTWh~W8m}^cde]TWuO©zWieacmpb{Tuvb"¤q^c~Wie]¥^`]1gpWuviOf)gv^`¤OWªW]q¤1^cuvbe]TU7WV]1gDbOu°{TuvbedeuijU±gpuij]_m}beuvU¥i"gp^cbe]EmrEiempW~7be] yzW]OgijlTu8 PRQT^kmH^`]1gvWVdeui"gvW~¨W]q¤1^cuvbe]TU7WV]1gHU7ie²eW8m^`g¥{Eb1mpmp^`r_a`W gpb³rTlT^cac~£gpuij]_m}beuvU¥i"gv^`bO]¨uplTacWmrqom}Wa`W8f)gv^`bO]£bjAm}oq]1gvij¦¡{Ei"g}gvWVuv]_m be°gpQTW7bOrwxWfgakij]TdOl_ijdOWij]E~§gpb ijlgvbeU¥i"gv^cfijaca`odOWV]TWuvijgpW gvQTW7P&up2¢mpbel_uvfVWfb~WO´1gvijgp^kf gxoq{-WfQTW8f²q^`]TdbjzPup2£uvlTacWm ^km{_upb"¤q^k~W~¬gpbMWV]_mplTuvW fbOupuvWfgfbO]_mxgvuplEf)gp^cbe]¡be{_i"gpgpWVuv]_mDij{T{Tuvbe{_up^ki"gvW¥l_m}W bj¤"ijuv^cierTacWmie]_~¡¤q^cmp^`r_^`ac^µgxo¡uvlTacWm ^c]£i {TuvbedOuvieU ¶ UHbO]Td]qlTU7WVuvbelEm ij{T{_a`^kfVijgp^cbe] ~bOU7ie^`]Em5·acWVd1iefVo¢fb~W5{TupbOrTacWVU¥mVm}gvijgp^kf§be{Tgp^cUH^c¸ijgp^cbe]_m{_ieuviea`acWVac^`¸8i"gv^`bO]_mv¹R©zW {Tuvbe{-bOmpW^c]7gpQT^kmªijupgp^kfacWhi fbOU7{Ta`WVgpWWV¦TijU7{TacWr_iempW~7bO]¥{_ijupgp^kijaEWV¤"ijacl_ijgp^cbe]7gpW8fQT]T^ks1lTWm/be] i;gvb"o^cU7{EWuvijgp^c¤eWakij]TdOl_ijdOWe º lTu»_]_ijadeb1ija©^µgvQ5iHbeuvU¥ija&~W8mpfVup^c{gv^`bO] be=gpQTWgvuvie]_m}beuvU7ijgp^cbe]_mr-Wmp^c~W8m^`gvmh^`]1gpWupW8mxg{-WVuAm}WOT^kmgpb rEWierTacW;gpb {Tuvb"¤q^c~TWgvbqbeakmªbeu{Tuvb"¤q^`]TdgpQ_W;fVbeuvupW8f)gv]TWmvmªbj&gvQTW;gpuij]EmxbOupU¥i"gv^`bO]_mqiOmR©zWa`aniOmRbjgvQTWVu^cU7{EbOu}gij]1g{TupbO{EWu}gv^`W8m;·2mpl_fQ§iem fVbe]®_l_WV]_fVWegvWVuvUH^c]_ijgp^cbe]nWVgvf¹ ¼§½1¾K¿pÀÁ "Âe tDuvbedOuvieUÃPuij]_m}beuvU¥i"gp^cbe]EmVn´qWU7ie]1gp^kfVm&t=i"g}gvWVuv]xħi"gfQT^`]_d_KÅ]1gpWVuiefgp^c¤eW7ÆD]q¤q^`uvbe]TU7W]Og8&´1gpuvl_fgplTuvW~ W8~^µgv^`]_d_-yzW]OgijlTu8. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 93 65 77 77 - International : +33 4 93 65 77 77 — Fax : 04 93 65 77 65 - International : +33 4 93 65 77 65 à partir du 01/01/1998 Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.
(7) . ª$ ¥V %. . %&!" . %.
(8) . #5 . # . . %.
(9). bOl_m;{Tuv\mpWV]1gpbO]_mhacWHacie]TdOiedeWPup2°KlT]³acie]TdOiedeW r_iOm}W7~WHupSdeacWmAfbe] l5{-bel_uAacWmAgvuvie]_m}beuvU7ijgp^cbe]_m~W {TuvbedOuvieU7UHW8mVtbel_uha lgv^`ac^kmpijgpWVl_uh»_]Eijaz·2a`WH{TuvbedOuvieUHU7WlTus1lT^&gvuvie]_m}beuvUHW mpWmh{TuvbedeuijU7U7Wm¹RPu}2mplT{T{-beupgpW ¥aki7be^km lT]_WAU¥ie]T^`{_lTacijgp^cbe] ~^`uvWfgpW~Tie]_mªlT] fVbe]1gpWV¦qgpWA^`]1gpWuviOf)gv^µ&WVglT]TW;W¦\fVlgp^cbe]r_i"gfQM·2{_ijuRW¦WUH{_a`W;{-belTuªgpuij]EmxbOupU7WVuªlT] W]_m}WUrTacW~TW a`^crTuij^cup^cWm¹)«tbOlTuacW fbO]_fW{gpWlTu~TW gpuij]EmxbOupU¥i"gv^`bO]_m&acWmHfVijuiefgp\up^kmxgv^cs1lTW8m~lakij]Td1ijdOW7Pup2 mpbe]1glT] dOuvie]_~{-bel_¤ebe^cu°~ W¦{TuvWmvm}^cbe]be]_~T\m}lTu/lT]7{TlT^kmpmvij]1g°U7\fij]T^km}U7W~W{_ijg}gvWVuv]U¥ijgvfQT^c]Td_eaciA{Tuv\mpWV]_fVW~W{Tuv\fbO]_~^`gp^cbe]_m WVg~W {-bOm}g}iefgp^cbe]_ml_]TW fbOU7{Eb1m}^`gp^cbe]¡U7b~lTakij^cupWOa iOfVfVSm §~W8m ^c]beuvU¥i"gv^`bO]_m fbO]1gpW¦qgvlTWVaca`W8m fbOU7UHW~Wm gvijr_a`W8m ~W mpoqUr-beacWmbOl«~WmdOuvie{TQTW8m~Ti"gi"®_b"©RtbelTuacW fbO]_fW{gpWlTu8_]TbOl_mRbel_up]T^kmvm}bO]_mRlT]§WV]q¤q^cupbO]T]TWVU7W]Og^c]1gpWuviOf)gp^`°fbO]_mxgvupl_^µg iel~TWmvm}l_mh~WyzWV]1gvielTuhs1lT^¬2iOf^ca`^`gpWdOuvie]_~WUHW]1ga \fVup^`gplTuvW~Wmgpuij]_m}beuvU¥i"gp^cbe]EmzdOu OfW 7lT]§U7\fij]T^kmpUHW~Wm}\a`W8f)gp^cbe] ~W8mijuvrTuvWmR~Wmpo1]1gi"¦Wijr_m}gpuij^`gpW;fbOlT{Tac\ i+¤eWflT]TWdO\V]T\uvijgp^cbe] ijlgvbeU¥i"gv^cs1lTW;~l§m}bOlTufWP&up2° h] ¤e\up^`»EfVijgpWlTu&~W/gxo1{-Wm{-WVuvUHWVg~ iemvmplTupWu&s1lTW°acWmm}{-\fV^µ»-fVi"gv^`bO]_m&Pup2 m}bO]1gfbOupuvWfgpWm/·2fbO]_m}gpuvl_f)gv^`bO]WglTgp^ca`^kmpijgp^cbe] ~W8mijuvrTuvWm¹) t=ijuvU7^h~WM]TbeUrTupWl¦ ~TbeU¥ij^c]TWm ~ ie{T{Tac^cfi"gv^`bO]_m¥{-bOmvm}^crTacWm5·2U7^`dOuvijgp^cbe]_mzbO{gp^cU7^cmvi"gv^`bO]_m{_ijuijaca`\a`^kmvi"gp^cbe]Emv¹z]TbOl_m {Tuvbe{-bOmpbe]Emª~_ij]_mfVWghijupgp^kfacW;lT]W¦WVU7{TacWfbOUH{_a`WVgh~ \¤"ijacl_i"gv^`bO]{_ieu}gv^`Wa`acW¥·akiH{TupbO{_ijd1i"gv^`bO]~WfbO]_m}gvij]1gvWm¹) bjgpuvW7berwxW8f)gv^µRlTa`gp^cUHWOi+¤OWflT]TW ~W8mpfVup^c{gp^cbe]MbeuvU7WVaca`W¥~W8m;gpuij]EmxbOupU¥i"gv^`bO]_m¬Wm}g~TW¥{EbOlT¤ebO^`uAbel_up]T^cu ~W8m;belgv^`akm ~W5{TupWlT¤eW§~W5aci¨fVbeuvupW8f)gp^cbe] ~W8m7gpuij]_m}beuvU¥i"gv^`bO]_m7~\fVup^`gpW8mVij^c]_mp^hs1lTW«~ ijlgvupW8m¥{Tuvbeuv^`\Vgp\8m7upW8fQTWVufQT\VW8m·2fbOU7UHW5aci fVbe]®_l_WV]_fVWeTakigpWVuvU7^`]Eij^km}bO]nqWgvf8¹). . . . . . . . . . . . . . . . § Puvie]_mxbOupU¥ijgp^cbe]_mR~W {_upbOdeuijU7U7We_´q\U7ie]1gp^ksOl_We_t=i"gpgpWup]xħijgvfQT^c]Td_EÆD]q¤1^cuvbe]T]TWU7WV]1g^`]1gvWVuief)gv^µx °~^` ±Á ¿ gv^`bO]m}gpuvl_fgplTuv\VWOEyzWV]1gvielTu.
(10) . 0. 2. 1. ¥
(11) . / . 3. tDuvbedOuvieU gpuij]_m}beuvU¥i"gv^`bO]_m&ieupWRiAU7ijwxbeuDfbO]_fWup]^`]gpQ_WRfVbeU7{TlgvWVu°mvf^cWV]1gp^km}g=fVbeU7UlT]_^µgxo ie]qol_m}WujupbOU gpQTWr-WVdO^`]T]_WVu gvb¨gpQTW5UHb1mxgW¦{EWu}g ©^kmpQTWm gpb¨Q_i+¤OW«i¨m}WVg bj;gpbqbOacm7gvb¨U¥ij]T^c{TlTaki"gvWeRgpuij]EmxbOupUªU7ie^`]1gij^c]nie~Tie{gie]_~ be{gv^`U7^c¸VW {TuvbedOuvieU¥mVªtDupbOdeuijU gpuij]_m}beuvU¥i"gp^cbe]EmfVij]r-WfVaciOmpmp^µ»EW~ ©^µgvQT^c]«U¥ij]qofi"gpWdebOup^cWmuvbeU {_lTupWa`ompo1]1gief)gv^cf¥·3fQ_ij]_deWi acb1bO{ ^c]1gpb7i acbqbe{E¹°gpb¥fbO]1gpW¦qgpmpWV]_mp^`gp^c¤eWhbOum}WU7ie]1gp^kf·3fbe]Emxgij]1gª{_upbO{_ijd1i"gp^cbe]&OfbOU7UHbO]m}lTr-W¦{TuvWmvmp^`bO] Wa`^cU7^`]_ijgp^cbe]E¹ªPRQ_WupW8ie~WufVij]uvWWugpb _EX11E1XqE_ nbOuhij]b"¤eWup¤q^cWV©¯be] gpQTW mplTrwxW8f)g8 ¶ ]TbjgvQTWVugvupW]_~^c] {_upbOdeuijU gvuvie]_mxbOupU¥ijgp^cbe]_m ^cmgpQ_W³ieupW8ibj{_ijupgp^kijaAWV¤"ijacl_ijgp^cbe] c t=ijupgp^kijaAWV¤"iea`l_ijgp^cbe] ^kmigvWfQT]_^cs1lTWMbeum}{-WfV^ciea`^c¸V^c]Td {TuvbedOuvieU¥mD©^µgvQ uvWmp{EW8f)gªgpb ·{_ieu}gm/bev¹DgvQTWV^cuR^`]_{TlgvmqrTlT^cac~T^`]Td7i uvWmp^k~l_ijaE{TuvbedeuijU1ij]_~7gvQql_mªWVac^`U7^c]_i"gv^`]Td^`]1gvWVuv{TupWVgp^c¤eW b"¤OWVuvQTWiO~¬DyzbOU7UHbO] gvWfQT]_^cs1lTW8mªbeurTlT^cak~^`]_d7gpQTWuvWmp^c~Tl_ija¬{TuvbedOuvieU ijuvW. <;=?>7@ 5. 4+576 598:. BA C. -D EA GFD. 73. H. eRWV¤"ijacl_ijgp^cbe]¡·2ij]E~ Wa`^cU7^`]_ijgp^cbe]E¹ªbeWV¦{TupW8mpmp^cbe]_mª~WV{-WV]E~^`]_d¥be]§mxgi"gv^cf;~Tijgvi·^ WOD²q]Tb"©] ijghm}{-WfV^ciea`^c¸ijgp^cbe]gp^cU7W8¹ X~lT{Tac^kfVi"gv^`bO]beWV¦{TupW8mpmp^cbe]_mR~W{EW]_~^c]Td7be]§~oq]_ijU7^kf;~Ti"gi ·2^3 WeDbO]Taco ²q]Tb"©] ijgupl_]3gv^`U7W+¹). 7JIK
(12) L. ZAW]TWVuijaca`o;mp{EW8ij²q^`]_d_gpuij]_m}beuvU¥i"gp^cbe]EmnijuvWDW¦{TuvWmvm}W8~A©^µgvQ U7Wie]_m/·2^`]ihfbe]q¤OWV]1gp^cbe]_iea"{TuvbedeuijU7U7^c]Tdacie]TdelEijdeW+¹) i ]_~5ieupW ]_WV^`gpQTWu;iOmpmpbf^ki"gvW~©^`gpQMi beuvU¥ija=~Wmvfuv^`{Tgp^cbe]«]TbOuhgvb fVWVupgp^`»_W~§gpbqbeakmh©Q_^cfQMWV]_mplTuvW gpQ_WHfVbeuvupW8f)gp]_Wmvmbj°gvQTW e gvuvie]_mxbOupU¥ijgp^cbe]n WV¤eWu}gvQTWVacWmvmqmpbeU7W;m}om}gpWU7m~TbHmplT{T{-beupgRgpQTW mp{EW8f^`»EfA]TWVW8~TmRbj{TuvbedeuijU gpuij]EmxbOupU¥i"gv^`bO]_m Wde^c¤eW;ij]b"¤eWVuv¤q^`W© ie]_~ fbOU7{_ijuvW=gpQTW8m}Wªm}om}gpWU7m&l_mp^`]TdAimpWgbeTfuv^µgvWVuv^ci^c]´qW8f)gv^`bO]X_upbOU gpQT^kmfVbeU7{_ieup^km}bO]nV©ªW/~WV»_]TWªm}{-WfV^µ»Ef/berwxW8f)gv^`¤OWm ie]_~³©zW7{TuvWmpWV]1gbelTub"©]¡{Tuvbe{-bOmvijabOu iakij]_del_iedeWHW¦{TuvWmvm}^c]Td{TuvbedeuijU gvuvie]_mxbOupU¥ijgp^cbe]_mA^c]¨´Wf)gv^`bO]¨T ´qW8f)gp^cbe] ~W8mpfVup^cr-WmhgpQTWHmxgi"gp^kfmpWVU¥ie]Ogv^cfmhbeDgpQTWHP&up2akij]_del_iedeW ^c] ijgplTuija=´qWVU¥ie]Ogv^cfm XeX ;TuvbeU gpQ_^cmAm}WU¥ij]1gp^kfVmElEm}^c]Td gvQTW yzW]OgijlTuAm}om}gpWU =©zW{Tuvb"¤1^k~W i gxo1{-WfQ_Wf²eWubeuhgpQTWacie]TdelEijdeWOh´qWfgp^cbe] {TupW8m}W]1gvmgvQTW^c]1gpWuviOf)gp^c¤eWW]q¤1^cuvbe]TU7WV]1g r_iOm}W8~¥be]yzWV]1gvielTu°gvb~W8m}^cde] ie]_~¥{-WVupbeuvU {_upbOdeuijU gpuij]_m}beuvU¥i"gp^cbe]EmV ¶ mªij] ^ca`acl_m}gpui"gv^`bO]«·3´qW8f)gp^cbe] O¹O©ªWhWV¦q{_upW8mpm/^`] Pu}2¨iHdOa`bOr_ijaKgvuvie]_mxbOupU¥ijgp^cbe]fVbeU7^c]TdHupbOU{_ijupgp^kija¬W¤"ijacl_i"gv^`bO] gvWfQT]T^ks1lTWmRbO] iHgvb"o ^cUH{-WVui"gv^`¤OW;acie]Tdel_iedeWO^c]_ijaca`oO ©ªW fbO]_facl_~W;^c]§´Wf)gv^`bO]§©^`gpQ lgvlTupW©ªbeuv²KqWmp{EW8f^kijaca`o fVbe]_fVWVuv]T^c]TdHgpbqbeakmR©zW;©Rij]1gRgpb¥iemvmpbqfV^cijgpWA©^µgvQ§P&up2°. . . PA OD. T. U. WV. QF. MC. NA OD. SR. YX. V;
(13). . . WAieupWAfbO]_fWup]TW8~7QTWVuvWh©^`gpQ m}om}gpWU7m/gpQEi"gªgvij²OWi{TupbOdeuijU ^`] i de^c¤eW] akij]TdOl_ijdOW ·^c] gpWV¦qgªbOu/gvupWWhuvWV{TuvWmpWV]1gvijgp^cbe]E¹°iem c^ ]T{Tlg8Eie]_~ {Tupb~lEfWiemRbOlgp{TlTgij]TbegpQTWu{TuvbedeuijUq^c]gvQTW mvijU7W;acie]Tdel_iedeW;beuR^c]«ij]TbegpQTWuacie]TdelEijdeW7·W^µgvQTWVuh^`] gpWV¦qgbeu gvupWW;beuvU¥¹ PRQT^km=»_Wac~7be¬^`]q¤eW8mxgv^`d1i"gv^`bO] HmpbelTufWV3gvbjm}bOlTufW°gvuvie]_m}beuvU7ijgp^cbe]gpWfQ_]T^cs1lTW8m ^kmD{_ieu}gv^cfVlTacieupacoiOf)gp^c¤eW^c] i;¤"ijuv^`WVgxo bj gvbe{T^kfVmm}lEfQiemijr_m}gpuiefg^c]1gpWVuv{TuvWgi"gp^cbe] "{_ieu}gv^cieaeWV¤"iea`l_ijgp^cbe] ·3t°Æ/¹ Eq jm}WU¥ij]1gp^kf)r_iempW~Agvbqbeakm X "{_ieuviea`acWVac^`¸8i"gv^`bO] gvWfQT]T^ks1lTWm ` n^`]§~^ KWVuvWV]1guvieU7WV©ªbeuv²qmA· l_]_f)gv^`bO]_ija acbede^kf `O Tbeu^cU7{EWuvijgp^c¤eW _EX {TupbOdeuijU7U7^`]_d1¹) ij]TdOl_ijdOWmHij]_~ mpoqm}gpWU¥mHbeu¥{TuvbedOuvieU gpuij]_m}beuvU¥i"gp^cbe]EmHfij] rEW«fVaciOmpmp^`»_W~ ieffbeu~^c]TdMgpbmpWV¤eWuvieaªWi"gvlTuvWm OX ©QT^kfQU¥ij²eW;W8iemp^`Wuzgvb¥fbeU7{_ieupW;ij]E~W¤"ijacl_i"gvWAU¥ie]1o~^ KWVuvWV]1ghie{T{TuvbOiefQ_Wm PRQTW8m}W;fuv^`gpWVuv^kiieupWAupWacijgp^c¤eWhgpbHgpQTW;WV¦q{_upW8mpmp^`¤OWh{-b"©zWuRbj&gvQTW;U7Wgvijakij]_del_iedeW·beuªgpQ_W;~TWmp^`dO]TWVu)¹/iOmª©zWa`aniOmz{-WVupbeup U¥ij]EfWm·gp^cU7WeTU7WVU7bOupoT¹/bjiOmpmpbf^ki"gvW~¥gvbqbeakmA·beuRgvQTWWV]_~l_mpWVu)¹)/yzuv^µgvWVuv^ciijuvW;]Tbjg^c]_~WV{-WV]E~WV]1g EijU7be]TdbjgvQTWVumVqgvQTW ie{T{Tac^cfi"gp^cbe]~bOU7ie^`]^cmRbeU¥i"wxbOuR^`]®ElTWV]_fVW;be] bjgpQ_WVuªWijgplTuvWm·beuR^`]Emxgij]_fVWeTfbOU7{T^`ac^c]TdHgpbqbeakmRijuvWl_mpl_iea`aco ©ªbeuv²1^c]Td^`] r_ijgvfQU7b~W8¹ W~WVgvij^can]Tb"©¯gpQ_WU7ie^`] W8i"gpl_upW8mbj=W¦^kmxgv^`]Td7gvuvie]_m}beuvU7ijgp^cbe]m}om}gpWU7m·2mpWVW ^`dOlTuvWH;bOuhij]dOWV]TWuviea¬b"¤eWVuv¤q^`W©h¹) _upbOU gpQT^kmfVbeU7{_ijuv^km}bO]nq©zW;©^ca`a&~Tuvi+©¯belTuRb"©] berwxW8f)gp^c¤eW8mªbeuiH{Tuvbe{-bOmvijaK^c]gvQTW]TWV¦1gmpWfgp^cbe]n. <A OF^D. _. [Z. "A D. `AaFOD c_. A R
(14) ROD A -D. \Z. dYd /e ^e f +e f h3 g A D bA OD "A OD A iOD &j kA ^D `A
(15) iODH
(16) 3 g H l /n pAaFOD -H 3 g A R D qA D rA 7FOD H stsvu w x-x^yzx e . e Á. ]A ROD. A CD. bA ^D.
(17) H. Â Á ¡. ^H. fVbeU7{T^ca`^c]Td5{_upbOdeuijU¥m Hmxgi"gv^cf ie]_ijacom}^kmbO{gp^cU7^`¸8i"gp^cbe]&D^`]1gpWupU7W8~^cijgpW fVb~W dOWV]TWuvijgp^cbe]n«ZAWV]_WVuijaca`oOgvQTWmpW mpomxgvWVU¥mhieupW;l_mpW~^c]«i¥r_ijgvfQ§fbO]OgvW¦qgE©^µgvQ§]Tb¥^c]OgvWVuiefgp^cbe]©^µgvQgpQTWWV]_~ql_mpWVu EmpWVW;bOuh^c]_mxgij]_fVW º {gpuij] Xj TtDl_U7i c8X EZAW]1gpacW Xe E y/X Xj-X TP TP/oq{-bea XeX¬. mA &FOD oA
(18) D. mp{EW8f^kijac^`¸^`]_d{TupbOdeuijU¥m ¬beuv^`dO^`]_iea`acoeebe]Tac^`]_W{_ijupgp^kijaW¤+iea`lEi"gpbOuvmDfVbeuvupW8m}{-be]E~W~ gpb]TbO]m}gvie]_~Tieuv~^`]1gvWVuv{TupWVgpWuvm ·3iem bO{T{-bOmpW~ gpb¢fbeU7{T^cacWVumv¹ hb ¥^c]TW«{_ieu}gv^cieaWV¤"iea`l_ijgpbOuvm«·gpbdOWgmpWVa` ij{T{Tac^kfVi"gv^`bO] gpb©ªbeuv² c ¹)ieupW ~W8fbOUH{-bOmpW~«^`]³i¥rT^c]_~^c]Tdjgp^cU7WHie]_ijacoq¸VWVu· RP ¶ ¹hie]_~5i uplT]T3gv^`U7W7m}om}gpWVU ¶ mAU7WV]1gp^cbe]TW8~§^c] `" EgvQTWVuvW ^kmiH]TWVW8~beumplT{T{-beupgªgvbqbeakmªbeul_mpWVum·2mpWVW;We d_/´TfQT^cmpU ¹ akij]TdOl_ijdOWbeuv^cWV]1gpW8~7W~^`gp^c]Td gpQ_Wmpoqm}gpWU ²1]_b"©m°r-bjgpQm}oq]1gvij¦7ie]_~¥m}WU¥ij]1gp^kfVm/bj¬gpQ_Whakij]TdOl_ijdOWij]_~¥{-WVuvU7^µgm ie] ^`]1gvWVuief)gv^`¤OWhij]E~¥delT^k~W8~¥W~^`gp^c]TdE ¶ 7 U be]Tdmpl_fQ mpomxgvWVU¥megvQTWVuvWieupWgvQTW;yzbOup]_WVacaK´qoq]1gpQ_Wmp^`¸WVuªZAW]TWVui"gvbeu X &ij]_~«yzWV]1gijlTu z·3P&uij]_mvTbOupU X ¹.
(19) C g. bH. h3. {TuvbedOuvieU ~W¤eWVacbe{_UHW]1gl_m}^c]Td mpl_fVfVWmvm}^c¤eWuvW»E]TWVU7WV]1gm DgvQTWmpomxgvWVU deuie~l_iea`aco¥uvW»_]TW8mi mp{EW8f^`»EfVijgp^cbe]bj°i {Tuvber_a`WU ^c]Ogvb ij]7W¦W8flgijrTacWij]_~HW fV^`W]Og°{_upbOdeuijU empl_fQgvbqbeakmDl_mpl_ijaca`o©zbOup²^c] ij]H^c]OgvWVuiefgp^c¤eWRU7bq~TWij]_~ {Tuvb"¤q^c~TW;fVbeuvupW8f)gv]TWmvm/{_upbqbj2m TmpWVWAbeu^c]_m}gvij]EfW t°| º ´t°ÆªyªP| ¶ ` ;Åx A´ Xj º |h´ º . d.
(20) H. f. A
(21) C D. A OD rA OD. A iOD
(22) 3. X TV ½ t=ijg}gpWup]TU¥i"gfQT^c]TdM^km i³²eWo£iemp{-Wf)g¥be;i³akij]TdOl_ijdOW ~W8~^kfVi"gvW~¢gpb³gvuvie]_mxbOupU¥ijgp^cbe]_m gvQTW§W¦{TuvWm} m}^c¤eW{Eb"©ªWVubjh{Ei"g}gvWVuv]_mHfVij]£2iefV^`ac^µgi"gvW gpQ_W giemp²¨bjgpQ_W ~W8m}^cde]_WVu·We d_¨Puvijbeaki" c ¹)zrTlg¥fVij]¢ijakm}b³fVijlEm}W {EWu}bOupU¥ie]_fWA{TuvberTacWVU¥mR^c]gvQTW iemvmpbqfV^cijgpW8~¥gpbqbOa. )H. e f , e. -H. T V" ½ ½ =´1gpui"gvWVde^cWmK^c]_fVa`l_~TWDgpQTW°fQ_be^kfWDbj1gpQ_W/ij{T{_a`^cW~gpuij]EmxbOupU¥i"gv^`bO]uvlTacW·uvlTacWDbeu~WVu8O·2]Tbe]x¹x~TWgpWupU7^c]T^km}U ¹ iemR©ªWVacaniemRl_mvijdOWbel_]T^µ»-fVi"gv^`bO]³·2We d_°Pzoq{EbOak¹ªij]E~ iOfVfVWmvm/gvb¥fbe]1gvW¦qg}m}W]_mp^µgv^`¤OWA^c]bOupU¥i"gv^`bO]M·2We d_ º {gvuvie]E¹. C ef _. . -H. j ½ ½ 8 ¾D/PRQ_^cm&WijgplTuvW/^km&{Eijupgp^kflTakijuva`oA]TWW~W8~ ^c]ij]^`]1gpWuviOf)gv^`¤OW°U7bq~TWeji"ggpQTWR~W8m}^cde]TWu&acWV¤OWVaK·2ie~_~^`]_dAi ]TWV©¢gpuij]EmxbOupU¥i"gv^`bO]uvlTacW8¹=iOmD©zWa`aEiem°ijgDgpQTWW]_~ql_mpWVu°acWV¤OWVa&·gpuij]_m}beuvU7^`]Tdi;{TuvbedOuvieU±i" gvWVu°W8~^µgv^`]_d1¹ ¶ gpgpuv^`rTlTgpW ZAuvieU7U7ieuvm/m}om}gpWVU¥mzijuvWQT^kmxgvbeuv^cfijaca`oH{TuvbeU7^`]_WV]1g/^c] ^`]EfuvWVU7WV]1gviea`^`gxogpWfQ_]T^cs1lTW8m X TqXT ¶ acmpb_OWijgplTuvWmzm}l_fQiem ij]_~ ijuvW;l_m}lEijaca`o fVbelT{_a`W8~ ©^`gpQ^c]OgvWVuiefgp^c¤eWAWV]q¤q^`uvbe]TU7W]Ogm. I *- F f . K
(23) e f , e Oe. . A R -D. hH. +T ½ 5´qbOUHW mpomxgvWVU¥m ·3t°| º ´t°ÆzyªP| ¶ ij]_~ ;Åx ;´T¹;{_upb"¤q^k~WHgpQTW lEm}Wu ©^µgvQi«mpWg bj V" Á ¡ Á mxgij]_~_iju~5gvuvie]_m}beuvU7ijgp^cbe]_m§´ql_fQmpoqm}gpWU¥mU¥i+o³ieacmpb§^`]1gvWVdeui"gvW¥{Tuvb1bezgvWfQT]_^cs1lTW8mbeugpQTWfbeuvuvWf)gv]TWmvmbeªgvQTW gpuij]_m}beuvU¥i"gv^`bO]_mV. f . 2. ¾ . t {_UHa D Puij]_m}beuvU yzW]OgijlTupP/oq{-bea yRX" º acdOi ´qdeW] P A º {Tgpuij] Puvijbeaki ZAWV]1gva`W t°lTU¥i ;Åx ;´ ´fQT^km}U Pup2. . &j. . Á  ½. d. ½ . c^ ]_fuvWVU7WV]1gija r_i"gfQ%$^c]OgvWVuiefgp^c¤eW r_ijgvfQ r_i"gf% Q $^`]EfuvWVU7WV]1gviea ^c]_fuvWVU7WV]1gija r_ijgvfQ r_ijgvfQ r_i"gf% Q $^c]OgvWVuiefgp^c¤eW r_ijgvfQ r_ijgvfQ mpWVU7^µijlTgpbeU¥ijgp^kf r_ijgvf' Q &±^c]1gpWVuiefgp^c¤eW r_ijgvf' Q &±^c]1gpWVuiefgp^c¤eW. f. r_iOm}^kf r_iOm}^kf r_iOm}^kf r_iOm}^kf r_iOm}^kf r_iOm}^kf r_iOm}^kf {-b"©zWu}l_a r_iOm}^kf r_iOm}^kf r_iOm}^kf r_iOm}^kf {-b"©zWu}l_a. 73. . . f e! ^e f =e Á. Á. ]Tb ] b T oeWm ]Tb ]Tb oeWm ]Tb oeWm oeWm oeWm ]Tb ]Tb ]Tb. f. ½#" ] b T oOWm oOWm oOWm oOWm oOWm oOWm oOWm oOWm oOWm oOWm oOWm oOWm. f. &Á ½ {TuvWgpgxo {Tuv^`]1gp^c]Td dOlT^c~TW~W~^`gp^c]Td r_iempW~be]tDuvbeacbed r_iempW~be] ¶ Z r_iempW~be] ¶ Z lT]_f)gv^`bO]_ija r_iempW~be] ¶ Z lT]_f)gv^`bO]_ija r_iempW~be]tDuvbeacbed r_iempW~be] ¶ Z upWV»_]TWUHW]1g t=ijupgp^kija¬ÆD¤"iea`l_ijgp^cbe]. h3. ^cdel_upW7 DPuvie]_m}beuvU7ijgp^cbe]´qomxgvWVU¥m Die] b"¤OWVuv¤q^`W©. 'O*-/L. . PRQTWgpWupU bOuA{Ei"g}gvWVuv]_mUHW8ij]_mhgpQEi"g;oebelMfVij] g;©up^`gpW7i {Ei"g}gvWVuv]«gvQ_i"g;U¥i"gvfQ_WmAij]qoq©QTWVuvW ^c]³i a`^kmxg;beugpQEi"g uvWWuvmªgvb7i¥mplTrgvupWWA2ijuRuvbeU gvQTWupbqbegRbe&gvQTW m}l_rwxWfggpuvWVWe. (. ) !-,.,³ . )+*. c_. ¶ A m ~TWmvfuv^`r-W~§^c]§gvQTW{_upW¤1^cbelEmhmpWf)gv^`bO]nEgpuij]_m}beuvU¥i"gp^cbe]Emm}om}gpWU7m^c]_facl_~WU7ie]qo~T^ KWVuvWV]1ghW8i"gvlTupW8mie]_~«ie{T{Tac^cfi"gp^cbe] ~bOU¥ij^c]_mV º lTu;ij^cU¬©^µgvQ«gvQTWHPup2£akij]TdOl_ijdOW ^kmhgvb{_upbOUHbegpWgvQTW7W¦{TuvWmvm}^c¤eW]TWmvmbe°gpQTWHakij]TdOl_ijdOWe-©^µgvQMi{Eb"©ªWVuplTa {_ijg}gvWVuv]U¥ijgvfQT^c]Td§U7WfQ_ie]T^km}U ij]_~¡ieffW8mpm;gvb«fbO]OgvW¦qgplEija°^c]beuvU¥i"gv^`bO]n º lTubjgpQ_WVufVbe]_fVWVuv]³^km;gvQTW uvlT]gp^cUHW a`W¤eWVa ©^`gpQ5gx©zb ~T^ KWVuvWV]1gU7b~W8mbj°WV¦WflTgp^cbe] i rEi"gvfQ§U7b~WbeufVbeU7{T^ca`^c]Td gpWfQ_]T^cs1lTW8mhie{T{Tac^cfi"gp^cbe]Emhij]E~«ij]§^c]1gpWVuiefgp^c¤eW U7b~W ©^`gpQ«mplT{T{-beupggpbqbeakmRgvb¥delT^k~W;gpQ_W~Wmp^cde]TWuij]_~gpQ_W WV]_~l_mpWVu8 W~W8mpfVup^crEW;gvQTW mpo1]1gi"¦ ie]_~gpQTWm}WU7ie]1gp^kfVmRbj gvQTWacie]TdelEijdeW;iemR©ªWVacaniemªgvQTW^c]OgvWVdOuvijgpW~WV]q¤q^cupbO]TU7WV]1gª^c] gpQTW]_W¦qggpQTuvWVWmpWfgp^cbe]_m ¶ Pu}2¡mp{EW8f^`»EfVijgp^cbe] ^kmiHm}WVgRbe WiOfQ uvlTa`WA^kmRU7iO~WAbj&gx©ªbH{_ijupgvm gpQTW;acW g}Q_ie]_~mp^k~WAfVbe]_mp^kmxgmzbei{_i"gpgpWup] ie]_~ ij] ie{T{Tac^cfi"gp^cbe] fVbe]_~T^µgv^`bO]±·uvWVaki"gpW8~¢gpbgvQTW«{_ijg}gvWVuv] ¤+ieup^kijr_a`W8m ij]_~ gvQTWMfVbe]1gpWV¦qg¹¥ie]_~ gpQTW5up^cdeQ1g}Q_ie]_~ m}^k~W«^km fVbeU7{Eb1m}W8~¨bjhi5upW{TakiefWU7WV]1g{_ijg}gpWup]¢ij]_~¢ief)gv^`bO]_m bO]¨gpQ_W fVbe]1gpWV¦1g8MPRQTW ]Tbegp^cbe]¨bjAfbe]1gvW¦qgU¥ij²OWm^µgH{Eb1mpmp^`r_a`W gpb ^c]1gpWVdOuvijgpWm}gpuvl_fgplTuvWmmpl_fQ5iOmmpo1UrEbOa&gijrTacWmhbeuh~TWV{-WV]_~W]_fodOuvie{TQ_m|lTacWmhieupWdOi"gvQTWVuvW~ ^c] E©Q_^cfQ«ie{T{EW8ijuAiem lT]Ef)gp^cbe]EmV t=i"gpgpWup]_mªijuvWWV¦q{_upW8mpmpW~7l_mp^c]Td gvQTWier_mxgvuviOf)gzmpoq]1gvi"¦HgpWupU¥mzbj¬gvQTWAmpbel_uvfVWacie]TdelEijdeWie]_~¬q^`~^ -WupW]Og8ObengpQ_WgvieupdOWg akij]TdOl_ijdOWe=P&up2M{Tupb"¤q^k~Wm/]Tbe]Tac^`]_Wijuz{_i"gpgpWup]_miemvm}^cde]_UHW]1gz{_ijg}gpWup]EmVqij]_~ W¦qgpuiefgp^cbe] {Ei"g}gvWVuv]_mÅ] gpQTWAupWU¥ij^c]T^`]_dbj gvQT^cmhm}W8f)gp^cbe]&©zWdO^`¤OWAie]b"¤OWVuv¤1^cWV© bj&gvQTWakij]TdOl_ijdOWe. c_. 3. - K * H.
(24) 3. *h )* _. ts. /10 /!2.
(25) F .
(26) . t=i"gpgpWup]_m;ieupWgpQTW7U7Wie]_mgvbacbfVijgpWHupWa`W¤+ie]1g;mpbelTufWfb~Wgpbgpuij]_m}beuvU tijg}gvWVuv]_mA^`]³P&up2¢ieupWHij]MW¦qgpW]_m}^cbe]Mbj°gvQTW ier_mxgvuviOf)ghmpoq]Ogi"¦ begvQTWmpbelTufWie]_~ gvieupdOWgacie]TdelEijdeW8mVzPRQTWW¦qgpW]_mp^`bO] ^c]_fVa`l_~TWm¤"ijuv^kijrTacWmie]_~§m}{-WfV^ciea&fbO]_m}gpuvl_f)gmªgpb WV¦q{_upW8mpmRU7beuvW;fbeU7{Tac^kfVi"gvW~ {_ijg}gpWup]EmV ´ql_{T{Eb1m}W©zW©ªie]1g gpb5»_]_~¨gx©ªb«]TW8mxgvW~¨©Q_^`acWacbqbe{_m5Å]£UHb1mxgH{_i"gpgpWup]akij]_del_iedeWmoebel¨Ul_m}gHmp{EW8f^`o¨QTb"© ij]_~ ©QTWupW;gvb¥»_]_~§mpl_fQ^`gpWVU¥m_oObel§ijuvW]Tbjghiea`acb"©ªW~ gpb iOfVfW8mpmRbOrwxWfgvm~T^`uvWfgpaco uvbeU$gpQTW U7^k~T~acW bjDi7ac^cm}ghbeugpb¥uvWWVugpb i¥mplTrgvupWWA©Q_bOmpWAuvbqbjgR^cm2ijuRuvbeU gvQTW m}l_rwxWfggpuvWVWe=Å]§Pu}2³be]_WU7i+o¥©uv^`gpW. 73. while. while stmt_s. cond. cond. stmts. ......... while......... cond1. while. stmts1. cond1. w1: while(cond, stmt_s(_*, while(cond1, stmts1), _*). stmts1. w2: while(cond, stmts<while(cond1, stmts1)>). K3. ^cdelTuvW X °Æ=¦TijU7{TacWmRbe{Ei"g}gvWVuv]_m.
(27) 3. PRQTWAgx©ªb7{_i"gpgpWVuv]_mR^c]§^cdel_upW XrEbegpQ§mpWijufQ bOu{_ij^cubj=]TW8mxgvW~©QT^`acWacb1bO{_m. g. PRQTW {_i"gpgpWVuv] ©^km7iMmp^`U7{TacW{_i"gpgpWup]n ¤"ijuv^cierTa`W8mV=PRQT^kmª{_i"gpgpWVuv]mpWieuvfQ_WmDbOuªi TbOlTu²q^`]_~_mRbj=¤+ieup^kijr_a`W8mªfVbqW¦^cm}g. Kf.
(28) 3. 3 *.!/*" H. . -½ &½ " =iAdeWV]_WVuija1¤+ieup^kijr_a`W. . Á -¾. ie]_~. f f ,e 3 f f. ¹. . f . I . I. ´q^`U7{TacW{_i"gpgpWup]_m7fij]£r-W¤"ijuv^cierTa`W8mbOuHier_m}gpuief)gHgpuvWVW8mH{Eb1mpmp^`r_a`o¨©^`gpQ a`bqbe{ gpQ_ijgRfVbe]1gvie^`]Emzie]TbjgvQTWVu a`bqbe{^`]^µgmªa`^kmxgRbjmxgi"gpWU7WV]1gvm. . ½U¥i"gvfQ_Wm=ij]qo ]Tb~Wie]_~^km^`]Emxgij]_fV^cijgpW~©^`gpQHgpQT^km=]Tb~W·. L L ! . Á 3°ie]§ij]TbO]1oqU7belEm/¤"ijuv^kijrTacW$#U¥i"gfQTWmie]1o ]Tb~W;rTlg©^`gpQTbOlg^`]Emxgij]_fV^cijgp^cbe] H 2V i ac^cm}g¤"ijuv^cierTa`W"f ½&%«U7ijgvfQTW8m;m}bOUHWHbjzgpQTW¥~W8mpfVWV]_~TWV]1gvm;beªia`^kmxgbO{EWuvijgpbeu;ij]E~5^c]_m}gvij]Ef^ki"gpW8mgpb gvQT^cmhm}lTr_a`^kmxg^H Á -¾ Á / eV 3 ij]ie]Tbe]qoqU7bel_mac^kmxgH¤+ieup^kijr_a`W'# %¨fbeUrT^c]TWm gpQTW{TupbO{EWu}gv^`W8mbjhie]Tbe]qoqU7bel_mij]_~¡ac^cm}g ¤"ijuv^kijrTacWm. g. PRQTW7aciOmxgAgx©ªb²q^c]_~Tm;bjª¤"ijuv^cierTa`W8mhU¥ie²eWH^µg{-bOmvm}^crTacWgvbU7ijgvfQMWV¤eWupoq©QTWupW^`]¡ia`^kmxg ie]_~5]_bjgbe]TacogpQ_W7»_uvm}g;beu aciOmxg{-bOmp^µgv^`bO]ac^c²eW^c]U7bOm}g{_ijg}gpWup]mpoqm}gpWU¥mV PRQTW;©hXH{_i"gpgpWup] ^cmie]. . (.7Lh %+. h-. ¶ ] WV¦qgpuief)g{_ijg}gvWVuv]U¥i"gfQTWmigvupWW©QTWV]. *),+.-v¹zU7ijgvfQTW8mªgpQTWuvbqbjgRbjgpQTW;gvupWW *),+.-p¹zbfVfVlTumR^`] gpQ_WgvupWWe a`bqbe{ gvQ_i"gfVbe]1gvie^`]Emij]TbegpQTWu0 acb1bO{§i"ghijuvrT^`gpuijuvo ~^kmxgij]_fVW^`]§^`gvmmxgi"gvW. gvQTW;»_umxg{_ijg}gvWVuv]³·2a`WV g}Q_ij]_~mp^c~TWbj. . i¥mplTrgvupWWgvQ_i"gU¥ijgvfQTW8mªgpQTW mpWfVbe]_~ {_i"gpgpWVuv]¨·uv^`dOQ1g}Q_ij]_~m}^k~Wbe. / . PRQT^km{_i"gpgpWup]«mpWieuvfQTW8mzbeuhi U7WV]1gvmRrTacbf²K. I9. 7H. 3. I. t=i"gpgpWup]«U¥ijgvfQT^c]Td ^c]«ac^cm}gvmAij]_~«W¦qgpuiefgh{_i"gpgpWup]_mh^`]1gvupb~l_fVW ]TbO]~TWgpWupU7^c]T^km}U-^3 Wec-gpb bO]TW{_ijg}gvWVuv]·2ij]E~§be]TW^`]T{_lg gvupWW8¹RfVie] fVbeuvupW8m}{-be]E~ mpWV¤eWuvieaK^`]_m}gvie]_f^ki"gv^`bO]_mÅ] gpQ_W fViempW;bj=P&up2°gvQTW;»_umxg^c]_m}gvij]Ef^ki"gp^cbe] ^kmm}Wa`W8f)gpW8~¬. ]3. ´qbOU7WAbegpQTWu{_i"gpgpWup]§fbO]_m}gpuvl_f)gmzWV¦^cm}g^`]§Pu}2. g. ¶ mvm}^cde]H{_ijg}gpWup]EmVPRQTWVofVbeUrT^`]_WªU¥ijgvfQT^c]Tdij]_~H~WV»_]T^`gp^cbe]7bjKi]_WV©£¤"ieup^kijrTacWe"©Q_^cfQH^`]Emxgij]_fV^cijgpWmgvbAgpQTWiOf)gplEija U¥i"gvfQ_W~ gpuvWVWe. 82143&5:76 :85:9;8<:=85>5 >@?>A 9 >B 5 A :. g stsvu w x-x^yzx. ) )C D DE- - =/8F:='8<
(29) F. 73. bO]ac^c]TWieuz{_ijg}gvWVuv]_mV=Å] ]Tbe]Tac^`]_WijuR{_ijg}gvWVuv]_mRi¤"ijuv^kijrTacWU¥i+o¥bfVfVlTuRU7beuvWgpQEij] be]_fVWeDTbOuª^c]_m}gvie]_fWOqgpbHU7ijgvfQ i7mxgi"gpWU7WV]1g©QTWVuvWiH¤+ieup^kijr_a`WA^cm^`]_fVupWU7WV]1gpW8~¬be]TW;U¥i+o ©uv^µgvW.
(30) R g. 85>5 >@?>A 9 +84 = 6 @ 5:9 +84 =8F . . . ¶ T ] ]_bjgvijgp^cbe]7{_ijg}gpWup]EmV=PRQTWVoHfbOUrT^c]TWªgx©zb;{_ijg}gvWVuv]_mVObe]TWRgvbU¥i"gvfQ¥iedOij^c]_m}ggvQTWhmplTrwxW8f)gDgpuvWVWie]_~Hbe]TWªgvbU7ijgvfQ ijd1ij^c]_mxgªij]ie]T]Tbegvi"gv^`bO]n=PRQTWVo fij] r-WlEm}W8~¥gpbHmpi+¤OWhfbOU7UHW]1gvmªbeu/gpbHU7ijgvfQ^`]bOupU¥ijgp^cbe]_mzmxgvbeuvW~¥^c]m}gpuvl_f)gvlTuvWm m}lEfQ iOmiHmpoqUr-beaKgijrTacWe. ;=>7@ 5.9 D AB = @>D L!! h )* . . F.
(31) . 5 :. D 6>6 A 59 D 6 F. L!. ^kmªgpQTW]_ieU7Wbj&gvQTW ij]_]Tbjgi"gp^cbe]ij]E~. . gvQTW{_i"gpgpWup]be]gpQ_W m}lTrTwxWf)ggvupWW;U7ijgvfQTW8mV. . ie]_~gpQTW{_ijg}gvWVuv]bO] gvQTW ij]T]_bjgvijgp^cbe] U¥i"gvfQ_Wm. . i¤"ieup^kijrTacWe ¶ ]ij]_]Tbjgi"gp^cbe] {_ijg}gpWup] ©ªbeuv²qmª©QTW]. 3. gvQTW ij]T]_bjgvijgp^cbe] ^cmR{_upW8m}W]Og8. E 2 E > !. Æ°iOfQMuvlTacWe&fVbe]1gvie^`]Emi]EijU7We&i acW gpQ_ie]_~³m}^k~W§·2i {_ijg}gpWup]Mbeu i U¥i"gfQT^c]Td^`]¡i de^c¤eWV]³fbO]OgvW¦qg&©^µgvQ³{-bOmvmp^`rTacW7{TuvW fVbe]_~^`gp^cbe]Emv¹_ij]_~ iHup^cdeQ1gpQ_ie]_~ m}^k~W¥·2ie] WV¦{TupW8mpmp^cbe]ie]_~ ij]ief)gv^`bO] gvb7gpuv^`dOdeWuRij gpWuij{T{Tacoq^`]_dgvQTWuvlTa`W+¹) ¶ ]¨be{gv^`bO]_ija°^c]T{TlTgHfbO]1gpW¦qg^km ~W8m}^cde]Ei"gpW8~¡rqoMij]¨^k~W]Ogv^µ»EWVu8bOuigpl_{Ta`W bj^c~TWV]1gp^`»_WVum ¶ {T{Tac^cfi"gv^`bO]fbe]E~^µgv^`bO]_m fij]r-WlEm}W8~¡gpbMa`^cU7^µgHgpQTW ij{T{_a`^kfVijgp^cbe]~bOU7ie^`]£bjhi«uvlTacWe³PRQTWVo¨fVie]£fbO]_m}gpuij^c]¡gpQTWa`WV g}Q_ij]_~¢m}^k~W{_i"gpgpWVuv]^`gvmpWVa`x ie]_~ {Eb1mpmp^`r_a`o^`]_~Tl_fW i¥fVbeU7{Eb1m}^`gp^cbe]be{_ijg}gvWVuv]_mVbOugpQ_W fbe]1gvW¦qg/PRQ_WW¦{TuvWmvm}^cbe] be] gpQ_Wup^cdeQ1g}Q_ie]_~mp^k~W fVie] r-Wi mp^`U7{TacWHupW{TaciOfWUHW]1g{_ijg}gpWup]&-bOuifbeU7{-bOmpW~§WV¦{TupW8mpmp^cbe]· gvQTWHl_m}lEija fVbe]_m}gpuvl_fgvm¹)Kbeu;i fijaca&gvbij]_bjgpQ_WVu mpWgbeuvlTa`W8mV°tb1mxgpiOf)gp^cbe]EmªieupWAbe{Tgp^cbe]_ieanij]_~fVie]r-Wl_mpW~ gpb¥lT{K~TijgpW fbO]1gpW¦qgvl_ijaK^c]beuvU¥i"gp^cbe]¡·2mpoqUr-bea¬gijrTacW8¹. # G GL'*h. * h)*. Puvie]_m}beuvU7ijgp^cbe] uvlTacWmfij] rEW;dOijgpQTWupW8~ ^c] beuRuvWie~_ijrT^ca`^`gxo ij]E~ U7b~lTakijuv^µgxo {TlTuv{Eb1m}WOD´WgvmieupWgxoq{EW8~¡· gxoq{EW8m be={EijuijU7WgvWVumij]_~uvWmplTa`gvm¹)E©QT^cfQ«i+¤Obe^k~Tm¤"ijuv^kijrTacW ~WfVacieuvijgp^cbe]_m ¶ m}WVgAfij]rEWupWVWVuvWV]_fVW~ ^c]5i7upl_a`WuvbeUÃij]_bjgpQ_WVu mpWg©^`gpQ^`gvmR]_ieUHWO_iemzbOul_m}lEijaKlT]_fgp^cbe]§fViea`akm ¶ mpWgfij] rEW¤q^cWV©ªW~ iemilT]_fgp^cbe] gpQ_ijggvie²eWmRiOmR^`]T{_lghigpuvWVW;{Tacl_m fVbe]1gpWV¦1gvl_ija¬^c]bOupU¥i"gv^`bO] ie]_~upWVgplTuv]_miH]TWV©¯gpuvWVW;bOuR2ij^cacmR^`]_b¥uplTacWij{T{_a`^cWm WVuvW mRQTb"©¯^µg©ªbeuv²mA·3m}WWA»_delTuvWO¹. . 1. no. Pattern matching n. next instanciation. tio cia tan. e n. tio. cia. tan. ns. ei. ins. rul. or. s-. xt. om. ye. ne. -n. no. 2. Application condition. 3. 5. Next rule. Failed. 3. e. ul. er. yes. or. no end. 4. m. 6 End. apply rhs. 3. ^`dOlTuvW; °´qWVU¥ij]1gv^cfmRbjDiHmpWg ". ©ªWfQTWf²¥^`gvQTWacW ghQ_ie]_~ m}^k~W{_ijg}gpWup] U¥i"gfQTWmªgvQTW^`]_{TlggpuvWVWO #. ^µ=oeW8mVqgvQTW;»_umxg^c]_mxgij]_fV^cijgp^cbe] ^cmupWVgplTuv]TW~ ij]E~ ©ªWfQTWf² ^`gpQTW{TuvWfbO]_~^`gp^cbe] ij{T{Tac^cWm %. '. &. W]_~¬. /R. ^`oOWm©zWie{T{Taco¥gpQTWuv^cdeQ1g}Q_ij]E~ mp^c~Wbe&gvQTWupl_a`W ie]_~ gvQTWV]©ªW;WV]_~¡· 1¹) $. ^`n]Tb_q©ªWgpuvoHgpb»_]_~ ie]TbjgvQTWVuz^`]Emxgij]_fV^cijgp^cbe]7beuª]TbO]~TWgpWupU7^c]T^kmxgv^cf{Ei"g}gvWVuv]_mA·W¦qgvuviOf)g/{_ijg}gvWVuv]_mzie]_~¥ac^cm}g {Ei"g}gvWVuv]_m¹·}8¹. /R. ^µ=]Tb_©ªW;gpuvo5·}8¹ªbe]gpQ_W]TW¦qguvlTa`W7TbOu· O¹ª^`gpQTWupW;^km]Tb7U7beuvWAuvlTacW;a`WV g^`] gpQ_W m}WVg. ts. /10 /!2.
(32) . ). A ^iOD. #5. 2 * 2\X. 7 . %!" . ; %. "CF i. A ^D. . Å]¨gvQT^kmmpWfgp^cbe]n=©ªW ~Wmvfuv^crEW¥gvQTWm}gvijgp^kf mpWVU¥ij]1gv^cfmbjgvQTWPu}2 acie]Tdel_iedeWO W lEm}W8~ ijgplTuijaz´WVU¥ij]1gp^kfVm XeX Rij]_~ Pzoq{EbOa ` ngpb¥WV¦{TupW8mpmzgvQT^cmhm}WU7ie]1gp^kfVm^`]ij{T{_upb+¦^cU7ijgp^c¤eWa`o ^`]WupW]_fW;uvlTacWmij]E~ ij¦^`bOU7m º ]TW^c]1gpWupW8mxg/beEgvQT^km/mpWVU¥ij]1gp^kfVm°^cm°gpb {Tuvb"¤q^c~TWRibeuvU7iea_~W8mpfVup^c{gp^cbe]7be-gvQTWakij]TdOl_ijdOW egvQTWbjgvQTWVuzie~¤"ij]1gijdeW©^`gpQ_^`] gvQTW³yzWV]1gijlTu mpomxgvWVU A^cm¥gpQ_ijg¥gpQT^km ~W8mpfVup^c{gv^`bO] ^km¥WV¦qW8flgijrTacW«ij]E~¢{_upb"¤q^k~Wm¥i³gxoq{-WfQTW8f²eWVu7©^`gpQ QTWa`{TlTahWupuvbeu U7WmvmvijdeW8m;·2iemR^caca`l_m}gpui"gvW~ ^c] ^cdelTuvW 1¹). A OD. qC. qC 3. ^`dOlTupW. qH. °P/oq{-WfQTW8f²1^c]Td7i7P&up2¨m}{-WfV^µ»-fVi"gv^`bO]. 73. ´qbOU7Wbj&gvQTW{-be^c]Ogm¤eWup^`»_W8~ rqo gvQTW;gxoq{EW8fQTWf²OWVuRijuvW. g g. gpQTW fVbeuvupW8f)gv]TWmvm/beuvlTacWAgxo1{-Wmde^c¤eWV] gpQTW mpWggxoq{-We. g. gpQTW mvfbO{T^c]TdHie]_~~bel_rTa`W~W8fakijui"gv^`bO] bjDmpWgvm. g. gpQTW fVbe]_m}gpuvl_fgp^cbe] be{Ei"g}gvWVuv]_m·2ieup^`gxo bebe{-WVui"gvbeumVfVbeuvupW8f)gp]_Wmvmzbe{_ijg}gvWVuv] fVbeU7{Eb1m}^`gp^cbe]EmV¬c` ¹) gpQTW;gxoq{T^c]Td7bj=¤"ijuv^cierTacWm.
(33) 3. PRQT^kmmpWVU¥ij]1gp^kfAm}{-WfV^µ»_W8mªgpQTW;uvWs1lT^cupW8~ fVbe]_~^`gp^cbe]Em/bOuiHPup25{TuvbedOuvieU gpb7rEW;©ªWVacaKgxoq{EW8~¬/´qbeU7WA^`]TbeuvU7ijgp^cbe]_mRieupW }m gpbOupW8~§^`]¡ij]MWV]q¤q^`uvbe]_UHW]1g WiOfQ«¤"ijuv^cierTacW bel_]_~5^c]Mi{_ijg}gpWup]¢·2ij]E~5^`gvmgxoq{EW+¹^km;mxgvbeuvW~§^c]¡i¥gvierTacWe nWVg mbqfVl_mAbe] gvQTW;gxoq{EW8fQTWf²q^c]Td7bj{Ei"g}gvWVuv]_mDÅ] gpQTWupW;^kmbe]_WAuvlTacWAbeuWiOfQ²q^c]_~ bj{_i"gpgpWVuv]n. stsvu w x-x^yzx. L %+. h-. .
(34) .
(35) .
(36) !#"$%
(37) &')( * +, " $+" .-0/1 $ 324( * +," $+ " !5 6 798 !2#%,: $ !5 6
(38) 8; !2<$
(39) ,* $ !5 6 6 =9> ?2<@$A9B$+ " ?5 C
(40) D2 E F4> GE
(41) =98> =>H-0/1 JIK2GE
(42) =98 > =9>'LNM E F4> GE
(43) =98> =>FL-0/1
(44) OP2G E
(45) =98 > =9>FL LNM =9 E
(46) FQR> -S/1 ITL #
(47) O'LVU / / / / // / / / // / / / // E F4> GE
(48) =98> => -0/WC
(49) !QX JIT4 OUY24E
(50) =98 > =9>'L LZ5
(51) 9 D2 6 =9>FQS E
(52) F1> ) E
(53) =98 > =9>[-S/\6
(54) =9>324E
(55) =98> =>FLVU]M E F4> GE
(56) =98> =>FL-0/1 32GE
(57) =98 > =9>'L L / / / / // / / / // / / / // E F4> GE
(58) =98> => -0/W
(59) 9 !QS6
(60) =9>') U^2GE
(61) =98 > =9>'L L_5 98
(62) 8 9
(63) D2 E F4> GE
(64) =98> =>H-0/1 324E
(65) =98 > =9>'L`M 98C aQR> -S/W 8
(66) ;9U]M 98
(67) EJ8 6 !b> )E =98 > =9>FL-0/c JId2GE
(68) =8 > =9>FL L / / / / // / / / // / / / // E F4> GE
(69) =98> => -0/W 98 FQX Fc 98
(70)
(71) F# JIUY2<E
(72) =98> =>FL Le5 98 f2 98 !QS E Fc> GE
(73) =98> => -0/c98 g2<E
(74) =98> =>FLVU / / / / // / / / // / / / // E F4> GE
(75) =98> =>H-0/198 g24E =98 > =9>FL_5 8;J f2 8;J !QS E Fc> GE
(76) =98> => -0/W
(77) 8;J g2<E
(78) =98> =>FLVU / / / / // / / / // / / / // E F4> GE
(79) =98> =>H-0/h
(80) 8iJ g24E =98 > =9>FL_5 6 =9> D2 6 =9>FQS E
(81) F1> ) E
(82) =98 > =9>[-S/\6
(83) =9> j2G E
(84) =98 > =9>FLVU / / / / // / / / // / / / // E F4> GE
(85) =98> =>H-0/W6
(86) =9> j2<E
(87) =98> =>FL_5
(88) f5 _beu^c]_mxgij]_fVWeqbOui. g.
(89) %+. -.
(90) 3. ©ªW;Q_i+¤eWgpb¥¤OWVuv^µo¥gvQTWAbeaca`b"©^c]TdHWijgplTuvWm. g. gpQTWbO{EWuvijgpbOuªr-WVacbe]_dOmzgpb7gvQTW m}bOlTufW7·beuRgijuvdeWVg¹zacie]TdelEijdeWO. g. gpQTWbO{EWuvijgpbOuª^kmRl_mpW~ ©^`gpQ§i7fbeuvuvWf)gijuv^`gxoe. g. gpQTWbO{EWuvijgpbOuªr-WVacbe]_dOmzgpb7gvQTWW¦{-Wf)gvW~gxoq{EWie]_~ WiOfQ mpbe] ^cmR©ªWVacaKgxoq{EW8~¬. h3 9 . Plk;t º ¡Q_iemmpbeU7W;{TuvW~WV»_]TW8~ {TuvW~T^cfi"gpW8mªgpQ_ijgde^c¤eWA^`]TbeuvU7ijgp^cbe] be] be{-WVui"gvbeum. g d
(91) #i e f2# Á. . f. . T ½!m & E½'n¥Á ½ " Á 7begpQTWup©^km}WO. d. ½ " Á n. ef. ½-½ o z^c]_m}gvij]1gv^cijgpWm. gpb. ^`. -%K h . r-WVacbe]Td1mgpb. ts. /10 /!2.
(92) . &' +* g
(93)
(94) !#"$&% h3 # a*h ) -
(95) )( Me * ,+ -* )+
(96) e f f /.
(97) A D e " /.
(98) A /. 0. D /e Oe . 1. . 2. . . L ^7 %K ) 3 . %+ . &uvWgvlTup]Emi§mxgvupl_fgplTuvW gvQ_i"g dO^`¤OWmAgvQTW ijuv^µgxo5bj ij]_~ gpQTWW¦{-Wf)gvW~ gxoq{-Wmbe°^µgmhmpbe]_mPRQTWupW^kmbOlTuh²q^c]_~TmhbjDbe{-WVui"gvbeum /ijgpbOUH^kfjKmp^`]TdOa`WVgpbO]¡·3i ]Tb~W©^µgvQ«]Tb mpbe]_m l_mpl_ijaca`o³l_mpW~³gvb«upW{TuvWmpWV]1g ¤"ijaclTW ac^`²OW beu beuWV¦TijU7{TacW8¹)»T¦W~£ijuv^µgxo³ij]_~¡ac^cm}gHieup^`gxo5bO{EWuvijgpbOuPRQTW beaca`b"©^c]TdgvierTa`WdO^`¤OWmzbeuW8iefQgxoq{EWbebe{-WVui"gvbeuªgpQ_WupW8m}lTa`gbjgpQTW{_upW8~^cfi"gvW Á. . 2 ½ Á n½ Â ¾ V T ¾. ^k~ x^c]1gpWdeWVu bOu^c~ }m}gpuv^c]Td gxoq{-W m gxoq{-W m mpbe]& Rgxoq{EWO1mpbe]-X Rgxoq{EWOK`c m}gviju ac^cm}g be}·2mpbe] Rgxoq{-W8¹DbOu{Tacl_m ac^kmxg bj}·2mpbe] Rgxo1{-W8¹. &Wg mQ_i+¤OWAiHacbqbe²¥gvb7gpQTW mpWg PRQT^kmR»_um}gRuvlTacW;be]Taco gvup^cdedOWVumzie]WupuvbeuR^`gvQTWbe{-WVui"gvbeu~bqWmp] grEWa`bO]TdHgpbHgpQTWakij]_del_iedeWe. 8
(99)
(100) 8
(101) 989 =9>!2 '4> bE =98 > =9> -0/c98 !Q08
(102) 8!4
(103) UY2GE
(104) =98 > =9> 5
(105)
(106) 86 8 8
(107) =9>FQR> \8 ? 9U 5 8
(108) FQ i " J i E J 8
(109)
(110) 8
(111) 989 =9> aQ =
(112) Fb
(113) IUT JG> U 5. 54 76 84 94 7:2; =<4 >4 ?474. -3. 4 4V
(114) 804J. Å]gvQT^cmhm}W8fbe]E~ uvlTacWeT©ªW;»_umxghfQTW8f²¥gpQEi"ggpQ_W be{-WVui"gvbeuRrEWa`bO]TdOmªgvb7gpQTWacie]Tdel_iedeWOqie]_~ ©zWdOWg^c]beuvU¥i"gv^`bO] ierEbOlg^µgm ieup^`gxo ij]E~ gxoq{-W bjDmpbe]_m°PRQTWV]§©ªWfQTWf²^µgpQ_W be{-WVui"gvbeuR^cml_m}W8~ ©^µgvQ«iHfVbeuvupW8f)gijuv^`gxoeTij]E~^`=gpQTWbO{EWuvijgpbOu^cmbegvQTW WV¦q{-WfgpW8~ gxoq{-We. 98 E!QR> 1(8 abE
(115) =98 > =9> -0/c8
(116) !QR8 8!W8
(117) U^2<E
(118) =8 > =9>FLVU M
(119) 8
(120) 8
(121) E FQ E F1> -0/ 8
(122) 89U / // / / / // / / / // / / / E FG> bE =98 > =9> -0/c98 !QR8
(123)
(124) 8!W8
(125) U^2<E
(126) =98> =>FL_5
(127)
(128) 86 8
(129) 89 =9>FQ0> 18 f1IU M > 8 8 9 =>FQR> b8
(130) 8!b( 8aGUT5. =; =<. .. .. =<. /.. Å]7gf ]Tb~W ijuv^µgxo ©ªWfQTW8f² gpQ_Whijuv^µgxobjKgpQTWhbe{-WVui"gpbOuDij]_~¥fijacagvf {_i"gpgpWVuv]7be]7WiOfQ¥m}bO]H©^`gpQ7gvQTWhie{T{Tuvbe{Tuv^cijgpWªgxoq{EWO. @. V ;
(131) ¥V . !" $# . %!" . Å] gpQ_^cmmpWfgp^cbe]n©ªW~Wmvfuv^crEWAgx©ªbHU¥ijwxbeuRgviOm}²mª^c]gvQTW ijuvWibj={TuvbedOuvieU. gvuvie]_m}beuvU7ijgp^cbe]. ^H. ; %. 3. eRW¦{TuvWmvm}^c]Tdgpuij]_m}beuvU¥i"gv^`bO] uvlTa`W8mR^cmªgvQTW;gviOm}² bjgpQTW ~W8m}^cde]_WVu Xªgpuij]_m}beuvU7^`]_dHiHde^c¤eW]{_upbOdeuijU. l_mp^`]TdHgvuvie]_mxbOupU¥ijgp^cbe] uvlTacWmR^kmRgpQ_W;gviemp² be&gpQ_WWV]_~ql_mpWVu8. W ~WVac^crEWuvijgpWVacoMfQ_b1b1m}W7ij]¡^c]1gpWVuiefgp^c¤eW7m}WVg}gv^`]TdbOurEbegpQ³gviOm}²m¬beufbe]q¤OWV]T^cWV]_fVWHie]_~³mpijWgxo5uvWiOm}bO]_m º ]MgpQTW be]TW Q_ie]_~¬TiH~Wmp^cde]TWuRfij]rEWfbO]_mp^c~WuvierTaco¥QTWVac{EW8~ rqo iHdeuij{_QT^cfijaEgpbqbeaKr_iOm}W8~ bO] iOf)gplEijaK{_i"gpgpWup]_mª^c] ie] WV¦ieU7{Ta`W;mpbelTufW {TuvbedOuvieU PRQ1lEmAgpQTW¥gvuvie]_m}beuvU7ijgp^cbe]MuplTacW¥^km]Tbjg rTlg rqo§gvQTW¥gvb1bOa3 º ]MgvQTW begpQTWuHQEij]_~¬°gpQTW WV]_~l_mpWVu7fVie]£r-W ~Tup^c¤eW]rqoiMmpWVacWfgp^cbe]¨gvb1bOaR©QT^cfQ¢QT^cdeQTac^`dOQ1gvmHij{T{Tac^kfVijr_a`W gpuij]_m}beuvU¥i"gp^cbe]Em ^c] i dO^`¤OWV] mp^µgvl_i"gv^`bO]n WM~W8mpfVup^crEW«gpuij]_m}beuvU¥i"gp^cbe] gvb1bOacm ^`] gpQTW³fbe]1gvW¦qgbempoq]1gviefgp^kf§W~T^µgv^`]Td¢©^µgvQT^c] yzWV]1gvielTu8ij]_~ {Tuvb"¤q^c~TW ^caca`l_m}gpui"gv^`bO]_m7r_iOm}W8~£bO]¢gvQTW§W¦TieUH{_a`W§~W¤eWVacbe{-W~¢^c] ´Wf)gv^`bO] T PRQTW8m}Wgvuvie]_mxbOupU¥ijgp^cbe]gvbqbeakm¥ijuvWiea`uvWiO~o l_mpW~«^`]§gvQTW7yzW]1gvijl_umpoqm}gpWU$©^`gpQ5gpQTWHP&uij]Emp_beuvU akij]TdOl_ijdOW X WHflTuvupW]1gpaco©ªbeuv² bO]§gpQTWHie~Tie{gvijgp^cbe]§begvQTWmpW gvWfQT]T^ks1lTWmgpbHgpQTW Pup2Makij]_del_iedeW . IK)A -. h. "A F^D. B C.
(132) E. . . K ! )/L 9 R. EDGF > : . PRQTW7m}gvijupgp^c]Td {-be^c]1ghbOuhgvQTW~W8m}^cde]_WVuhbeDgpuij]_m}beuvU¥i"gv^`bO]_m^kmAi m}oq]1gviOf)gp^kf~TWmvfuv^`{gv^`bO]§bjDgvQTWbOrwxWfgakij]TdOl_ijdOWeh_upbOU gvQTWmpWm}oq]1gviOf)gv^cfRmp{EW8f^`»EfVijgp^cbe]_m1yzWV]1gijlTu°ielgpbOU7ijgp^kfViea`acodeW]TWVui"gvWm=iA{_ijum}WuDij]_~7iA{TuvWg}gxo1{Tuv^`]1gpWuDij]_~7fbOUrT^c]TW8mgpQTWU ^c] iHm}gpuvl_f)gvlTupWW~^`gpbOu ¶ r_mxgvuviOf)gm}oq]1gvij¦¥^cmªl_mpW~ gpb7fQTWf²HgpQ_WA¤"iea`^k~^`gxo¥bj&W8~^µgv^`]_dbO{EWuvijgp^cbe]_mDyzW]1gvijl_uRieacmpb{_upb"¤q^k~Wm ie]«W~^`gp^c]Td U7W]1l«gpb¥»_aca{TaciOfWVQTbOac~TWVum ·U7Wgi"¤"ijuv^cierTa`W8mv¹RiOfVfVbeu~^`]_d7gpb¥gvQTWV^cuhWV¦q{-WfgpW8~gxoq{EWO ¶ ¤"ie^`akijrTacW {_ijg}gvWVuv]_mhieupW. stsvu w x-x^yzx.
(133) ^i . H. ^c]_~^kfVijgpW~ i¨mp^`U7{TacW§U7bel_mpW«fac^cf²£be] i¡{_ijupgp^kfl_acieu ijr_m}gpuiefg¥mpoq]1gvi"¦¢be{-WVui"gpbOu¥©^`aca{Tuvb"¤ebO²eWgpQTW§^c]_mpWVupgp^cbe] bjAgpQEi"g {_ijg}gvWVuv] ^c] gpQTWfVlTupuvWV]1gQTbOa`WOl_m}^c]Td fVbe]_fVupWVgpW;m}oq]1gvij¦ ^`] gvQTWW~^`gpbOu PRQT^km W8~^`gp^c]Td«U7WV]ql¨^km ijlgvbeU¥i"gv^cfijaca`oMdeW]TWVui"gvW~MupbOU gvQTW mpo1]1gief)gv^cf ~Wmvfuv^`{Tgp^cbe]¡bjRgpQ_W acie]TdelEijdeWOie]_~¡fVij]¨r-W bOupd1ij]T^c¸VW8~l_mp^c]TdQT^cWVuijufQT^cfijamplTrTU7WV]ql_mÅgªfVij]7r-Whijl_deU7WV]1gpW8~rqo7i~Wmp^cde]TWuD©QTb©ªie]1gvmgpb{_upb"¤q^k~Wm}{-WfV^µ»-fRW~^`gp^c]Td gvb1bOacmªgvb7gpQTW{_upbOdeuijU7U7^`]TdWV]q¤q^`uvbe]_UHW]1gTmpl_fQ iOmªgpuij]_m}beuvU¥i"gv^`bO] uvlTa`W8mV ¶ ~W8m}^cde]TWuDfVij]7fuvWijgpWRih]_WV©gvuvie]_m}beuvU7ijgp^cbe] uvlTacWRr1o mpWVacWfgp^c]Tdih{Eijupgp^kflTakijuuijdeU7W]Og=bjKih{_upbOdeuijU ^`]¥iyzWV]1gvielTu ¶ ~T~ Puvie]_mxbOupU¥ijgp^cbe] rTlg}gvbe]bjgpQ_W Æ°~^`gp^c]TdePbqbeakm h{TlTacac~Tb"©]n W8~^µgvbeu8Tij]_~fVa`^kf²q^`]Td7bO] gvQTW PRQT^kmDfbOU7U7ie]_~HfuvWi"gvWm=iA{_ij]_W~¤1^cWV©¢©^µgvQHgx©zb yzWV]1gvielTu=W~^`gpbOuvmeiOm^caca`l_m}gpui"gvW~^`]¥^cdelTuvW "©^`gpQ7a`bqbO{lT]_upbOa`ac^`]_d_. . . . . GF. [FK3`n. ^cdelTuvW. ªlT^cac~^c]Td¥iHgpuij]EmxbOupU¥i"gv^`bO] uvlTa`WO. PRQTW lT{T{-WVuW8~^`gpbeuHijaca`b"©m;bO]TW¥gvb«rTlT^cac~³gvQTW acW gpQEij]_~¡{_ijg}gvWVuv]¨bjRgpQTW gpuij]_m}beuvU¥i"gp^cbe]&ngpQ_W a`b"©ªWVuW~^`gpbOufbOupuvW mp{EbO]_~Tm gpbgpQ_W up^cdeQ1gpQ_ie]_~¡m}^k~W¥{_ijg}gvWVuv]n Æ/iefQ¡uijdeU7W]OgbeªgvQTW {TuvbedOuvieU r-WVacbe]Td1m;gpbgvQTW U¥ij]T^c{TlTaki"gvW~¡akij]TdOl_ijdOWe mpb§gpQ_W~W8m}^cde]TWu ^km ]TbegupW8s1lT^`uvW~³gvb«²q]Tb"© gpQTW ijr_m}gpuiefgm}oq]1gvij¦³beªgvQTW akij]TdOl_ijdOWe§Æ°iOfQ¨W~^`gpbOu·r-bjgvQ£mp^c~W8m beªgvQTW gvuvie]_mxbOupU¥ijgp^cbe] uvlTacW8¹/^cmRiemvmpbqfV^cijgpW8~¥©^µgvQW8~^`gp^c]TdU7W]1lEm/gvQ_i"gª2iefV^`ac^`gvi"gvWAgpQTWAW~^`gp^c]TdHbjgpQTWgpuij]_m}beuvU¥i"gv^`bO] {_i"gpgpWup]_m l_mp^c]Td7gpQTW8m}WAgx©ªbHuviedeU7WV]1gvmªbe{TuvbedOuvieU PRQTW V´qQ_b"© & yzQ_Wf²¨P&uij]EmxbOupU¥i"gv^`bO]¨|lTacW ¥r_lg}gvbe]£fVupW8i"gpW8mgvQTW gvuvie]_m}beuvU7ijgp^cbe]¡uvlTa`W^µgm}Waµx/deWV]_WVui"gpW8~³upbOU {TuvbedOuvieU±uijdOUHW]1gvmPRQT^km°uvlTacWhU¥i+oHrEWW~^`gpW8~¥beuzupWV»_]TW~¥iOm°©ªWVaca·3~^cupW8f)gpaco¥i"g°gvQTWmpbel_uvfVWa`W¤eWak¹1fVbeU7{T^ca`W8~¬1ie]_~7gvQTWV] ^c]_mpWVupgpW~iOmªi7]_WV© ^`gpWU ^c]1gpb7gpQ_WW~^`gp^c]Td7U7WV]qln. . . ts. /10 /!2.
(134) e. B. . . E . DGF. > : . PRQTWWV]_~ql_mpWVu^kmdOlT^c~TW~ rqo gpQ_W W~^`gp^c]Td¥U7WV]ql·2{Eb1mpmp^`r_a`o ijlTdOUHW]1gpW~rqo gvQTW~W8m}^cde]TWubjgpuij]EmxbOupU¥i"gv^`bO]_mqmpbeupgpW8~ ^`] iea`{TQEijr-Wgp^kf°bOuv~TWVu8bOu&uvWbeuvdOij]_^`¸W~l_m}^c]TdQ_^`WuvieuvfQT^kfVieaemplTrTU7WV]ql_m¹) ¶ lgvbeU¥i"gv^cfijaca`oO+iOfVfVbeu~^`]_dRgpbgvQTWzfVlTuvupW]Ogm}Wa`W8f)gp^cbe] ^c]gpQTWW~^`gpbOugvQT^kmU7WV]ql§^kmlT{K~Ti"gvW~©^`gpQgpQ_WfbOupuvWmp{EbO]_~^c]Td¥i+¤"ij^cacierTa`W;^`gpWU7m·r-bjgvQ§{_i"gpgpWVuv]_mbe=gpQTW akij]_del_iedeW;ij]_~ gvuvie]_mxbOupU¥ijgp^cbe]_m¹)&Æ/iefQ ^`gpWUbj_iU7W]1lQ_iem&gpQTWRmvijU7W/iemvmpbqfV^cijgpW8~ief)gv^`bO] &fVa`^kf²q^`]Tdhbe]igpuij]_m}beuvU¥i"gp^cbe]uvlTacW°uvWV{TakiefVWm gvQTWAfVlTuvupW]Ogªm}lTrTgpuvWVWh©^`gpQ gpQTWAuvWmplTaµgªbj¬gvQTWhgvuvie]_m}beuvU7ijgp^cbe]nPRQT^kmz^kmz^`aca`lEmxgvuvijgpW~ ^`] ^cdel_upW ©^µgvQ gvQTWAi+¤"ie^`akijrTacW^`gpWU }lT]bOac~a`bqbO{ A·]_bjgpWªgvQ_i"g=gpQ_W^µgvWVU pm}©^`gvfQ^µ R^km]Tbjg°i+¤"ij^cacierTacWejmp^`]_fVWªgpQTWfl_upuvWV]1g=QT^`dOQTac^`dOQOgvW~W¦{TuvWmvm}^cbe]^cm=i ¹) ¶ mp{EW8f^kijaTU7bOl_m}WRr-WVQ_i+¤q^cbeu°iea`acb"©mbe]TWRgvbA^`gpWuvijgpWRgvQTWij{T{_a`^kfVijgp^cbe]Hbj¬iAgpuij]_m}beuvU¥i"gp^cbe]Hi"g/iea`a{-bOmvm}^crTacWbfVfl_upuvWV]_fVWm ©^`gpQT^c]«iH{TuvbedeuijU º ]TW ie~¤"ie]OgijdOW beugpQ_W~TWmp^`dO]TWVuHij]_~gpQTWWV]E~qlEm}Wu^kmgpQ_ijggvQTWlEm}W bj;yzW]1gvijl_uHie]_~£mpoq]Ogi"¦q~^`uvWfgpW8~¡W~^`gp^c]Td W]_m}l_upW8m;gpQTWm}oq]1gviOf)gp^kf¥fbOupuvWfgp]TW8mpm;beRgpQTW uvWmplTa`gp^c]Td§{TuvbedOuvieU ¶ ]TbegpQTWuie~T¤+ie]1gvijdOWHbeugvQTW WV]E~qlEm}Wu ^cmgpQ_ijgQTW ^km iea`©Ri+omndel_^c~W8~rqoAgpQTWªU7WV]ql ©QT^kfQ^c]1gpWVuiefgp^c¤eWa`oAQT^cdeQTac^`dOQ1gvm&i+¤"ie^`akijrTacWDgvuvie]_mxbOupU¥ijgp^cbe]_mi"gW¤eWupo;mxgijdOW°bjTgvQTW/{_upbOdeuijU ~W¤eWa`bO{TU7WV]1g. *. +. *. 3. +. [R+3. ^cdel_upW. stsvu w x-x^yzx. DPuvie]_m}beuvUH^c]Td7iH{TupbOdeuijU. R. J;=>7@ 5.
(135) +X. 2. ª . . # ª. . #. ¶ H U bO]TdU¥ij]qo«m}bOlTufWgpbempbel_uvfVW{TupbOdeuijU gpuij]EmxbOupU¥i"gv^`bO]_mH·acb1bO{5lT]_upbOa`ac^`]_d_¬^c]Ta`^c]T^c]Td_&{TupbfVW~lTuvW7facbe]T^c]Td_Dcc ¹fbO] m}gvie]OgA{Tuvbe{_iedOi"gv^`bO]^kmhi deacber_ieangpuij]EmxbOupU¥i"gv^`bO] gvQ_i"ggvie²eWmie~¤"ie]OgijdOWbj°mxgi"gv^cf ~_i"gvi5·^ WO²q]Tb"©]«i"gmp{-Wf^kijac^c¸i"gv^`bO] gv^`U7W8¹Rgpb7{Tuvbe{_iedOi"gvWAfVbe]_m}gvie]1gª¤"ijaclTW8mij]_~ mp^`U7{Tac^µo gpQTW{_upbOdeuijUiefVfVbeu~^c]Td gvb7gpQTW8m}W;¤"ijaclTWm WR^`aca`lEmxgvuvijgpWRbelTuDie{T{TuvbOiefQ©^µgvQgvQTW~W8mpfVup^c{gp^cbe]bjKfbe]Emxgij]1gD{TupbO{_ijd1i"gv^`bO]be]7ihgvb"o^`U7{-WVui"gv^`¤OWªakij]_del_iedeW/]EijU7W~ &^µgpgpacW j W»_um}g~Wmvfuv^crEW;gvQTW akij]TdOl_ijdOW^µgm}WaµxEde^c¤eW i¥{TuvbedOuvieU W¦TijU7{TacWie]_~ gpQTWupW8m}^k~l_iean{TuvbedeuijUij gpWufbO]_m}gvij]1g {Tuvbe{EijdOijgp^cbe]n W;»_]_ijacaco W¦{TuvWmvmªgpQTW;gvuvie]_m}beuvU7ijgp^cbe] ^c]§P&up2³gpb¥mpQTb"© gvQTWW¦{TuvWmvmp^`¤OWV]TW8mpmzbjbelTuakij]TdOl_ijdOWe. . ^cdelTuvWmpQTb"©mªgvQTW ijr_m}gpuiefgRmpoq]1gvi"¦ beun^`g}gva`WOTuvWV{TuvWmpWV]1gpW8~ iOmiHmpWgbebO{EWuvijgpbOuvmªij]_~ mp^`dO]_i"gvlTupW8mV. 64 D!? 4+8 6 6+84+8@6:5 6+> A84+8@6? :+5 574 D DK@ 58 A B5 @5 B5 @ 8 5 5 @> ?>A 5 5 ' 5 A 75 @> C = A @ ;9=?:>7@ 55 5 575 . . . . 1
(136) 1
(137) ! 1 " . . . . 1 1. 1 # 1 $ 1 % 1 < 1 % ( 1 % ( . .
(138)
(139)
(140)
(141) " " & & & &. 3. ^cdelTuvW °PRQTWn^`g}gva`Wijr_m}gpuiefgRmpoq]Ogi"¦¬ PRQTW&^µgpgpacW{TupbOdeuijU bjD^`dOlTuvWA_ i7fVie]r-W;gpuij]EmxbOupU7W~ ^`]1gvbgvQTWuvWmp^c~lEijaK¤eWuvmp^`bO] be^`dOlTuvW;_ r&l_m}^c]Td¥fbO]_m}gvij]1g {Tuvbe{EijdOijgp^cbe]n PRQTW{Tuv^`]_fV^`{_a`WHbjDgvQTWHfVbe]_m}gvie]1g{Tuvbe{_iedOijgp^cbe]^cmgvb~WVgpWVuvU7^`]_W©QT^kfQ«¤"ijuv^kijrTacW^kmh²q]Tb"©]Mmxgi"gp^kfViea`acoe;PRQTW]nnmxgi"gvW U7WV]1gm fVie]³r-W mp{EW8f^kijac^`¸W~³ij]_~¡mp^`U7{Tac^µ»EW~¬Ä§beuvWH{_upW8f^km}Wa`oOn©zW¥fVbeU7{TlgvWeijg WV¤OWVuvo5mxgvWV{¡^c]MgvQTW¥{TuvbedOuvieU ni ac^cm}g bj {_ie^`umªrT^c]_~^c]Td¥i¤"ijuv^kijrTacWie]_~ ^`gvmª¤"ijaclTW¥·U7WupWa`o iOmpmp^`dO]TU7WV]1gvm¹)q^`&gvQT^cmR¤"iea`lTWA^km/gvQTWmpieU7WhbOuRiea`a¬{-bOmvmp^`rTacWAW¦WfVlgp^cbe]_m PRQT^kma`^kmxg7^kmWUH{Tgxo¡ijggvQTWr-WVdO^`]_]T^`]_d_=gpQ_WV]lT{K~TijgpW~¢ij]_~{TupbO{_ijd1i"gvW~Mgp^ca`aªgvQTWW]_~¨begpQTW {TuvbedeuijU ·2mpWVW gpQTW upl_a`W ¹). 6K4 D 6+8 ? 8:+5 8 6K4 D!? 4+8@6. u. u. u. u. u. )+*-,.0/214365 /4798:34;<5=14.08 ?> 5@/A8:34.0B:. 5@C0C D<EGFIH3JEG/6/6EGKL. *MDIH8:C . ON P=QSR. ts. /10 /!2.
(142) .
(143) 8 _*$B %3Q C?2G
(144) !5#=g2 9 = 8 8> TU > 8 6 =9> E h=35 6 =9> = 7= P2 C > P2 Ce/ P5 C eI e6j2 > > C _6j2 > = > C eI 87CP2 Ce/ O'5 7C ZI e6g2 > >6g2 7 P5 . . 26 1; 26 1; 26 3 1; ;. 26 1;.
(145)
(146) 8 _* $B %3QX=g2 9 = 8 8> TU
(147) > 8 6 =9> E h=g5 6 =9> = ; 7=
(148) 32 > 2 OY5 CP2 IT5 6j2 >'5 . 6. . 6 1; 6.
(149). 6 . 5 2 . 1J16C0E. . . . *-,E 34EG/4.0K 5@C H3J8:B:345@; F R. H(348:B:345@; R. +3. ^cdel_upW /yzbO]_mxgij]1gtDuvbe{_iedOi"gv^`bO] bOun^`g}gpacWe . ">C :4 5 C 8 @ 5 5. W ~Wgij^canQTWupWAgpQ_W;gpuij]_m}beuvU¥i"gp^cbe]upl_a`WAbeuRgvQTW. g g. gpQTWWV¦{TupW8mpmp^cbe] {Eijupgp^kijaca`o¥W¤+iea`lEi"gpW8mªgpb. g. gpQTWWV¦{TupW8mpmp^cbe] {Eijupgp^kijaca`o¥W¤+iea`lEi"gpW8mªgpb. @. . ^3.
(150) 3. m}gvi"gvWVU7WV]1g gvQTuvWVW fViOm}W8mRfVij] bfVfVlTu.
(151) H ^H. 1gvQTWV]§fbO]_m}gvij]1gR{Tuvbe{_iedOi"gv^`bO]fVbe]1gp^c]qlTWmRbO] gvQTW;gpQTW]{_ijupg. OgpQTW]§fbe]Emxgij]1g{TupbO{_ijd1i"gv^`bO] fbO]Ogv^`]qlTW8mRbe]gpQTWWacmpW{_ieu}g. gpQTW W¦{TuvWmvm}^cbe]¨fVie]T]Tbeg rEW mxgi"gp^kfViea`acoM~TWgpWupU7^c]TW~ngvQTWV]fVbe]_m}gvie]1g{Tuvbe{_iedOi"gv^`bO]³fVbe]1gp^c]qlTWm ©^µgvQ¡gpQTW fbeU7U7be] rT^c]_~^c]Td§a`^km}g ·2fViea`a=gvbgpQTW7l_]_f)gv^`bO] ¬beudOupW8i"gvWm}gAacb"©zWu;rEbOlT]_~¬beu^c]_m}gvij]EfW RfbOUH{_lgpW8mgpQ_Wbeaca`b"©^c]Td ~W8fbOUH{-bOmp^`gp^cbe]_m ;ie]_~ ;©Q_WVuvW ij]_~ ;ieupW ~^kmwxbO^`]1gm}W8s1lTWV]_fVWm¹ªij]_~gpQ_W{_ijupgp^kijaca`o¥W¤"ijacl_i"gvW~ ¥mxgi"gpWU7WV]1g. "+*5376. ?. !#"%$'&)()"+*,&+-/.0"1&2(2"%$34( 8"%$9& :;"1&=<>"%$?3 "+*,&@:>"1&A<B"+*C3 D"%$3 "+*C3. >C. PRQTWAgvuvie]_mxbOupU¥ijgp^cbe] uvlTacWAbeuRgpQ_W^µDmxgi"gvWVU7WV]1g^cmRWV¦{TupW8mpmpW~ ^`]§Pu}2³^c]§^cdel_upW· gvQTW;lTaca&fbO]_mxgij]1gR{TupbO{_ijd1i"gv^`bO] gvuvie]_mxbOupU¥ijgp^cbe] ^kmdO^`¤OWV] ^c] gpQTW ¶ {T{-WV]_~^`¦_¹). stsvu w x-x^yzx.
(152)
(153) C .
(154) ! "# $&% '( ) "* $,+ -. /!/!/. 0
(155) 12,354# 6 ! 879354:; < ">= <"@?+ % ' A B CD 0
(156) 2,EF
(157) G; 6 ! 8+IH J 6LK = ! " K =M'N CN
(158) 6 ) ">=O+IH J 6LK ? ! " K ?P'N CN
(159) 6 ) ":? +IH J 6LK < 6RQ =< 6RQ ?M'S CTG!UV 6LK = < 6LK ? + B -XWZY [ -. \ ]E^+R J 6LK = ! " K =M' H B H 4_
(160) G!`@E^+ J 6LK ? ! " K ?P' a OY bc[ d1M J 6LK ! 79354: <0`@Efeg] Eih0jiE^X" K = < 6Q =O+I<`@Efeg] Eh jiE^X" K ?g< 6RQ ?+@+R' WVk WVk A H. /!/!/ WVkl
(161) H. +3 V tX. ^cdelTuvW /yzbe]Emxgij]1g{TupbO{_ijd1i"gv^`bO] ^`]§Pu}2/ m. n. 2. . ª % [
(162) po ¥= . . . WzQEi+¤eW°{TuvWmpWV]1gvW~iakij]_del_iedeW°ij]E~ ij] ^c]1gpWdeui"gpW8~;WV]q¤q^`uvbe]_UHW]1gnbeu{TuvbedeuijU gpuij]_m}beuvU¥i"gp^cbe]EmV&PRQ_WzPu}2 acie]Tdel_iedeWD^km ^c]1gpWV]E~W~7gvb r-Wh{-b"©zWu}lTa-ij]_~7W8iempo gvbl_mpWbeuzrEbegpQ ~W8m}^cde]_WVum°ij]_~ WV]_~ql_mpWVumVPRQTWh^c]1gpWuviOf)gp^c¤eWW]q¤1^cuvbe]TU7WV]1g°^c]_facl_~W8m mplT{T{-beupggpbqbeakmªgpb¥~W8m}^cde]gpuij]EmxbOupU¥i"gv^`bO] uvlTacWm©^µgvQTbelgiOf)gplEijaca`o ²q]Tb"©^c]Td7berTwxWf)gakij]TdOl_ijdOWAfVbe]_m}gpuvl_fgpbeumVwxl_m}grqoi mpWVacWfgp^cbe]¥bjK{TuvbedOuvieUuviedeU7WV]1gmV º lTu°W]1¤q^cupbO]TU7WV]1g/ijakmpbA{_upb"¤q^k~WiAgxoq{EW8fQTWf²OWVu=beu/gpQTWhacie]Tdel_iedeWR©QT^kfQ¥WV]_mplTuvWm=gvQTW fVbeuvupW8f)g°gxoq{T^c]Tdbe¬gpQTWhgpuij]_m}beuvU¥i"gv^`bO]_mV^`]_iea`acoeqW]_~ql_m}Wuvm°{EWu}bOupU gpuij]EmxbOupU¥i"gv^`bO]_mD^c] i dOlT^k~W~¥U¥ie]T]TWVu8qm}Wa`W8f)gp^c]Td i+¤"ij^cakijrTacWAgpuij]_m}beuvU¥i"gp^cbe]Em/^c]§iU7W]1l& W;©^`aca¬{TlTum}l_WhgvQT^cm~TW»_]T^`gp^cbe]©ªbeuv²HbeuP&up2³©^µgvQ ie]bO{EWuvijgp^cbe]_iea-mpWVU¥ie]Ogv^cfmV Wijakm}b©ªie]Ogªgpb7{Tuvb"¤q^c~TWAm}gvie]_~q iea`bO]TW;W f^cWV]1ggpuij]EmxbOupU¥i"gv^`bO] gvb1bOacm©ªbeuv²1^c]Td^`]r_ijgvfQn_ie]_~^`]_~TWV{-WV]_~W]1gupbOU yzWV]1gvielTu8 ¶ {T{Tac^cfi"gp^cbe]§~bOU¥ij^c]_m^c]gvQTWieupW8ibe{_upbOdeuijU gpuij]EmxbOupU¥i"gv^`bO]nr-Wmp^c~W8m{_ieu}gv^cieanWV¤"ijacl_ijgp^cbe]§ij]_~fVbeU7{T^ca`^c]Td7gpW8fQ ]T^ks1lTWmnijuvW]qlTU7WupbOl_m h©zWHijuvWfl_upuvWV]1gpaco^`]q¤OWm}gp^cdOi"gv^`]_d uvWm}gpuvl_f)gvlTuvijgp^cbe]«ie]_~5iO~Tij{gi"gv^`bO]«bjzmvf^cWV]1gv^µ»EfHTbOu}gvuvie]§{Tuvbj dOuvieU7mij]_~ieacmpb{Eijuijaca`Wa`^c¸ijgp^cbe] bebOrwxWfg}beuv^`W]1gpW~ {TuvbedeuijU¥m ` º lTu»_]_ieadObOiea3-©^µgvQMifbeU7{TacWgvW bOupU¥ija=~W8mpfVup^c{gp^cbe]5bjzPu}2/E^kmhgpb rEW7ijrTacW gvb {Tuvb"¤q^c~TW{Tuvbqbj=gpbqbeakm^`]Mbeu~WVuhgpb QTWa`{§~W8m}^cde]_WVum/gvb¥WV]_mplTuvWAgpQTW fVbeuvupW8f)gp]_Wmvm/begvQTWV^cuRgpuij]_m}beuvU¥i"gv^`bO]_mV. h3. JA D. ts. /10 /!2.
(163) ^F . U. 2. !" . A hD. ª %. ^L' * z#[)I /IJ `
(164) # h h L h Lh A &-/ h ' ' ! !9 ' O*5A h!N* t97 h9 *< %7% /L./ * ' t 7R -./
(165) `^# h L I A D n 7hL ./L' z# ' # ' h O h% ! h OF 9F A D n &n
(166) 3 I I9 ' ! %+O*- K!P ' z# h O h% ! h
(167) !" /* ' n A C7D +n ! K- # )I q
(168) C 3 CCZR A FD b3 G-./" )/ ' h!" ./L 5* A$#JO*h '7%! Q % K ./
(169) -%K h+IKh9 & h !"5( K *' ( )
(170) C9FOZ ^F C 3 )/ h)I<
(171) ' !J%K*- K! - Lh % -* A R D z# '7!!9* t97 h9 *
(172) YI - -*- ' K)I
(173) `' ' ( ) C OZ+F i 3 A O+D &j Z qZ F7F -, Z "
(174)
(175) `!J% K.9 ' K- O* A D K3 C Z R A D & -./& c ./ ' h! ./L-=* A$#JO*h ' . ! Q % K )/ /t
(176) ` # - /- K ) ) 0
(177) iiOZ
(178) i 3 9F A
(179) i D `3. C G-./! )/ ' h! ./L-=* A$#JO*h A h+D &7 1 ! Q % K )/
(180) -%K h+IKh9 2 ! 5 ( K ' ( ) OZ 3 A +D 7R 43 5 & K%+ A D 76 8 ' ! %+O*- K!v ' '!! - :9N L . FOZ i - i7i '7; ! % !" h ' %K Lh < L./b + *,# -!"./ A hC7D[n _ n n R 7i = 9n A ^FD > 3 ) ) > -./
(181) `^# h L ' O%+ L ! % K)-
(182) ` 7 t7/L 2 97 h9 A
(183) R D "
(184) ! % K )/ . i7RZ C 7C -)/ )/ ' h!" ./L 5* A$#JO*h &7 ? ! Q % K )/ t A OD &.
Documents relatifs
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
