Graph Rewrite Systems for Program Optimization

HAL Id: inria-00073743

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished or not. The documents may come from

teaching and research institutions in France or

abroad, or from public or private research centers.

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 établissements d’enseignement et de

recherche français ou étrangers, des laboratoires

publics ou privés.

Graph Rewrite Systems for Program Optimization

Uwe Aßmann

To cite this version:

Uwe Aßmann. Graph Rewrite Systems for Program Optimization. [Research Report] RR-2955,

IN-RIA. 1996. �inria-00073743�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Graph Rewrite Systems For Program Optimization

Uwe Aßmann

N˚ 2955

August 1996

/0"132547698;::< =>? @BA3@C5DFEHG@BIJK@'LKMONPJRQSJK@BL @STUQSVOLRQSWLYXZ7A'[MPLRJR\;W]@ ^_ Ma`[email protected]degf.h hUVaiiM _ Tj]@ _ @BQ > @ _ Q > @kIMlCOmOnOnoDFf"WNPWXTpBmOmOq5DFrOm!isVaNO@BX tvuYwSxzyz{|OxP} => JRX~isVai@ _ j]@BA3MPIX,T _ VaT@BX > M€N _ Vai > _ @S _ JKT@.XZ7XT@BA‚X~QSVOIƒ[@.WsX@Bj„TM!Xi@BQSJK…†Z„VOIj‚NO@BI]@ _ VaT@ i _ MON _ VOAMOiT,JRA„JK‡BVaT,JKMPIXBˆŠ‰M _ T@ _ A„JRIVaT,JKMPI‹MO…T > @ŒXZ7XT@BA„X‚+@j]@SŽO@BLKMOiX,MPA3@I@S _ WsLK@’‘“[sVOX@Bj‹Q _ JKT@ _ JRV7” j]@’•IJRI]N—–,˜O™;šO›œŸž¡ †¢£–Œ¤P¥¦šŸ§s™¨¥–S©¥Ÿ †žª–«œŸ¬zœŸžª–B­œŸˆ¯®°@±VOLRXM²j]@’•³I@´œŸž¡¥bšOž¡ µ+¶*šOž¡ ¸·O¹MO…5N _ Vai > _ @S _ JKT@«XZ7XT@BA„X  > JRQ > VOW]TMPA‚VaT,JRQSVOLRLKZºX@BLK@BQ’T,X3X,JRI]NPLK@HIM _ A„VOL~…»M _ A„X5…»M _ A‚VOIlZ±I]MPI7‘ªj]@ST@ _ A„JRIJRXT,JRQvXZ7XT@BA‚XSˆ = M¼JRLRLRWXT _ VaT@ T > @½T@BQ > I]MPLKMONOZv~@¾Xi@BQSJK…†Z3isV _ T,X+MO…YT > @¾LRVa‡SZ‚Q’M7j]@¾A3MOT,JKMPIƒMOiT,JRA„JK‡BVaT,JKMPI¿ˆ‰]M _ T > @ _ @BX,WsLKT,JRI]N!N _ Vai > _ @S _ JKT@ XZ7XT@BAÀQSLRVOX,X@BX!VWIJK…†M _ A@SŽaVOLRWVaT,JKMPIÁVOLKNOM _ JKT > AÂJRX5NPJKŽO@BIˆ¼c½I«T > @‚[³VOX,JRXMO…ÃT > JRX5A„@ST > M7j¼T > @‚MOiT,JRA„JK‡S@ _ NO@BI]@ _ VaTM _ c ^ =ÃĦŐĦƯ> VOX![@S@BIÁj]@SŽO@BLKMOi@Bjˆ Ä TJRXMPI]@vMO…UT > @v• _ XT5TMMPLRX3 > JRQ > QSVOIº[@vWX@Bj±TM¼Xi@BQSJK…†Z VOIVOLKZ7X,JRX+VOIj3T _ VOIX…†M _ A„VaT,JKMPI‚WIJK…†M _ A„LKZ5VOIj3+@Ui _ @BX@BIlT+Q’MPA3isJRLRVaT,JKMPI‚T,JRA3@ _ @BX,WLKT,XMO…NO@BI]@ _ VaT@Bj‚MOiT,JRA„JK‡S@ _ Q’MPA„iMPI@BIlT,XSˆ Ç9ÈlÉÊ,Ë!̳yzÍYwP} egMPA3isJRLK@ _ NO@BI]@ _ VaTM _ ”si _ MON _ VOAMOiT,JRA‚JK‡BVaT,JKMPI”Xi@BQSJΕ³QSVaT,JKMPI”XT _ VaT,JΕ³QSVaT,JKMPI”ŽO@ _ Z > JKN > ‘ªLK@SŽO@BL LRVOI]NPWsVaNO@BXS”sŽ7JRX,WVOLi _ MON _ VOA„A‚JRI]N ÏÑÐ!Ò ÓÕÔªÖB× Ò ÓgØ¿ÙRԓڡÛSÜ ÝÞß(àzáãâáåäçæ’èé“ßUé“ê£ë(ì£æ½í¾ë(î¸é¡äçìï(ß(à£î“âzë(ì!ë*ìaâ¾ð~ñ½ß(é“ê£è¦îò¦ß(áåáçèë*óŸà£èbôõÎî¡ßŸð‹é“êzè+ó(î¡ßŸà£ö5÷ø£ùúüû¼ë*éÝ»ýþûüݸúŒûüßBòbÿSà£èbì£ò¦ßŸàzî¸é
 à£î¸äçìzó~ðñÃöOߒô†é»âzßBò¿ñSèë*îé“ê£è¦ñgö£î¡ßSäÎâ€èâUë(ìUèzò¦è¦áåáçèbìSéèbì Säãî¡ß(ì£ðÃèbìSé³é“ßÞ¿î¸äåé“èþé“ê€äÎô³öaë(öOè¦îèbî¸é“ê£ß*áãâ þßPðë(ìzìþìzä’è¦î“ô†äçé»ñÃß(õ î¡èbðÃèbì³ö£î¡ßSß*õî¡èëŸâ.é“êzè öaë*öOèbî£ë(ìaâUö£î¡ß(öOߒô¸èâ"é“êzèþé“èbî¡ð Ó*րԓÙKÚ(Ó "!ÕÛ#!“Ó%$!&KÙ»ÓÔ('(ԓٻÓÕ×~Ô é“ßgî¡èbö€áãëŸò¦è ë*ì½èë(î¸áåäçèbî£ðÃߟî¡è àzó(áåñ ìaë*ðÃè)³ùë(î¡ß*áÝ»ìaë+*î¡àaâzèÕáêzè¦áçöOèâðÃèYé“ß~äçðÃözî¡ßŸèþð~ñ-,³ìzó(áåäãô¸ê.³úYìUö£î¡èSäçߟà£ô€ð+àaò“êî¡èô†é“î¸äãòÕé“èâ/’èbî“ô†äçߟì"ß(õ;é“ê€äãôöaë(öOè¦î¿ë(ö£öOèbë(î¡èâ äçì10ú3254"6"789*êzäãôÞߟî¡æUêaë(ôöaë(î¸é¡áåñ/:Oèbèbì½ô¸à£ö£öOß(î¸é“èâ:Sñ/,³ô¸ö£î¸äåéüö£î¡ß;†èòÕéüýYß=<">"4)4ù÷ í#?lúYû@,@ A

YÞè"úYô¡ô¸ðë(ìzìBYäçì£î¸äãëCõÎî3D£î¡ßŸð²ýþß@4)6ÃߟìFEGþì€äHŸèbî“ô†äåé†ñ½ß*õJI ë(î¸áãô¸î¡à£êzè)O݆ì£ô†é¡äåé“àzéüõ&Kàzî ?sî¡ßŸóŸî“ë*ðÃð-àzìaâLë,é“èbìaô†é“î¡àzæSé“à£î¡èbìF

MYäçìaòÕèbìONP?sî¸äçèô¡ô¸ìzäåé(N†øBé“î9> Q6CRSTUI ë(î¸áãô¸î¡à£êzè)Vþè¦î¡ðë(ìSñW€ëŸô¡ô¸ðë*ì£ìBYäçì€õKߟî¡ðë,é¡äçæXàzìzäYæŸë*î¸áÎô¸î¡àzê£è)â€è

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


 U%"
   ȝwȁ} e+@ST5V _ T,JRQSLK@„@7isLRJR\;W]@„Q’MPA‚A3@BITLK@BX'XZ7XT ? @BA3@BX'j]@ _ G @G@BQ _ JKT,W _ @ƒj]@„N _ Vai > @3i@BW]ŽO@BIT@ST _ @ƒW]T,JRLRJRXG@BX iMPW _ XigG@BQSJΕ³@ _ @STNþG@BI+G@ _ @ _ j]@BX¾MOisT,JRA„JRX,VaT,JKMPIXj]@3i _ MON _ VOA„A3@BXBˆ ^ MPW _ LRVHT@ _ A„JRIVOJRX,MPI¼j]@BXXZ7XT ? @BA3@BXB”YI]MPWX

V€ŽOMPIXj+G@SŽO@BLKMOisi+G@±j]@¼IMPW]ŽO@BVOW¨Q

_ JKT ? @ _ @BXX*W _ LK@BX _ ? @SNPLK@BXS”@BIj~G@’•³IJRX,X*VOIlT9j@BXŒœŸ¬zœŸž–B­3–Ÿœl–«¥ –! –B¶B¥Ÿ †ž¡›;¥–"l–

¤P¥¦šŸ§s™7–„–*˜a™;šO›œ’ž¡ #(œ(ˆ%$"MPWX"V€ŽOMPIXoG@SNPVOLK@BA„@BIlT½j+G@’•³IJYLRVoœ’ž¡¥¦šOž¡ µ~¶(šOž¡ †·P¹oj]@BXUXZ7XT

? @BA3@BX"j]@ _ G @G@BQ _ JKT,W _ @!j@N _ Vai > @O” \;WJYi@ _ A3@STUj]@5Q > MPJRX*J _ VOW]TMPA„VaT,JR\;W]@BA3@BIT"WsI]@'WIsJR\W]@'…»M _ A3@'IM _ A„VOLK@'iMPW _ j]@5I]MPA5[ _ @BWHXZ7XT ? @BA3@BX½I]MPI7‘ j+G@ST@ _ A‚JRIJRXT@BXSˆ ^ MPW _ JRLRLRWXT _ @ _ Q’@STT@«T@BQ >

IJR\;W]@O”I]MPWsXoXi+G@BQSJΕsMPIXH\;W]@BLR\;W]@BX‹G@ST,Vai@BX9jWi

_ MO[sL ? @BA3@°j &MOiT,JRA‚JRX,VaT,JKMPIjW j+G@SisLRVOQ’@BA„@BIlTj]@ƒQ’M;j@„isV _ @BX*X@BWˆ'$UMPWX5j]MPIIMPIXiMPW _ LK@BX5QSLRVOX,X@BX _ G @BX,WsLKT,VOIlT@BXWI VOLKNOM _ JKT > A„@ƒWIsJK…»M _ A„@

j &¦G@SŽaVOLRWVaT,JKMPIˆ)(¿@3NþG@BI+G@

_ VaT@BW _ j*&MOiT,JRA„JRX@BW _ Xc ^ =ĦŐÄÕÆ V‹G@STG@ƒj+G@SŽO@BLKMOisi+G@ƒX,W _ LRVo[sVOX@3j@„Q’@STT@‚A´G@ST > M;j]@Oˆ e+&@BX,TYL,&åWIj@BX¿i _ @BA‚JK@ _ XMPW]T,JRLRXþ\WsJaT _ VOJKT@+WsIJK…»M _ A±G@BA3@BITj]@BXüVOIVOLKZ7X@BXY@ST¿T _ VOIX,…»M _ A‚VaT,JKMPIXSˆ-$UMPWXüi _ G @BX@BITMPIX \;W]@BLR\;W]@BX _ G @BX,WsLKT,VaT,XUj]@T@BA„isXÃj]@Q’MPA„isJRLRVaT,JKMPI9j]@BXUQ’MPA3iMPX,VOIT,Xj &MOiT,JRA‚JRX@BW _ XÃVOJRIX*JNYG@BI~G@ _ G @BXSˆ .Ìxzw’Ê*|0/1È$} E9G@BI+G@ _ VaT@BW _ j]@3Q’MPA„isJRLRVaT@BW _ XB”MOiT,JRA„JRX,VaT,JKMPI«j]@!i _ MON _ VOA‚A3@BXS”XigG@BQSJΕ³QSVaT,JKMPI¿”þXT _ VaT,JΕ³QSVaT,JKMPI” LRVOI][email protected]]@ > VOW]TIJKŽO@BVOW”i _ MON _ VOA„A‚VaT,JKMPIvŽ;JRX*W]@BLRLK@

 -.
  þ, .-® _ JKT,JRIN«VOI´MOiT,JRA„JK‡S@ _ …†M _ VŒi _ MON _ VOA„A„JRINLRVOI]NPWVaNO@HJRXVOIº@ _,_ M _ ‘“i _ MPI]@ƒVOIsj´T@BjJKMPWX!T,VOXˆ Ä I´M _ j]@ _ TM X > M _ T@BI²j]@SŽO@BLKMOi³A3@BIT„T,JRA3@O”+TM«…¸VOQSJRLRJKT,VaT@ŒŽ£VOLRJRjsVaT,JKMPI”VOIjºTM±JRA3i _ M€ŽO@9A‚VOJRIlT,VOJRIVa[³JRLRJKTªZO”UV¼A„@ST > M7j]MPLKMONOZ …†M _ Xi@BQSJΕ³QSVaT,JKMPI²VOIsj NO@BI@ _ VaT,JKMPIºMO….MOiT,JRA„JK‡S@ _ XJRX > JKN > LKZ j@BX,J _ Va[sLK@OˆUMz~@SŽO@ _ ”gWsIlT,JRLÃI]Mz Xi@BQSJΕ³QSVaT,JKMPI A„@ST > M;jsX > VOIjLK@BjMPIsLKZ!X*W][T,VOX7XMO…i _ MON _ VOA MOiT,JRA„JK‡BVaT,JKMPI¿”M _ T > @SZ!LK@Bj„TMMOiT,JRA‚JK‡S@ _ X > JRQ > @7@BQSW]T@Bj„TMM X,LKMzULKZO”lM _ T > @SZ+@ _ @ÃQSLKMPX@Bj3XZ7XT@BA„XY > JRQ > ~@ _ @+T,JK@Bj!TMV½Xi@BQSJΕ³Q+@BIŽ;J _ MPIA3@BITYM _ JRIT@ _ A„@BjJRVaT@ÃLRVOI]NPWVaNO@Oˆ =U> JRXƒisVai@ _ j]@BA„MPIXT _ VaT@BX > Mz N _ Vai > _ @S _ JKT,JRIN±QSVOI[@ŒWX@Bj$…»M _ Xi@BQSJΕ³QSVaT,JKMPI¨VOIj‹NO@BI]@ _ VaT,JKMPI¨MO… i _ MON _ VOAMOiT,JRA‚JK‡BVaT,JKMPIˆ => @„Q’@BIT _ VOL+JRj]@BVoMO…ÃMPW _ A3@ST > M7j°JRXTM _ @SNPV _ j±VOLRLJRI]…†M _ A‚VaT,JKMPI¼JRI«VOI«MOiT,JRA„JK‡S@ _ VOX½VƒX@ST½MO… N _ Vai > XBˆ ^ _ MON _ VOA MO[]`¦@BQ’T,XB”JRIT@ _ A„@BjJRVaT@5Q’M7j]@!JRIXT _ WsQ’T,JKMPIXS”VOIji _ @BjJRQSVaT@BX.M€ŽO@ _ T > @'@BIT,JKT,JK@BX MO…ÃT > @ƒi _ MON _ VOAV _ @vVOLRL _ @Si _ @BX@BIT@Bj«@BJKT > @ _ VOX5I]M7j]@BXM _ @Bj]NO@BX!JRI«T > @BX@„N _ Vai > XSˆ ^ _ MON _ VOA VOIsVOLKZ;X,JRX!VOIj T _ VOIsX…»M _ A„VaT,JKMPI²V _ @Hi@ _ …»M _ A3@Bj´[;Z±N _ Vai > _ @S _ JKT,JRI]N]ˆ = Z;isJRQSVOLRLKZO”UVOIVOLKZ;‡BJRI]N i _ MON _ VOA‚X3A3@BVOIX3@BILRV _ NPJRI]N N _ Vai > X½UJKT > I]@S@BjNO@BX > JRQ > _ @Si _ @BX,@BIlT¾T > @3JRI…»M _ A‚VaT,JKMPI” > JRLK@3Q’M7j]@T _ VOIsX…»M _ A„VaT,JKMPI°A3@BVOIsX _ @S _ JKT,JRI]N N _ Vai > X[;Z3j]@BLK@ST,JRI]N!VOIj‚VaTT,VOQ > JRI]NX,W[N _ Vai > XBˆ => WXT > @UMOiT,JRA‚JK‡BVaT,JKMPIƒi _ M7Q’@BX,X~JRX+jJKŽ7JRj]@Bj„JRITM!V'X@B\;W]@BIQ’@ MO…N _ Vai > _ @S _ JKT@UX,Z;XT@BA VaiisLRJRQSVaT,JKMPIXS”7XT,V _ T,JRIN… _ MPAT > @JRIT@ _ A3@BjsJRVaT@ _ @Si _ @BX,@BIlT,VaT,JKMPI‚NPJKŽO@BI„[;Z5T > @… _ MPIlTb‘ @BIj¿”;VOIj _ @BX,WLKT,JRIN'JRI„VOIƒJRIT@ _ A3@BjJRVaT@.N _ Vai >  > JRQ > JRX > VOIj]@Bj3M€ŽO@ _ TMT > @U[sVOQl‘“@BIjƒ…†M _ Q’M7j]@UNO@BI@ _ VaT,JKMPIˆ "M€+@SŽO@ _ ”³ > @BIƒT _ Z7JRI]N!TM!X,i@BQSJK…†Z„i _ MON _ VOA MOiT,JRA‚JK‡BVaT,JKMPIoUJKT > N _ Vai > _ @S _ JKT@XZ;X,T@BA„XS”;~@¾A‚VBZ„@BVOX*JRLKZ Xi@BQSJK…†Z9XZ7XT@BA„X"T > VaT¾I]@BJKT > @ _ T@ _ A‚JRIVaT@!I]M _ Z7JK@BLRj°WIJR\;W]@5I]M _ A„VOLü…»M _ A„XSˆ => WsXUMPW _ isVai@ _ j]@’•³I]@BX½XMPA„@ I]@S _ WsLK@’‘“[sVOX@Bj$T@ _ A„JRIVaT,JKMPIQ _ JKT@ _ JRV7”'žª–S¥Ÿ­! »¹³šOž¡ †·P¹S¬Á– z¤l–°š1O »ž¡ ¸·O¹ºVOIsj—žª–B¥(­! †¹sšOž¡ ¸·O¹B¬¼œ’›Bž¡¥¦šl¶Bž¡ ¸·O¹]ˆ => @SZ _ @BX,WLKTÃJRIƒT > @½QSLRVOX,XÃMO…+–*˜a™;šP›lœ’ž¡ »¢a–½¤O¥bšŸ§™o¥b–B©¥( †žª–œŸ¬zœŸžª–B­œŸˆ‰W _ T > @ _ A3M _ @O”+@¾j]@SŽO@BLKMOiŒœŸž¡¥bšOž¡ µ~¶*šOž¡ ¸·O¹‚MO… N _ Vai > _ @S _ JKT@gXZ;X,T@BA„XS”£ > JRQ > VOWTMPA„VaT,JRQSVOLRLKZ'X,@BLK@BQ’T,X Vœ’ž¡¥¦šPž¡ µ+– 5¹s·O¥Ÿ­!š#’·O¥Ÿ­$…»M _ A„VOIZ¾I]MPI7‘ªj]@ST@ _ A„JRIJRXT,JRQ XZ7XT@BA‚XSˆ => JRX"T@BQ > IJR\;W]@3JRX½@BXi@BQSJRVOLRLKZ°JRA3iM _ T,VOIT"…†M _ T > @3Xi@BQSJΕ³QSVaT,JKMPI¼MO…i _ MON _ VOA MOiT,JRA„JK‡BVaT,JKMPI° > JRQ > _ @B\;WJ _ @BX I]@SNPVaT,JKMPI¿”lj]@BLK@ST,JKMPIVOIj!VOjjJKT,JKMPI5MO…sV _ [sJKT _ V _ ZX*W][N _ Vai > XSˆ => JRXüMO…†T@BI _ @BX,WLKT,X JRI5I]MPI7‘ªj]@ST@ _ A„JRIJRXT,JRQ XZ7XT@BA‚XUj]@BLRJKŽO@ _ JRINƒI]MPI]‘“@;i@BQ’T@Bj _ @BX,WLKT,XSˆUd;T _ VaT,JΕ³QSVaT,JKMPIŒX@BLK@BQ’T,X½I]M _ A„VOL¿…»M _ A‚Xà > JRQ > V _ @ _ VaT > @ _ IVaT,W _ VOL [@BQSVOWX@T > @X@BLK@BQ’T@Bjj]@ _ JKŽaVaT,JKMPIX _ @ST,VOJRIX,W][N _ Vai > X+ > JRQ > V _ @¾MOT > @ _ UJRX@j]@BLK@ST@Bj¿ˆ f i _ VOQ’T,JRQSVOL~A„@ST > M7j°…»M _ NO@BI]@ _ VaT,JRIN9MOiT,JRA‚JK‡S@ _ Q’MPA„iMPI@BIlT,XUJRLRL[@¾`Wj]NO@Bj¼MPI«T > _ @S@ƒQ _ JKT@ _ JRV7ˆ9‰ J _ XT JKToA!WXT‚[@ŒVa[sLK@TM´@;i _ @BX,XvV«[ _ MPVOj _ VOI]NO@ŒMO…i _ MON _ VOA VOIVOLKZ7X,JRXvVOIj‹T _ VOIX,…»M _ A‚VaT,JKMPI²i _ MO[sLK@BA„XBˆ—®°@ j]@BA„MPIXT _ VaT@ŒT > JRXv[;ZXi@BQSJK…»Z7JRI]NÁX@SŽO@ _ VOL½isV _ T,XvMO…'T > @KšS¬$¶*· l–«­·Ož¡ ¸·O¹²VOIVOLKZ7X,JRXHVOIsjT _ VOIX…†M _ A„VaT,JKMPI  h½d]m“ˆ5d7@BQ’MPIjŒT > @!NO@BI]@ _ VaT@Bj¼VOLKNOM _ JKT > A„X¾A!WXT _ WI@! ‚QSJK@BIT,LKZ°XMvT > VaT½T > @Q’MPA3iMPI]@BIT,X.QSVOI¼[@!WX@Bj JRIvi _ VOQ’T,JRQSVOLMOiT,JRA„JK‡S@ _ XSˆ => WX+~@ > V€ŽO@j]@SŽO@BLKMOi@BjoVWIJK…†M _ A@SŽaVOLRWVaT,JKMPI9VOLKNOM _ JKT > A …»M _ T > @¾NPJKŽO@BI _ @S _ JKT@ XZ7XT@BA‚XS” > JRQ > +M _ 7X@! ‚QSJK@BIT,LKZÁMPI²jJ _ @BQ’T@Bj²XisV _ X@oN _ Vai > X3VOIj´MO…†T@BI _ @BX,WLKT,X3JRIºLRJRI@BV _ M _ \;WVOj _ VaT,JRQ VOLKNOM _ JKT > A„XSˆ => J _ j!T > @UXi@BQSJΕ³QSVaT,JKMPI‚A3@ST > M7jA!WXT [@#"s@7JK[³LK@VOIji _ MzŽ;JRj@VOI3MOi@BIXZ7XT@BAHˆ c½W _ A„@ST > M7j QSVOI > VOIsjLK@5V _ [sJKT _ V _ Z9X,MPW _ Q’@!VOIjŒJRIlT@ _ A„@BjJRVaT@LRVOI]NPWVaNO@BX¾[@BQSVOWX,@'T > @!X > Vai@5MO… T > @!N _ Vai > X"JRX¾Xi@BQSJΕs@Bj JRI¼VojsVaT,VHA3M7j]@BL¸ˆ => @MOiT,JRA‚JK‡S@ _ Q’MPA3iMPI]@BIT,XQSVOI°[@!NO@BI]@ _ VaT@Bj«JRI«XT,VOIjV _ jŒi _ MON _ VOA„A‚JRI]N‚LRVOINPWVaNO@BXS” VOIj9A„VBZƒ@BVOX,JRLKZo[@¾JRIlT@SN _ VaT@Bj9UJKT > @7JRXT,JRIN„… _ MPIlTb‘“@BIsjXÃM _ [sVOQl‘“@BIsjXSˆ =U> @3XT _ WQ’T,W _ @!MO…~T > @i³Vai@ _ JRXVOX…»MPLRLKMzUXSˆ3‰ J _ XT¾+@3j]@BA3MPIsXT _ VaT@T > @3WX,@5MO…+N _ Vai > _ @S _ JKT@3XZ7XT@BA„X [;Z²V±X > M _ Tƒ@7VOA„isLK@O”T > @ŒQ’MPLRLK@BQ’T,JKMPIMO…'JRIlT@ _ A„@BjJRVaT@ŒQ’M;j]@@7i _ @BX,X,JKMPIsXSˆ =U> JRXvQSVOI$[@j]@BX,Q _ JK[@Bj$[Z²V ŽO@ _ Z±X,JRA3i³LK@‚N _ Vai > _ @S _ JKT@oXZ;X,T@BAH” VOIj±+@ƒNPJKŽO@HVOI´JRj]@BVMO…" > JRQ > Q’M7j]@vQSVOI´[@ƒNO@BI]@ _ VaT@Bj´TM°@7@BQSW]T@ JKTSˆÁd;@BQ’T,JKMPIºCj]@’•³I]@BX5MPW _ I]MOT,JKMPIÁMO…UN _ Vai > _ @S _ JKT,JRI]NVOIsj @ > VOWX,T,JKŽO@oN _ Vai > _ @S _ JKT@oXZ7XT@BA‚XSˆ d;@BQ’T,JKMPI rj]@’•³I@BX'T > @ƒXT _ VaT,JΕ³QSVaT,JKMPIÁMO…UN _ Vai > _ @S _ JKT@vXZ7XT@BA„XSˆ => @BI +@vi _ @BX@BIT!JRA3iM _ T,VOIT'isV _ T,X'MO…UT > @oLRVa‡SZ Q’M7j]@‚A„MOT,JKMPI¼MOiT,JRA‚JK‡BVaT,JKMPI” JRIQSLRWjsJRI]N9XZ7IlT,VOQ’T,JRQ‚@B\;WJKŽ£VOLK@BIsQ’@‚MO…JRIT@ _ A3@BjsJRVaT@„@7i _ @BX,X,JKMPIsX%$¸X@BQ’T,JKMPI&]ˆçC(',” NPLKMO[sVOLgjVaT,V)"sMzVOIVOLKZ7X,JRX*$¸X@BQ’T,JKMPI&]ˆçr(',”VOIj«T > @ƒT _ VOIX…†M _ A„VaT,JKMPI«i > VOX@+$¸X@BQ’T,JKMPI]ˆ,-',ˆŒd7@BQ’T,JKMPI´nj]@BVOLRX UJKT > T > @‚WsIJK…»M _ A @SŽ£VOLRWsVaT,JKMPI±VOLKNOM _ JKT > AH” XT,VaT@BX5JKT,X'Q’MPXT'…»M _ MPW _ @]VOA3i³LK@BXS”YVOIj«NPJKŽO@BX!VHX > M _ TM€ŽO@ _ Ž7JK@S MO… MOT > @ _ @SŽaVOLRWVaT,JKMPI°A3@ST > M;jXBˆd7@BQ’T,JKMPIŒq‚j]@BX,Q _ JK[@BXUi _ VOQ’T,JRQSVOLþ@7i@ _ JK@BIQ’@BXU"JKT > MPW _ A3@ST > M;jˆ Ä I9M _ j]@ _ TM j]@BA„MPIXT _ VaT@!JKT,X½ŽaVOLRJRjJKTªZT > @!MOiT,JRA„JK‡S@ _ NO@BI]@ _ VaTM _ c.0/21435146 > VOX.[@S@BIŒj]@SŽO@BLKMOi@Bjˆ Ä T¾JRX½MPI]@5MO…T > @5• _ X,T TM;MPLRXg > JRQ > QSVOIƒ[@"WsX@Bj„TMXi@BQSJK…†Z3i _ MON _ VOAkVOIVOLKZ7X,JRXšO¹ .T _ VOIX…†M _ A„VaT,JKMPI¿ˆ Ä T > VOX+[@S@BIƒWX@Bj‚TM5NO@BI]@ _ VaT@ X@SŽO@ _ VOLUi _ MOTMOTªZ;isJRQSVOL.MOiT,JRA„JK‡S@ _ isV _ T,XƒJRIºT > @Q’MPA3isJRLK@ _ … _ VOA„@S~M _ Áe+Md7Z7$98~Xi _ JKT‚i _ Ma`b@BQ’Tvec Å ^ f.h:8;'  f.fUŽd]m“”gVOIj´+@Hi _ @BX,@BIlT3XMPA„@ƒ•sNPW _ @BXQ’MPIQ’@ _ IJRI]N°T > @BJ _ @! ƒQSJK@BIQ’ZOˆº®°@9Q’MPIQSLRWsj]@oT > @oisVai@ _ UJKT > V X@BQ’T,JKMPIVa[MPW]T _ @BLRVaT@Bj9~M _ oVOIjoVOI9MPW]T,LKM;MƒMPIH…†W]T,W _ @¾~M _ ³ˆ

Block

Stmt

Expr

::=

Collect-Expressions-1

Block

Stmt

Expr

Proc

Proc

_Proc

Block

Expr

Stmt

Collect-Expressions-1

Stmts

Exprs

Stmts

Exprs

Blocks

Blocks

AllExprs

Blocks

AllExprs

Stmts

Exprs

‰þJKNPW _ @„p   "!# $%egMPLRLK@BQ’T,JKMPI9MO… @7i _ @BX,X,JKMPIsXÅ _ MPA T > @XT,VaT@BA„@BIlT.LRJRXT,X

&(')+*-,/. 01/2435241768:9<;4=?>@/AB/CED3GFH8JIK9<17;4=L/M7AB(NPO/Q RJS(TPSUO/Q"VWJX/@UO

Y *-,J)+*-,. 03[Z]\K3GFH8JI^9<17;`_/M7MaVWJX/@UO b <dcegf:hji#k[lUmnilJo<o%pPq(r[iGsJmutpJv >@/AB7wgL/M7AB(NPwRJS(TPSUwxVWJX/@ < b y{zg|J}g~~+€‚„ƒ \^1/…5†zˆ‡^‰JŠ y{zg|J}g~u~ ‹„Œ€-C?F<1/…#Ž/=†z‡Š y{zg|J}g~~+=‘Œ‹-C’/IK6IK=†zˆ‡{“/Š

y{z |a}g~~ 3”„=aC•+–P€4\K=†zˆ‡n—UŠ

b <d˜iG™4i^šjvnpPf:e"™ ›B< b €-CœF<FH• –U€4\^=žŸ37  ‰ JKNPW _ @'CE~f"IHVOLKNOM _ JKT > A X,MPLKŽ;JRI]N¡  /gx!^ $ ¢5£(¢ ¤¦¥§+¨[©«ª§+¨(¥¬ => JRX X@BQ’T,JKMPI3i _ @BX@BIT,XV¾X > M _ T@7VOA„isLK@Oˆ ®°@UXi@BQSJK…»Z!V¾N _ Vai > _ @S _ JKT@X,Z;XT@BA T > VaTVaTT,VOQ > @BX~VOLRL@;i _ @BX,X,JKMPIX JRI´T > @HX,T,VaT@BA3@BIT3LRJRXTMO….VŒi _ M;Q’@BjsW _ @ƒTM°T > @oi _ M7Q’@BjW _ @ƒMO[]`b@BQ’TSˆ => @oX,JRA3i³LK@‚N _ Vai > _ @S _ JKT@HXZ7XT@BA JRI ‰ JKNPW _ @°pvQ’MPIX,JRX,T,X!MPILKZ«MO…"MPI]@ _ WLK@%¡   "!# $"x­;ˆ => @„•sNPW _ @ƒQ’MPIT,VOJRIXT > @ _ WsLK@ƒJRI´TÕ~M …†M _ A„XBˆ = MT > @vLK@S…†T5T > @vM _ JKNPJRIVOL _ @S _ JKT@ _ WLK@vJRX!j _ V€UIˆ Ä …UV _ WLK@ƒMPILKZ±VOjjX'@Bj]NO@BXS” +@ƒQSVOIÁVOLRX,MŒWsX@ƒV X > M _ T > VOIj‚…»M _ AH”l > JRQ > j _ V€UX~T > @ _ Wmail protected]ŽaV _ JRVOIlTgisV _ T~MPILKZ„MPIQ’@O”]VOIjƒT > @.VOjsj]@Bj„@BjNO@BX+V _ @½jsVOX > @Bjˆ => JRX X,JRA„isLRJΕs@BXgT > @'Xi@BQSJΕ³QSVaT,JKMPIXSˆ ®°@¾VOX,X*WA3@T > VaT~T > @½JRIT@ _ A3@BjJRVaT@ _ @Si _ @BX@BIlT,VaT,JKMPIƒi _ M€Ž7JRj]@BX+T > @UMO[]`b@BQ’T+TªZ;i@BX¯®E°?±²;” ³´+±² µ”?¶+· ¸?·”VOIj ¹º » °³”VOX+~@BLRLVOX~T > @½jJ _ @BQ’T@Bj _ @BLRVaT,JKMPIX¼³´+±² µ½;”?¶+·+¸¾·½;”lVOIj ¹º » °½;ˆ¼   /gx!^ $4x­½VaTT,VOQ > @BX VOLRLY@;i _ @BX,X,JKMPIX"MO…VOLRLþXT,VaT@BA3@BIT,X.JRIV‚i _ M7Q’@BjW _ @'JRIlTMvV‚jsJ _ @BQ’T@Bj _ @BLRVaT,JKMPIÀ¿´E´ ¹º» °½+JK… VOI9@BjNO@Á³´+±²-µ½ @]JRXT,X[@STª+@S@BIºVŒi _ M;Q’@BjW _ @®E°¾±¾²VOIj´VŒ[sLKM;Qó´ ±¾²-µ³”~VOIj±T > @ _ @HJRXVOIÁ@Bj]NO@Ķ+· ¸?·½H… _ MPAų´ ±² µ¼TM¼V XT,VaT@BA„@BIlT]¶%· ¸¾·³”þVOIj°T > @ _ @‚JRXVOI¼@BjNO@ ¹ º» °9… _ MPAƶ+· ¸?·TMVOI¼@7i _ @BX*X,JKMPI ¹º » °s”YT > @BI°T > @ _ @„UJRLRL[@3VOI @Bj]NO@Ç¿´´ ¹º » °½!… _ MPAÈ®°¾±²TM ¹º» °³ˆ =U> WX"T > @5MPILKZVOQ’T,JKMPIŒ > JRQ >   / "!^ $¾i@ _ …»M _ A‚XUJRX TM„VOjsjo@Bj]NO@BXMO…LRVa[@BL«¿´´ ¹ º» °½TM‚T > @ > MPXTUN _ Vai > ˆ c¾W _ VOJRAÂJRXTMNO@BI]@ _ VaT@ƒMOiT,JRA„JK‡S@ _ XVOIj«MOiT,JRA„JK‡S@ _ isV _ T,X'VOW]TMPA„VaT,JRQSVOLRLKZ … _ MPA Xi@BQSJΕ³QSVaT,JKMPIXSˆ =U> WXB” NPJKŽO@BIoT > JRXgN _ Vai > _ @S _ JKT@¾XZ7XT@BA9”;V5i _ VOQ’T,JRQSVOL¿MOiT,JRA„JK‡S@ _ NO@BI]@ _ VaTM _ X > MPWLRjƒNO@BI]@ _ VaT@VOIv@7@BQSW]T,Va[sLK@¾i _ M;Q’@’‘ jW _ @TM[@@BA5[@Bjj]@BjJRITM'V'Q’MPA3isJRLK@ _ ˆc. /2143 146´JRXX,WQ > V¾TM;MPL¸”]VOIj3‰ JKNPW _ @½CQ’MPIT,VOJRIX~T > @ULRVBZOMPWT~MO…T > @ Q’M7j]@‚JKT'NO@BI]@ _ VaT@BX5…†M _   / "!^ $Oˆ„‰]M _ MPW _ @]VOA3isLK@‚~@ƒVOX,X,WA„@T > VaTT > @3NPJKŽO@BI _ @BLRVaT,JKMPIX V _ @ _ @Si _ @BX@BIT@BjvVOXÃX@ST,XÃMO…YI@BJKN > [M _ X@ST,XÃJRIvMO[]`b@BQ’T,X $¸jJ _ @BQ’T@BjvN _ Vai > X+UJKT > @BA5[@Bjj]@BjƒI]@BJKN > [M _ X@ST,X!',ˆ~f"X VOLRLsMO[]`¦@BQ’T,XB” > JRQ > A‚VBZ![@A„VaT,Q > @Bj3[;Z  /gx!^ $4x­;”PA!WXT[@ _ @BVOQ > Va[sLK@"… _ MPAkV¾i _ M7Q’@BjW _ @ Ž7JRVHT > @ƒj]@SisJRQ’T@Bj _ @BLRVaT,JKMPIXS” +@‚X,JRA„isLKZNO@BI@ _ VaT@ƒX,@SŽO@ _ VOLLKM;MOisX'M€ŽO@ _ T > @ _ @BLK@SŽaVOIT'I]@BJKN > [M _ X@ST,XSˆ Ä I¼MPW _ QSVOX@T > @ _ WLK@!T@BXT¾Q’MPIjJKT,JKMPI¼JRX½ŽO@ _ ZX,JRA3i³LK@% > @BI]@SŽO@ _ +@ > VBŽO@@BI;WA„@ _ VaT@BjŒVoX,WJKT,Va[sLK@!i@ _ A!W]T,VaT,JKMPIMO… I]M7j]@BX $¸V¼¥– –,˜ ',”Y~@‚j _ VB VOI¼@Bj]NO@[@STª+@S@BI¼T > @QSW _,_ @BIlTˆ®E°?±²z‘ªI]M;j@5VOIjŒT > @3QSW _,_ @BIT ¹ º» °P‘ªI]M7j]@Oˆ Ä …+~@ LKM;M°VaTT > @ _ @BX,WsLKT,JRI]NHVOLKNOM _ JKT > A X,W]i@ _ •³QSJRVOLRLKZO”üJKT > VOXQ’MPXTÊÉ5$Ë®°¾±¾²Ë{˳´+±² µ½Ë{Ë<¶%· ¸?·5Ë{Ë ¹º » °«Ë',ˆUMz~@SŽO@ _ ”þJRI A„MPXTÃJRIlT@ _ A„@BjJRVaT@ _ @Si _ @BX@BIT,VaT,JKMPIXÃT > @A„@BIlT,JKMPI]@Bj _ @BLRVaT,JKMPIXņM _ A V!T _ @S@’‘ªLRJO@5XT _ WQ’T,W _ @½ > JRQ > i³V _ T,JKT,JKMPIX T > @MO[]`¦@BQ’T,XBˆ => WXÃ+@NO@STUV3LRJRI]@BV _ VOLKNOM _ JKT > A JRIoT > @I;WA5[@ _ MO…þ@7i _ @BX,X,JKMPIsXSˆ

Intermediate code

Transformation

Frontend

Backend

....

Analysis 1

Analysis n

IC+information

Intermediate code’

Specification

Specification

Specification

generates

generates

generates

‰ JKNPW _ @9rEo®°@ _ @SNPV _ j´T > @oMOiT,JRA‚JK‡BVaT,JKMPIÁi _ M7Q’@BX,X3VOXV°X,@B\W]@BIsQ’@oMO…"N _ Vai > _ @S _ JKT@HXZ7XT@BA VaisisLRJRQSVaT,JKMPIXSˆ => JRQ v[M 7@BXV _ @i > VOX@BXà > JRQ > V _ @NO@BI@ _ VaT@BjH… _ MPA Xi@BQSJΕ³QSVaT,JKMPIsXSˆ ¢5£
 ©%©¨  ¥ˆ§ ¾§ ¥ ® > @BIƒ~@½Xi@BQSJK…†Zi _ MON _ VOAVOIVOLKZ7X,JRXÃVOIj‚T _ VOIX…†M _ A„VaT,JKMPI„UJKT > N _ Vai > _ @S _ JKT,JRIN+@½VaTT,VOJRIvV5WIJK…†M _ AkŽ;JK@S MO…T > @ÃJRIlT@ _ A3@BjJRVaT@LRVOI]NPWsVaNO@UVOIj!T > @VOIVOLKZ7X,JRX JRI…»M _ A‚VaT,JKMPIü@SŽO@ _ ZT > JRINJRX _ @Si _ @BX@BIT@Bj3VOX N _ Vai > XS”PVOIjVOLRL VOQ’T,JKMPIX¾V _ @'j]MPI]@'[ZoN _ Vai > _ @S _ JKT,JRI]N]ˆ Å M _ @SMzŽO@ _ ”~@5QSVOIŒXisLRJKT"VOIsj9Q’MPVOLK@BX,Q’@3Xi@BQSJΕ³QSVaT,JKMPIsX"@BVOX*JRLKZO” > JRQ > @BIVa[³LK@BX'A„M;jWsLRV _ Q’MPA3iMPX,JKT,JKMPI MO…gi _ MON _

VOA MOiT,JRA„JK‡BVaT,JKMPIsXSˆ UMz~@SŽO@

_ ”  > @BI«~@ƒJRIQ _ @BVOX@ƒT > @„I;WA5[@ _ MO… _ WsLK@BXS” ~@vA„V€Z°@BVOX,JRLKZ«Xi@BQSJK…†Z¼I]MPI7‘“T@ _ A‚JRIVaT,JRI]NHM _ I]MPI7‘ªj@ST@ _ A„JRIJRX,T,JRQ3XZ7XT@BA„XSˆ => WsXJKT!JRX[@STT@ _ TMjJΑ Ž7JRj]@.T > @"MOisT,JRA„JK‡BVaT,JKMPIvi _ M7Q’@BX,X+JRIlTMV5X@B\;W]@BIQ’@.MO…¿N _ Vai > _ @S _ JKT@½XZ7XT@BA VaiisLRJRQSVaT,JKMPIXg > JRQ > V _ @½X@SisV _ VaT@ VOIj«T > WsXX,A„VOLRLK@ _ $¸‰þJKNPW _ @ƒr(',ˆ8VOQ > MO…gT > @BX@„N _ Vai > _ @S _ JKT@„XZ7XT@BA„XNO@BI]@ _ VaT@BX5Voi _ M7Q’@BjW _ @3JRI«T > @„JRA3‘ isLK@BA„@BIlT,VaT,JKMPI«LRVOI]NPWVaNO@3MO…+T > @3Q’MPA3i³JRLK@ _ ”¿VOIjŒT > JRX½i _ M;Q’@BjW _ @JRX¾QSVOLRLK@Bj¼… _ MPA T > @3A„VOJRIŒQ’MPA„isJRLK@ _¾_ MPW]T,JRI]@ Vaii _ MOi _ JRVaT@BLKZOˆ =U> @½MOiT,JRA„JK‡BVaT,JKMPI9i _ M7Q’@BX,XÃXT,V _ T,XgUJKT > V!N _ Vai > NPJKŽO@BIo[;Z‚T > @½… _ MPITb‘“@BIj”] > JRQ > JRXgT > @Va[sXb‘ T _ VOQ’T¾XZ7IT,VT _ @S@5M _ T > @5JRIT@ _ A„@BjJRVaT@Q’M;j]@!X@B\;W]@BIQ’@Oˆ½‰ J _ XT.i _ MON _ VOA VOIVOLKZ7X,JRX½JRX.i@ _ …»M _ A„@Bjˆ = Zi³JRQSVOLRLKZ T > JRXUJRXÃjJKŽ;JRj@BjoJRIlTM3X@SŽO@ _ VOLN _ Vai > _ @S _ JKT@XZ;X,T@BA„XS”]VOA3MPIN' > JRQ > V _ @¾MPI]@¾M _ X,@SŽO@ _ VOL¿jVaT,V£‘4"sMz VOIVOLKZ7X@BXSˆ => @BIT > @T _ VOIX…†M _ A„JRIN„N _ Vai > _ @S _ JKT@3XZ7XT@BA„X½QSVOIŒ[@5VaisisLRJK@Bjˆ'f"…†T@ _ XMPA3@!JKT@ _ VaT,JKMPIXMO…~VOIVOLKZ7X@BXVOIj T _ VOIsX…»M _ A„VaT,JKMPIXÃT > @A3M7jJΕs@BjoQ’M7j]@JRX > VOIsj]@BjvM€ŽO@ _ TM3T > @¾[sVOQl‘“@BIsjˆ =U> @VOj]ŽaVOIlT,VaNO@BX"MO… T > JRXX,Q > @BA3@'V _ @T > @…†MPLRLKM€"JRI]N]ˆ+‰ J _ X,TS”sV3X,WJKT,Va[³LK@XisLRJKTUJRITM‚X*A„VOLRLK@ _ N _ Vai > _ @S _ JKT@ XZ7XT@BA‚X"JRXMPLRVaT@BXI]MPI7‘ªQ’MPI-"³W@BIQ’@@@BQ’T,X¾VOIjzM _½_ @BXMPLKŽO@BX¾IMPI7‘“T@ _ A„JRIsVaT,JKMPIˆ½d;@BQ’MPIsj”³…†M _ X,A„VOLRLK@ _ XZ7XT@BA„X +@HQSVOI´MO…»T@BI´NO@BI@ _ VaT@9LRJRI]@BV _ M _ \;WVOj _ VaT,JRQvVOLKNOM _ JKT > A„X![@BQSVOWX@oX,A‚VOLRLK@ _5_ @S _ JKT@oXZ7XT@BA„X5MO…†T@BI > VBŽO@HV LKMz~@ _ ·O¥ l–S¥gT > VOIH[sJKNONO@ _ MPI]@BX $¸X@BQ’T,JKMPI°n(',ˆ => J _ j¿”]T > JRXUjJKŽ7JRX,JKMPIo[ _ @BV ;XUT > @MOiT,JRA‚JK‡BVaT,JKMPI9T,VOX Hj]M€UI9JRIlTM Q’MPA„iMPI@BIlT+i _ MO[sLK@BA‚X > JRQ > QSVOIv[@½XMPLKŽO@BjoJRIj]@Si@BIj]@BIT,LKZOˆ Ä …¿~@¾j]MI]MOT+•³Isj‚V5N _ Vai > _ @S _ JKT@¾XZ;X,T@BA …»M _ VvQ’@ _ T,VOJRIŒT,VOX”M _ XMPA3@!j]@SŽO@BLKMOi@BjŒXZ7XT@BA T,W _ IX"MPW]T.TMv[@5TM;MvX*LKM€”+@5QSVOI°VOLKgVBZ7XX,WXT,JKT,W]T@!JKT½[Z9V > VOIsj7‘“ _ JKTT@BI¼VOLKNOM _ JKT > AHˆ Ä I°VOIZ@SŽO@BITS” T > JRXJRX¾T > @„QSVOX@3…†M _ T > @3… _ MPITb‘“@BIj¼VOIj¼T > @[sVOQ ‘“@BIj T > @SZ°V _ @ JRA„isLK@BA3@BIT@BjoVOXUWX*WVOL¸ˆ Ä I°M _ j@ _ TM9A‚V O@3T > JRXX,Q > @BA3@+M _ ”þVOLRLXi@BQSJΕs@Bj¼VOIj > VOIj7‘“ _ JKTT@BI«VOLKNOM _ JKT > A„X > VBŽO@‚TM _ @S…†@ _ TMV WIsJK…»M _ A jVaT,VA3M7j]@BL;MO…T > @UJRIT@ _ A3@BjsJRVaT@ _ @Si _ @BX,@BIlT,VaT,JKMPIˆ =U> @ _ @S…†M _ @ÃT > @Õ _ XT XT@Si3MO…T > @UA„@ST > M7jQ’MPIX,JRXT,X

MO…þj]@SŽO@BLKMOisJRI]NV PšOž“š‚­· l– üM _ ¤O¥bšŸ§™vœ’¶S™7–S­š…†M _ T > @½JRIlT@ _ A„@BjJRVaT@ _ @Si _ @BX,@BIlT,VaT,JKMPI  d]Q > m7p!  d;®
mOn“ˆ®°@ > V€ŽO@TM„A„M;j@BL³T > @…»MPLRLKMzUJRI]N¾ paˆ"T > @TÕZi@BX"MO…N _ Vai > IM;j]@BXBˆgf.A3MPIN3T > @BX@5V _ @'JRIT@ _ A3@BjsJRVaT@'Q’M7j]@'JRIX,T _ WQ’T,JKMPIX.X,WQ > VOX"@;i _ @BX,X,JKMPIXS” XT,VaT@BA3@BIT,XS”LKM;MOisXS”ÃVOIj²i _ M7Q’@BjW _ @BXSˆ‹f"LRX,M«i _ @SŽ7JKMPWX,LKZÁVOIVOLKZ;‡S@Bj‹JRI]…»M _ A„VaT,JKMPI²QSVOI$[@o@BIQ’M7j]@Bj²JRI I]M7j]@BXgMO… N _ Vai > XS”]@OˆN]ˆsŽ£V _ JRVa[³LK@j]@’•³IJKT,JKMPIsXS”M _ @7i _ @BX,X*JKMPIo@B\WsJKŽ£VOLK@BIQ’@5QSLRVOX,X@BXSˆ C;ˆ"T > @„TÕZi@BXMO…ÃN _ Vai > @Bj]NO@BX $ _ @BLRVaT,JKMPIX!',ˆ9®°@ > V€ŽO@‚TMA3M7j]@BL VOLRL~i _ @BjJRQSVaT@BX'~@‚UJRX > TMJRI]…†@ _ Va[MPW]T T > @vi _ MON _ VOA9” J¸ˆ@OˆT > @ _ @BLRVaT,JKMPIX[@STÕ~@S@BI´T > @vMO[]`b@BQ’T,XMO…"T > @oJRIlT@ _ A„@BjJRVaT@ _ @Si _ @BX@BIlT,VaT,JKMPI¿ˆ´d;MPA„@ @7VOA„isLK@BXþV _ @ _ @BLRVaT,JKMPIXX,WQ >

VOX QSLRVOX,X,JRQSVOL "³M€Áj]@Si@BIj]@BIQSJK@BXB”£@B\;WJKŽaVOLK@BIQ’@

_ @BLRVaT,JKMPIXS”PQSVOLRLRJRIN _ @BLRVaT,JKMPIXS” M _ Q’MPIT _ MPL "sMz _ @BLRVaT,JKMPIXSˆ f"LRXMÁT > @¼JRI]…»M _ A„VaT,JKMPI¨T > @°… _ MPITb‘“@BIj¨i _ M;jWsQ’@BXS”U@OˆN]ˆ"@;i _ @BX,X,JKMPIT _ @S@ iMPJRIlT@ _ JRINM _ XT,VaT@BA„@BIlTULRJRX,T,XS”sA!WXTg[@A3M7j]@BLK@Bjˆ  @S…†M _ @Ã+@gj@BA3MPIXT _ VaT@+T > @+iMz~@ _ MO…MPW _ Xi@BQSJΕ³QSVaT,JKMPIA3@ST > M7j'UJKT > X@SŽO@ _ VOL7@]VOA3isLK@BXþ+@j]@’•³I]@gXMPA„@ T > @SM _ Zƒ > JRQ > @BIsX,W _ @BXgT > VaTUT > @NPJKŽO@BIHN _ Vai > _ @S _ JKT@XZ7XT@BA„Xg[@ > V€ŽO@i _ MOi@ _ LKZOˆ   
 *-!+, "- "

(-!%UB "
kk  => JRX+X,@BQ’T,JKMPIoj]@’•³I]@BX~MPW _ I]MOT,JKMPIƒMO…¿N _ Vai > _ @S _ JKT@.X,Z;XT@BA9”;X,MPA3@½I]@S$T@ _ A„JRIVaT,JKMPIƒM _ j]@ _ JRI]NPXS”7VOIjœŸž¡¥bšOž¡ µ ¶(šOž¡ †·P¹MO…N _ Vai > _ @S _ JKT,JRI]N]ˆ =U> @ _ @BX,WLKT,JRI]N¾N _ Vai > _ @S _

JKT@ÃXZ7XT@BA QSLRVOX*X@BXQSVOI![@ÃWX@BjI]MOT MPILKZ5…†M

_ i _ MON _ VOA VOIVOLKZ7X,JRX[sW]T¾VOLRXMH…†M _ T _ VOIX,…»M _ A‚VaT,JKMPIˆ‰ J _ XT¾+@3j]@’•³I]@3XMPA„@I]@S QSLRVOX,X@BXMO…+T@ _ A„JRIVaT,JRI]NvN _ Vai > _ @S _ JKT@

XZ7XT@BA‚XS”üQSVOLRLK@Bj‹– €¤l– ¦š1O †ž¡ »¢a–’”g– €¤l– “œ’› Sž¡¥bšP¶Bž¡ †¢£–S”üVOIj´œ’›Bž¡¥¦šl¶Bž¡ †¢£–½N

_ Vai > _ @S _ JKT@‚XZ;X,T@BA„XSˆ!fkX*W][QSLRVOX,X½MO… @Bj]NO@’‘ªVOjsjJKT,JKŽ[email protected],Z;XT@BA‚X V _ @5– €¤l–š11O †ž¡ †·P¹H¥b–B©¥( †žª–"œ’¬€œ’žª–S­'œ  flmOn£[ “ˆ => @BI+@i _ @BX@BIlT~V!œŸž¡¥bšOž¡ µ~¶*šOž¡ ¸·O¹ > @BW7‘ _ JRX,T,JRQ¾…»M _ N _ Vai > _ @S _ JKT@XZ7XT@BA„XB”] > JRQ > NPJKŽO@BXUV3WIsJR\W]@X,@BA„VOIT,JRQSXÃTM„A„VOIZvI]MPI7‘ªj]@ST@ _ A‚JRIJRXT,JRQ¾XZ7XT@BA‚XSˆ £(¢  +ª      ¨G§%¨a¬   y€{üw => _ MPW]N > MPW]TÃT > JRXÃisVai@ _ ~@'Q’MPIX,JRj]@ __ @S _

JKT,JRI]NPXUMO… O †¥–,¶Bžª– +¥– KšOž¡ ¸·O¹sšã”VOIj Kš *– K– N

_

Vai

>

XSˆ

vÈ! #"%$»x$†Ì" '&

–Sž)( *– šoµ¹s »žª–°œS–Bž„· #¼¶*·O¹]œŸž“šO¹ž†œ*Hž†™7–LRVa[@BLRX,+-(À Ñœ°ž†™7– O œ/.’›;¹³¶Bž3›7¹ ¸·O¹Š· #°ž¡© ·ÁœB–Sž†œ

(102(43657(489Už†™7–'I]M;j@šO¹ ‚@Bj]NO@3LRVa[@BLRX:+<;ü™7–S¹´š $

_

@BLRVaT,JKMPIVOL'=(+‘?>!@BA CEDGFH0 $IKJMLNJMOQPASR '¶(·O¹7œ’ Ñœ’ž†œ‚· #

ž†™7– #S·ηP© »¹¤T+

U

+VI  Ñœ'š"µ¹s »žª–œS–Bž+·#UI]M7j]@BX:+

W

+YX·l–ŸœšO¥– Kš (– R– ƒ© »ž†™*Kš *– åœ!#’¥¦·O­2(43 B¬3š%#’›7¹s¶Bž¡ ¸·O¹ZOQPASRTI\[](43^+`_9–'¶*š ¿š3¹³· l–'© »ž†™*Kš *– aP

PbÕ¹s·l– +c;ü™7–œB–Sž%I)dE0e OgfhIŒËOQPASR$O '%0iPkj^l6I · #5š Pk¦¹s· –Ÿœ #S·O¥Ÿ­œ'š5I]M7j]@j]MPA‚VOJRIm+

n

+o;ü™7–U@Bj]NO@BXVLpl $Irq`Isqh( '%0e Ltdml6IuqoIvj d

Bwax

 œš #SšO­! ά„· # S †¹sšO¥Ÿ¬

_

@BLRVaT,JKMPIX·O¢a–S¥4Isq`Iy

©þ™7–S¥––,šl¶’™– z¤l–YzYfKL  Ñœ Kš *– K– )S¬„š{P%f|( 8 +o_9–5¶(šYšO¹¼– €¤–5© »ž†™)Kš *– P9Pb– €¤– +

Ä A3i³LRJRQSJKT,LKZVOX,X,M;QSJRVaT@Bj UJKT > F V _ @3X@SŽO@ _ VOL…†WIsQ’T,JKMPIXSˆ}z PASRÇL~[(48$i _ Ma`b@BQ’T,XVOI¼@Bj]NO@3TM9JKT,XLRVa[@BL¸ˆ => @ņWIsQ’T,JKMPIX€,‚ƒ@B„…z†Jˆ‡ˆAT@,>Sz…‡`TL1[‰I i _ MzŽ;JRj]@"XMPW _ Q’@UVOIsj!T,V _ NO@ST+IM;j]@BX …†M _ @BjNO@BXSˆ ®°@"X,V€Z5T > VaTŠzYfKL—JRX  †¹s¶B ,l–B¹ž7TM^€:‚ƒ@B„…z$‹z 'üVOIj{‡ˆAT@,>Sz…‡!$‹z '¿ > JRLK@€:‚ƒ@†„…z $‹z'üVOIjŒ‡ˆAT@,>Sz…‡!$‹z 'YV _ @š1.SšP¶(–B¹ž¸ˆ f.LRL]VOja`bVOQ’@BIT I]M7j]@BXþMO…V I]M7j]@¾V _ @QSVOLRLK@BjHJKT,X¹³–S R¤£™-*·O¥½œB–Sž¸ˆ =>

@½…¸WIQ’T,JKMPI° †¹a l–ª¤P¥b–(–4TIŽ[IMO…þVIM;j]@½JRXÃT

>

@¾I;WA5[@

_

MO…þJRIQ’MPA„JRI]N

JRIQSJRj@BIlT@Bj]NO@BXo †¹a l–ª¤P¥b–(–$O ')0 ˑe,zyfiL¡ˆAT@,>Sz…‡!$‹z '{0’OjË㈱d7JRA‚JRLRV

_ LKZ«j]@’•I]@‚T > @ƒ…¸WIQ’T,JKMPI¨·O›7ž? l–ª¤P¥b–(–!TM [@vT > @oIWsA'[@ _

MO…UMPW]TNOMPJRIN¼JRIQSJRj]@BIT@Bj]NO@BXH·O›7ž?–ª¤O¥–*– $O 'Œ0 ˑe,z“f
LÂ˔€,‚ƒ@B„…z$‹z'•0’OjË㈠f¯IM;j]@ƒUJKT

>

 †¹a l–ª¤P¥b–(–$O '=0H–JRX5QSVOLRLK@Bj¥¦·€·Ož¸ˆ

Ä …ÃI]@BQ’@BX,X,V _ ZO”~@ƒJRIj]@¼T > @ƒQ’MPA3iMPI]@BIT,XMO…Vg(~‘“N _ Vai > F~0 $IŒ—JMLt—J OQPASR — ',”@;T@BIj‚T > @…¸WIQ’T,JKMPIsXOQPA˜R+VOIjZz PA˜RgTM'X@ST,XMO…JKT@BA‚XS”VOIsj3WX@ †¹a l–ª¤P¥b–(–~VOIj9·O›7ž? l–ª¤P¥b–(– _ @BXT _ JRQ’T@Bj TM„X,i@BQSJΕQ¾@Bj]NO@LRVa[@BLRXSˆ

egMPIlT _ V _ ZTM¾MOT > @ _ Vaii _ MPVOQ > @BXJRI!T > @gLRJKT@ _ VaT,W _ @Ã+@gjM½IMOT j@BVOL"JKT > V _ [sJKT _ V _ Z5A5WsLKT,JΑ“N _ Vai > XSˆ  @BQSVOWX@ L2l $Iq I qV(48 ',”O[@STÕ~@S@BI5Tª+M¾I]M7j]@BXYX,@SŽO@ _ VOL;@Bj]NO@BX V _ @+VOLRLKMz~@Bj¿” > M€+@SŽO@ _ ”PT > @BJ _ LRVa[@BLRX A!WXT¿[@+jJRXT,JRIQ’TSˆ ‰]M _ T > @'isW _ iMPX@BXgMO…MOisT,JRA„JK‡BVaT,JKMPIŒJKT"JRX.I]MOT"I@BQ’@BX,X,V _ ZoTMƒVOLRLKM€X@SŽO@ _ VOLY@Bj][email protected]… T > @'X,VOA„@LRVa[@BL¿[@STª+@S@BI TÕ~M„IM;j]@BXx@Bj]NO@BX _ @Si _ @BX@BIlTÃi _ @BjJRQSVaT@BXÃMPIoT > @BJ _ XMPW _ Q’@VOIsjvT,V _ NO@STUI]M7j]@½MO[]`b@BQ’T,XS”sVOIjoV!i _ @BjJRQSVaT@@BJKT > @ _ > MPLRjsXUM _ j]M;@BX"I]MOT > MPLRjˆ UMz~@SŽO@ _ ”¿JKT½JRX"ŽO@ _ Z9JRA3iM _ T,VOITTM > VBŽO@jJ@ _ @BIT _ @BLRVaT,JKMPIX.[@BQSVOWsX@+@'gVOIT"TM _ @Si _ @BX@BIT5jJ@ _ @BIT 7JRIjXMO…UJRI]…†M _ A„VaT,JKMPIˆc¾I¼T > @ƒMOT > @ _ > VOIj” VOLKT > MPW]N > VaTT _ JK[sWT@BX'…†M _ I]M;j@BXA„V€Z°[@ JRIT _ M7jWQ’@Bj”¿T > JRX¾JRXLK@S…»T¾MPWT¾…»M _ T > @3X*V O@MO…+X,JRA„isLRJRQSJKTªZOˆ Ä …~j]@BX*JKNPI]@Bj¼QSV _ @S…¸WLRLKZ$†MPILKZJRIT@SNO@ _ ŽaVOLRW]@BXS”üMPILKZ A‚VaT,Q > JRI]N5JRI _ WLK@BX!',”7I]M;j@UVaTT _ JK[sW]T@BX+j]M5I]MOT~Q > VOI][email protected] > @ _ @BX,WLKT,X MO[sT,VOJRI]@BjvJRI3T > JRX~isVai@ _ ”l[@BQSVOWX,@UT > @SZ3QSVOI [@X@S@BIVOXÃ@;T@BIsX,JKMPIHMO… T > @I]M7j]@LRVa[@BL¿X@ST (43½ˆ d7@SŽO@ _ VOLMOi@ _ VaT,JKMPIX+MPIh(~‘“N _ Vai > XgV _ @¾XT,VOIsjV _ j‚@;T@BIX*JKMPIXgMO…üX@STgMOi@ _ VaT,JKMPIXgMzŽO@ _ I]M;j@BX+VOIsj„@Bj]NO@BXBˆf (~‘“N _ Vai > F
0
F ‰ 5oF  JRXUQSVOLRLK@Bj«›7¹ ¸·O¹MO…F ‰ VOIj|F 

”JK…#F 0 $I{—
5ZI{—:JMLt—
5}Lt—,JMOQPA˜R —
%5NOQPASR — ',ˆ

d7JRA‚JRLRV _ LKZ3j]@’•³I@T > @=(~‘“N _ Vai > ‘ªJRIT@ _ X@BQ’T,JKMPI«VOIj3T > @Y(~‘“N _ Vai > ‘ªJRIQSLRWX*JKMPI¾ˆ => @ O  .–S¥–S¹³¶(–ŠF 0
F ‰ F  MO…F ‰ VOIj F  JRX F10 $Ir0 I —
I — ,JMLÂË3^JOQPASR —
Ë3 ',ˆ => @X,@STUMO… VOLRL#(~‘“N _ Vai > XUM€ŽO@ _ (¨JRX.QSVOLRLK@Bj  w ˆ => @X@STMO…VOLRL (~‘“N _ Vai > XÃM€ŽO@ _ V!• 7@BjHX@STMO… I]M7j]@BX I ” w 3 ‘0 $ w Ë3=J*5ŠJ ',”…†M _ A„XÃV5•³IsJKT@LRVaTT,JRQ’@Oˆ f-(~‘“N _ Vai > ‘ªA3M _ i >

JRX,A’> mF-[ Q’MPIX*JRXT,XMO…gTÕ~M…†WIsQ’T,JKMPIX > 3 QI — [IkVOIj7> 8 QL — [ L

 > JRQ > …¸WLΕ³LTÕ~MƒQ’MPIjJKT,JKMPIX" /†{su È/YyzÈ;wBÈ;y]{]x$†Ì"

O7fhI —  OQPA˜R $/>B3$O ''0'OQPASR — $O ',”

 z=fhL — !z:PA˜R$/>B8;$‹z ''#0
z:PASR — $‹z' $?"ü|!$†ÍþÈS"ü|PÈ|þyzȝwBÈ7y7{x$†ÌE" z\f Lt— y€:‚ƒ@†„…z 8 $/> 8 $‹z''0 > 3 $‹€,‚ƒ@B„…z 8 $‹z'',”h‡ˆAT@,>Sz…‡ 8 $/> 8 $‹z''0 >B3 $‡A!@,>Sz ‡ˆ8  $‹z'' Ä …[MOT > > 3 VOIjy> 8 V _ @vJRIa`b@BQ’T,JKŽO@O”#>«JRX'QSVOLRLK@Bj¨ †¹….B–,¶€ž¡ »¢a–’ˆ Ä …Ã[MOT > > 3 VOIjy> 8 V _ @vX,W _ `¦@BQ’T,JKŽO@O”#>¼JRX!QSVOLRLK@Bj œ’›;¥/.B–,¶Bž¡ †¢£–Sˆ Ä …#>JRX¾JRIa`b@BQ’T,JKŽO@„VOIjŒX,W _ `¦@BQ’T,JKŽO@3JKTJRX¾VOI´ œ’·O­·O¥ª§™ œŸ­5ˆ{> 3! :> 8‹V _ @!MO…»T@BI¼@;T@BIj@BjŒTMvX,@ST,X¾MO… I]M7j]@BX½VOIj@Bj]NO@BXSˆ Ä …QSLK@BV _ … _ MPA Q’MPIlT@7TS”> 3! :> 8‹V _ @VOLRXMoQSVOLRLK@Bj >sˆ®°@!MO…†T@BIŒ _ JKT@Œ>SFJRIXT@BVOjŒMO…> $‹F' TM„X*VBŽO@[ _ VOQ O@ST,XSˆ   y€{$y€ÈË‚y†$»x€È9y /†È;w Ä IvM _ j]@ _ TMj]@’•³I@.N _ Vai > _ @S _ JKT@ _ WsLK@BXÃVOIjƒTM3VOLRLKM€—X,MPA3@¾A3M _ @.@7i _ @BX,X,JKŽO@BI@BX,XņM _ T > @BJ _ LK@S…»Tb‘ > VOIjoX,JRj]@BXS” +@¾• _ X,T > VBŽO@TM‚@;T@BIsjoT > @j]@’•IJKT,JKMPIoMO… V}(~‘?>!@BA:CEDˆ vÈ! #"%$»x$†Ì" 
(#";‘“N _ Vai >%$

0 $IKJMLNJaOQPA˜R:JMOmz >SA ‡Mz&('5 œ½š^(Y¸¤P¥¦šŸ§s™ šO›P¤O­3–S¹žª– 5S¬š #’›7¹s¶Bž¡ ¸·O¹H¹³–Õ¤PšOžª– ˆ

LŽ[) ©þ™ ¸¶’™«žª– 眂©þ™7–Sž†™]–S¥‚šP¹²– €¤–•z°· #„ž†™7–„¤O¥bšŸ§™  œ„¹³–ª¤lšOžª– +*¦¹³–Õ¤PšOžª–  $‹z'=0 ž¡¥Ÿ›]–,'+

$ ™;š£œvšŒ¥b– ΚOžª–  ( ¡¤O¥bšŸ§™ $-.,/ © †ž†™ŒšY¹–ª¤PšPžª– – €¤l–’œ'œ’ž¡¥( ç§P§7– 0* $-.,/ 0 $I|JML

e,zNfgLÂËOmz >SA ‡Mz& $‹z'401‡b@†ƒEzBjBJMOQPA˜R1'+ ;ü™7–

œB–Sžg· #'š(#"¡¤O¥bšŸ§™lœ' Ñœ'¶(šK– 32 w4

+

f ¤O¥bšŸ§™º¥–S©¥Ÿ »žª–9¥(›-R–{@g0 $57698 l9:'Q’MPIX,JRXT,X!MO….VK– #Ÿž?ª™;šO¹ °œŸ ,l–;5-f<2 w 4 ”V´¥(›-R–H †¹¢zšP¥( ¸šO¹ž 8f= w *b »¹sžª–S¥ #’šP¶Ÿ–¾¤O¥bšŸ§™'5”VOIjoVo¥Ÿ K¤a™ž?ª™;šO¹ „œŸ ,l–: f= w $¸‰ JKNPW _ @ -',ˆ $U@SNPVaT@Bj9@Bj]NO@BXV _ @¾MPILKZƒVOLRLKM€+@Bj JRI‚LK@S…»Tb‘ > VOIsj‚X,JRj@BX T > @SZ!V _ @"WX@Bj3TMT@BXT+T > @UVa[sX,@BIQ’@UMO…¿X,W[N _ Vai > XBˆ Ä I3T > @NPJKŽO@BI‚•sNPW _ @BXMO…N _ Vai > _ @S _ JKT@ _ WsLK@BX +@UVOII]MOT,VaT@.VI]M7j]@Ã[Z!JKT,XLRVa[@BL¸”;VOIj3JK…I]@BQ’@BX,X,V _ Z5[;Z!VOI„JRj]@BIT,JΕ³QSVaT,JKMPIƒIWA5[@ _ ”PJRIM _ j]@ _ TM'JRj@BIlT,JK…†Z T > @¾X,VOA„@.IM;j]@BX~MPIoLK@S…†Tb‘VOIsj _ JKN > Tb‘ > VOIsjƒX*JRj]@BXSˆ 8VOQ > _ WLK@¾VOLRXM > VOXgV!IVOA3@ $ > @ _ @?>ÊŸ‘*p',ˆ ®°@¾VOLRXM3WX,@"T > @ …†MPLRLKM€UJRIN„T@ _ A‚X"

A

B

C

A

B

D

A

B

C

D

::=

RS-1

a

b

a

c

a

b

c

‰ JKNPW _ @ ¾f"[M€ŽO@% (¿@S…†Tb‘5VOIj _ JKN > Tb‘ > VOIj²X*JRj]@Oˆ
.MzUI$LK@S…†T" _ WLK@9j]@BLK@ST,JKMPI‹JKT@BA„XBˆ
.M€"I²A„JRjsjLK@% _ WLK@ JRIŽ£V _ JRVOIlT  ˆ
.M€UI _ JKN > T" _ WLK@VOjjJKT,JKMPIJKT@BA„X

rule invariant K

left hand side L

right hand side R

redex invariant gK

redex gL

transformed redex gR

g

g

g

‰ JKNPW _ @'nEh@BLRVaT,JRIN„MO… V _ WLK@VOIj9V _ @Bj]@vUJKT > T > @¾M7QSQSW _,_ @BIQ’@Y> I /  $@('j‘0'I  $ _ WLK@T@BXT"I]M;j@BX!' L  /  $@ '`‘0'L $ _ WLK@T@BXTU@Bj]NO@BX!' ( /  3 $@('‘0'OQPASR $I  ' $ _ WLK@T@BXT"I]M;j@LRVa[@BLRX ' (  /  8 $@('‘0
z:PA˜R $L ' $ _ WLK@T@BXTU@Bj]NO@LRVa[@BLRX!' (  /  $@('‘0
(  /  3 5h(  /  8 $ _ WLK@T@BXT"LRVa[@BLRX ' I  $@('j‘0'I  $ _ WLK@JRIŽ£V _ JRVOIlTUIM;j]@BX ' L  $@('‘0'L $ _ WLK@JRIŽ£V _ JRVOIlT@BjNO@BX!' (  3 $@('j‘0'OQPA˜R$I ' $ _ WLK@JRIŽ£V _ JRVOIlTUIM;j]@LRVa[@BLRX!' (  8 $@('j‘0
z PASR  $L  ' $ _ WLK@JRIŽ£V _ JRVOIlT@BjNO@'LRVa[@BLRX!' (  $@('j‘0
(  3 5h(  8 $ _ WLK@JRIŽ£V _ JRVOIlTULRVa[@BLRX!' I($@ '‘0
I I  $ _ WLK@VOjjsJKT,JKMPI9I]M7j]@BX!' L  $@('j‘0iL L $ _ WLK@VOjjsJKT,JKMPIH@Bj]NO@BX!' (  3 $@('‘0'OQPASR  $I  I  ' $ _ WLK@VOjjsJKT,JKMPI9I]M7j]@¾LRVa[@BLRX!' ( 8 $@('‘0
z:PASR $L L ' $ _ WLK@VOjjsJKT,JKMPIH@Bj]NO@LRVa[@BLRX!' (  $@('‘0
(  3 $@('5o(  8 $@(' $ _ WLK@VOjjsJKT,JKMPI9LRVa[@BLRX!' I  d $@('‘0'I I  $ _ WLK@j]@BLK@ST,JKMPII]M7j]@BX!' L  d $@ '`‘0'L  L  $ _ WLK@j]@BLK@ST,JKMPI9@Bj]NO@BX!' ( d 3 $@('j‘0'OQPASR $I  I  ' $ _ WLK@j]@BLK@ST,JKMPII]M7j]@LRVa[@BLRX!' (  d 8 $@('j‘0
z:PA˜R $L L ' $ _ WLK@j]@BLK@ST,JKMPI9@Bj]NO@LRVa[@BLRX!' ( d $@('j‘0
( d 3 $@ 'E5K( d 8 $@(' $ _ WLK@j]@BLK@ST,JKMPILRVa[@BLRX!'  )/†È{%-/?$†|P{x$†ÌE" f _ WsLK@t@=0 $5 6 8 l :'þJRX+VaiisLRJRQSVa[[email protected]M5V{(~‘“N _ Vai > F!”T > @™7·£œŸžY¤P¥¦š’§™l”JK…T > @"…»MPLRLKMzUJRI]NQ’MPIjJKT,JKMPIX > MPLRj ! x " °{x€|†%$?"$# ! w Yu%#³yz{%ºx€È;wSx " ‰ JRIj°VOI«JRIa`¦@BQ’T,JKŽO@o(~‘“N _ Vai > ‘ªA3M _ i > JRX,A~>À5 -.,/ [F”üQSVOLRLK@Bj‹·€¶*¶B›7¥  ¥b–B¹s¶(–Sˆ#> $5 -.,/

'JRXQSVOLRLK@Bj ¥b– l–,˜P”sJKT,XI]M7j]@BX¾¥– l–*˜o¹s· l–’œ(”sJKT,X@Bj]NO@BX¥– l–*˜9– €¤–ŸœŸˆ

 @BQSVOWX@ 5 -.,/ JRXWX@Bj¿” I]@SNPVaT@Bjƒ@Bj]NO@BX+… _ MPA 5´V _ @½I]@SNPLK@BQ’T@Bj”VOIj‚[email protected]M!Va[[ _

::=

A

B

A

B

::=

A:1

A:2

A:1

A:2

A

B

C

::=

A

B

D

GRS-1

GRS-2

GRS-3

a

a

b

NOT c

d

NOT c

d

e

a

f

a

g

‰ JKNPW _ @'qE
Ç5%VX,JRA„isLK@¾N _ Vai > _ @S _ JKT@XZ7XT@BA œŸ› ª¤P¥¦š’§™'MO…F!”]J¸ˆ@OˆsJK…m>B3$I 'JRXÃT > @X@STÃMO… _ @Bj]@oI]M7j]@BX+… _

MPA > 5”I]MOTVOLRLLRJRI ;JRI]N@BjNO@BXÃMO…þIM;j]@BXgJRI

>B3 $I 'ÃI]@S@BjTM‚[@!JRIh> 5Uˆ => @N _ Vai > F > 5¨JRX½QSVOLRLK@BjÁ¥b–’œŸž~¤P¥¦š’§™lˆ 8jNO@BX"… _ MPAŽF > 5JRITMZ> 5 A„V€Z‚@]JRXT $ՙ ,1l–B¹«– €¤–Ÿœ* PšO¹¤㠆¹¤o– €¤l–’œ',ˆ ! x  " "üÈ #³{]x€È;Í$È;Í%#³È9xzȝwSx $‹z}0 $O ‰ JMO  J P ')f L  JB¹³–Õ¤PšOžª– ($‹z ' 0 ž¡¥Ÿ›– ' 0 $/> 3 $O ‰ 'MJ> 3 $O  'MJ P 'Œf6LV—” J¸ˆ@oJK…UVOI6P‘“@Bj]NO@oJRI<LÁJRX!I]@SNPVaT@Bj”~[@STÕ~@S@BI´T > @vQ’M _*_

@BXiMPIjJRI]NI]M7j]@BX!JRIy> 3 $I  '¾IM7P‘“@Bj]NO@oA„V€Z

@7JRX,TSˆ ! x " yzÈ/†{]x†$†ÌE"´|PÌ “ /†ÈlxzÈS"üȝw€wx€È;wSx az}0 $O ‰ JMO  J P'Œf6L ($@('ˆ $/> 3 $O ‰ 'MJ> 3 $O  'MJ P ' f L — J¸ˆ@OˆþI]MOT'VOLRL @Bj]NO@BX > JRQ > T > @VaiisLRJRQSVaT,JKMPIMO…%@5+MPWLRjHVOjjHV _ @VOL _ @BVOj]ZoJRI|Fˆ Ä …@.JRXVaiisLRJRQSVa[³LK@O”!@Uj@ _ JKŽO@BX… _ MPA F‹T > @(~‘“N _ Vai > ¯[Z'i@ _ …»M _ A„JRI]N"T > @g…»MPLRLKMzUJRI]NXT@Si³XJRI!M _ j]@ _ $ O †¥b–*¶Bž l–B¥( †¢zšPž¡ †·O¹oF [  ' !

{ " yzȝÍþÈºÈÍ #sȍÍYÈ /†Èx$†ÌE" f.LRL _ @Bj]@3@Bj]NO@BXÃA‚VaT,Q > @Bjƒ[;Z _ WLK@½j]@BLK@ST,JKMPIv@Bj]NO@BXÃV _ @½j]@BLK@ST@BjL — ‘0'L — >B8;$L  d $@('' ! {  " %$†ÍYÍþÈ "ÁÈ;Í%#³ÈÍþÈ/†Èx$†Ì" f"LRL _ @Bj]@'@BjNO@BX V _ @j]@BLK@ST@Bj„ > JRQ > V _ @UJRIQSJRj]@BITTMI]M7j]@BXA„VaT,Q > @Bj[;Z _ WLK@ j]@BLK@ST,JKMPI9IM;j]@BXxL — ‘0iL — e $O ‰ JMO  J P'fKL — ËO ‰  O  f`> 3 $I d $@(''Mj ! { " "üÌÍYȍÍþÈ/†Èx$†ÌE" f"LRL _ @Bj@‹I]M7j]@BXoA„VaT,Q > @Bj[;Z _ WLK@°j]@BLK@ST,JKMPI I]M;j@BXoV _ @°j]@BLK@ST@Bj6I{— ‘0 I{— >B3 $I d $@ '' ! { " "üÌÍYȍ{ÍþÍ$»x†$†ÌE" fºX,@STþMO…³I]@SÁI]M;j@BXYQ’M _,_

@BXiMPIjJRI]N"TM I  $@('JRX VOjj@BjTM^FÇ I — ‘0'I — 5 e OjË\f

I $@('MJMOQPA˜R — $O '0'OQPASR $ 'Mj

! { " È;Í%#³È{sÍYÍ#$»x$†ÌE" f X,@ST„MO…I]@S @BjNO@BX‚Q’M _,_ @BXiMPIjJRI]N°TM<L  $@(''JRXƒVOjj]@BjÁTM F!”ÃJK…½T > @SZÁV _ @I]MOT VOL _

@BVOj]Z9JRI“F]  ‘0 $I — JML — 5ge $/>B3 $O

‰ 'MJ> 3$O  'MJ P 'PË$O ‰ JMO  J P 'fgL  jBJOQPA˜R — '+ > @ _ @{OQPASR — > VOX [@S@BIHVaii _ MOi _ JRVaT@BLKZo@;T@BIsj]@Bjˆ4L — VOIsjhLV _ @5X@ST,XS”³J¸ˆ@OˆVa…†T@ _ T > @'VaiisLRJRQSVaT,JKMPIMO…@!T > @ _ @"JRLRLüXT,JRLRL

[@.MPIsLKZƒMPI@)P‘“@Bj]NO@[@STª+@S@BIo> 3 $O

‰ 'VOIjo> 3 $O  ',”sXM3T > VaT JRXV3~@BLRLΑ“…†M _ A3@Bj (~‘“N _ Vai > ˆ   y€{$y€ÈË‚y†$»x€ÈHwSÉ¿wSxzȼw

f *b¥b– ΚOž¡ ¸·O¹sš'¤O¥bšŸ§™ƒ¥b–B©¥( †žª–.œ’¬€œ’žª–S­“0 $%J 'þQ’MPIX,JRX,T,XMO…VX,@STMO…N

_ Vai > _ @S _ JKT@ _ WLK@BX¼VOIj„V{(~‘“N _ Vai >  $†T > @‚š€˜P ¸·O­ ',ˆ => @X,@STMO…VOLRLN _ Vai > _ @S _ JKT@XZ7XT@BA„XUJRXQSVOLRLK@Bj! ˆ ‰ JKNPW _ @!q‚Q’MPIlT,VOJRIsX.VOI@]VOA3isLK@'MO… V3N _ Vai > _ @S _ JKT@'XZ7XT@BAHˆ"hUWLK@"Ç5Ÿ‘*p'VOjjX.V$#;‘“@Bj]NO@5[@STÕ~@S@BITÕ~M I]M7j]@BX+UJKT > LRVa[@BLRX¯¿‚VOIsj ³„ > JRQ > V _ @½LRJRI O@Bjo[Z‚VOI&%a‘“@Bj]NO@5$¸VPn(',ˆ'Ç5Ÿ‘*p¾JRXÃIMOTgVaisisLRJK@BjoJK…¿T > @ _ @¾JRXÃVOL _ @BVOjZ

A:R1

A:R2

A:1

A:2

A:3

A:4

NOT c

d

occurrence g

occurrence g

i

d

d

i

d

d

‰ JKNPW _ @  Å VaT,Q > JRI]NMO… ]5Ÿ‘ÕC'TMVOIv@7VOA„isLK@ > MPXTgN _ Vai > ˆf"[MzŽO@¾T > @ _ WLK@O”]j]MzUIƒT > @½N _ Vai > ˆhUWsLK@½IM;j]@BX V _ @'A„V _ O@Bjo[;Zvhp £h"C;ˆ $U@SNPVaT@Bj _ WLK@¾@BjNO@BXT@BXTT > @Va[sX@BIQ’@¾MO… @Bj]NO@BX"JRIoT > @ > MPXTÃN _ Vai >

VOI #;‘“@Bj]NO@ $†T*r(',ˆ Ç5Ÿ‘ÕCƒVOjjsX"VOI
‘“@Bj]NO@![@STÕ~@S@BITÕ~M ¿‘ªI]M7j]@BX$¸VPn('

> JRQ > V _ @I]MOT½VOL _ @BVOj]ZLRJRI O@Bj[;Z9VOI ²z‘“@Bj]NO@)$†T*r(',ˆ  @BQSVOWX,@~@WX@!VOI°JRIa`b@BQ’T,JKŽO@M;QSQSW _,_ @BIQ’@Œ>9JRI _ WLK@!VaiisLRJRQSVaT,JKMPI«Q’MPIjJKT,JKMPI $†TBp',”Q> $^¿ 'VOIj > $^¿-'"A!WX,T.[@3jJ@ _ @BITSˆ Ç5’‘Õr _ @BA„M€ŽO@BXV O‘ªI]M7j]@)$¸VPr('UTMONO@ST > @ _ UJKT > VOI«JRIQ’MPA‚JRI]NP‘“@BjNO@ $¸V]p'.VOIj VOLRLKM7QSVaT@BXVvI]@S l‘ªI]M7j]@$¸V -'g"JKT > JRIsQ’MPA„JRI]NP‘“@Bj]NO@ $¸VPn(',ˆ¾‰ JKNPW _ @;„X > M€"X"VOIM7QSQSW _,_ @BIQ’@5MO…
]5Ÿ‘ÕC‚JRIV iMPX,X,JK[³LK@ > MPXT½N _ Vai > ˆ =U> @ _ WLK@!A„VaT,Q > @BX¾VoI]MPI7‘ªJRIjWsQ’@BjX,W[N _ Vai > Q’MPIT,VOJRIJRI]NoT > @ _ @Bj@I]M7j]@BX¿!VOIj ¿ˆ Ä I°T > JRXisVai@ _ ~@‚WX@3VoXi@BQSJΕ³QN _ Vai > _ @S _ JKT@‚Vaii _ MPVOQ > ˆ $"MPI]@3MO…gT > @3Vaii _ MPVOQ > @BX _ @SiM _ T@Bj¼JRI°T > @ LRJKT@ _ VaT,W _ @¾X@S@BA„XTM5A„@S@STT > @.@;@BQSWT,JKMPI‚@! ƒQSJK@BIQ’Z„Q _ JKT@ _ JRV5 > JRQ > V _ @ _ @B\;WJ _ @Bj‚…†M _ i _ MON _ VOA MOisT,JRA„JK‡BVaT,JKMPIˆ => JRXYQ’MPIQ’@ _ IXþ@BA'[@BjjsJRI]NÃMO… _ WLK@BXB”£NPLRWsJRI]N.Q’MPIsjJKT,JKMPIXS”OVOIj > JRjj]@BI@Bj]NO@BXSˆ ®°@ _ @BXT _ JRQ’TþT > @ _ WLK@+VaiisLRJRQSVaT,JKMPI Q’MPIjsJKT,JKMPIXgTM'T > MPX@"T > VaTgQSVOIƒ[@UT@BX,T@BjoJRI‚Q’MPIX,T,VOIlTgT,JRA3@. > @BI‚V!X@ST~MO…YI]M;j@BXMO…¿T > @ > MPX,T~N _ Vai > JRXgWIj@ _ JRIŽO@BXT,JKNPVaT,JKMPIˆ => WX [email protected]@' †¹¢zšP¥( ¸šO¹ž _ WLK@"@BA5[@BjsjJRI]N   ‰YE¾mOn“”]J¸ˆ@Oˆ[email protected]M'I]MOTgVOLRLKM€ > JRjsj]@BI3@Bj]NO@BX+TM5[@ _ @BjsJ _ @BQ’T@Bj”7XisLRJKTM _ Q’MPVOLK@BX*Q’@Bjˆh@Bj@;@BX~VOLK+V€Z;X _ @S…†@ _ TMV½• ;@Bj3I;WA5[@ _ MO…IM;j]@BXVOIj@Bj]NO@BXSˆ Å M _ @"LRJK[@ _ VOL @BA5[@BjjJRI]NoA„@BQ > VOIJRX*A„X½+MPWLRj¼…†M _ AVOjjsJKT,JKMPIVOL _ WsLK@3VaiisLRJRQSVaT,JKMPI±Q’MPIjJKT,JKMPIXSˆvf.LKT > MPW]N > T > JRX _ @BX@BA5[sLK@BX T > @'VOLKNO@S[ _ VOJRQ5Vaii _ MPVOQ >  8 

(Ym†– “”+@j]M‚I]MOTUWX@'JKT,X.¤Λ7 »¹;¤‚¶(·O¹ O †ž¡ ¸·O¹ƒ[@BQSVOWsX@JKTi

_ M > JK[sJKT,X > JRjsj]@BIv@Bj]NO@BX TMI]M7j]@BX~ > JRQ > V _ @½j]@BLK@ST@Bjˆ = M5T@BXTg > @ST > @ _ > JRjj]@BI‚@Bj]NO@BX+@]JRXT+JRX _ VaT > @ _ @7i@BIX,JKŽ[email protected]J _ @BQ’T@BjƒN _ Vai > X [@BQSVOWX@++@ > V€ŽO@gTM.LKM;MW]i!XMPW _ Q’@BXþMO…JRIQ’MPA‚JRI]NU@BjNO@BXVaTY@SŽO@ _ Z _ WLK@gVaiisLRJRQSVaT,JKMPIˆ "@BIQ’@ _ WLK@~VaisisLRJRQSVaT,JKMPIX I]@S@BjoIMOTÃ[@½isWsX > MPW]T,X+JRIvT > @QSVaT@SNOM _ ZvMO…þN _ Vai > XgVOIjoV _ WLK@¾j]M;@BXÃI]MOTVOLKgVBZ7X > V€ŽO@VOIoJRIlŽO@ _ X@Oˆ "M€+@SŽO@ _ ” T > JRX"JRXI]MOTUJRA„iM _ T,VOIlTg[@BQSVOWX@~@V _ @MPILKZoJRIlT@ _ @BX,T@Bj9JRI _ @S _ JKT,JRI]N„VOIjoIMOTUJRIoisV _ X*JRI]N]ˆ d7MPA3@MO…+T > @3Vaii _ MPVOQ > @BX _ @SiM _ T@Bj°JRI°T > @3LRJKT@ _ VaT,W _ @„V _ @„I]MOTVaisi _ MOi _ JRVaT@[@BQSVOWX,@T > @SZWsX@3JRIjWQ’@Bj X,W[N _ Vai > T@BXT,XJRIsXT@BVOjvMO…þA‚VaT,Q > JRIN]ˆ Ä …¿D …»M _ T > @VaisisLRJRQSVaT,JKMPIoMO… V _ WLK@"D VOLRL¿LRJRI7JRI]N _ @BLRVaT,JKMPIXÃ[@STª+@S@BI I]M7j]@BX!+@ _ @oTM¼[@ƒ@BIWA„@ _ VaT@Bj”+Xi@BQSJΕ³QSVaT,JKMPIX+MPWLRjÁ[@ _ VaT > @ _ jJ ƒQSWLKTTM _ @BVOjÁVOIj´ _ JKT@Oˆ´hU@BVOLRJRXT,JRQ MOiT,JRA‚JK‡S@ _ X,i@BQSJΕQSVaT,JKMPIX5UJRLRL +M _ ¼MPI±VOI«@BIM _ A3MPWXVOA3MPWITMO… _ @BLRVaT,JKMPIsX'MzŽO@ _ T > @‚MO[`¦@BQ’T5TªZ;i@BXMO…ÃT > @ JRIT@ _ A3@BjsJRVaT@ _ @Si _ @BX@BIlT,VaT,JKMPI¿ˆ+®°@'@BXT,JRA„VaT@'T > VaT"V3…†WLRLΑ4"³@Bj]NO@BjHMOiT,JRA‚JK‡S@ _ UJRLRLüWX@Va[MPW]T"r†–3‘"p…–B–3MO[`¦@BQ’T TÕZi@BX½VOIj9V _ MPWIj±p…–B–3‘n†–B– _ @BLRVaT,JKMPIXSˆ½f"LRXMvJRIjWsQ’@Bj9X,W][sN _ Vai > T@BX,T,X"i _ @SŽO@BIlT½Xi@BQSJΕ³QSVaT,JKMPIX.… _ MPA [@BJRI]N @7T@BIj]@Bjƒ@BVOX,JRLKZ JK…üI]@S _ @BLRVaT,JKMPIXÃV _ @½VOjj]@BjƒTM > MPXT+N _ Vai > XB”…†M _ A3@ _ LKZ3A„VaT,Q > JRI]N _ WLK@BX~X*Wjj]@BILKZI]@S@BjvI]MOT A‚VaT,Q > VOIlZ7A3M _ @   ‰YE¾mOn“ˆU®JKT > A‚VaT,Q > JRIN]”³+@5QSVOIŒVa[sX,T _ VOQ’T"… _ MPA VOLRLYIMPI7‘ _ @BLK@SŽaVOIlT _ @BLRVaT,JKMPIXBˆ"M€+@SŽO@ _ ” JK…IM;j]@BX.V _ @j]@BLK@ST@Bj”VOLRL JRIQSJRj]@BIT½@Bj][email protected]…T > @!I]M7j]@'A!WX,T"VOLRXMv[@'j]@BLK@ST@Bj¿ˆd7@BQ’T,JKMPI¼n„QSLRV _ JΕ³@BX > M€ŠT > JRX QSVOI9[@jMPI]@¾UJKT > LRJRI]@BV _ @;@BQSWT,JKMPI9Q’MPXTSˆ   vÈ7y$]{]x†$†ÌE"üw (ü@ST¾[@$60 $J 'Vf   ˆf l–S¥Ÿ »¢£šOž¡ ¸·O¹9JRI $JRX¾VƒX,@B\W]@BIsQ’@5MO…4(~‘“N _ Vai > XYF^[
YF ‰ [ [`F  ” LRJRIO@Bj±[;Z¼jJ _ @BQ’T!j]@ _ JKŽaVaT,JKMPIX!WIj]@ _'_ WLK@BXŒ@ f gˆ9®°@vX,VBZ¼T > VaT•F  JRX)l–B¥( †¢zš  K–'… _ MPA‰F  $‹F  < [ F  ',ˆ Ä …gT > @ _ @‚JRX'I]MK@7f  > JRQ > QSVOI¼[@„Vaii³LRJK@Bj¼TM7F  ”F 

JRXQSVOLRLK@Bj´V¼¹s·O¥Ÿ­š #’·O¥Ÿ­ MO… ~ˆof j]@

_

žª–B¥(­! †¹sšOž¡ †¹¤'JK…O°JRXÕ³IJKT@O”³MOT > @ _ UJRX,@„¹s·O¹a¦žª–S¥Ÿ­! »¹³šOž¡ »¹;¤aˆ Ä …VOLRLYj]@ _ JKŽaVaT,JKMPIXUJRI ÁV _ @T@ _ A‚JRIVaT,JRI]N]” ºJRXUVOLRXM QSVOLRLK@Bj±žª–S¥Ÿ­! »¹sšPž¡ »¹¤Oˆ = ~MVOLKT@ _ IVaT,JKŽO@jsJ _ @BQ’TÃj]@ _ JKŽaVaT,JKMPIX+MO… _ WLK@BX@ ‰ 0 $5 ‰ 6 8 ‰ l : ‰ ' VOIjZ@  0 $5  6 8  l :  ' … _ MPA  V _ @5QSVOLRLK@Bj  †¹ l–b§7–S¹ l–S¹ž¸”JK… T > @SZoQSVOIH[@JRIlT@ _ Q > VOI]NO@Bj54F 

4F ‰ [4F “ 0   ƘF  [    
4F “ ˆ c.T > @ _ UJRX@3T > @SZŒV _ @‚QSVOLRLK@Bj±VOI$·O¢a–S¥ ʟ§³ˆ =U> @…»MPLRLKMzUJRI]NŒj]@’•³IJKT,JKMPIsX > MPLRj¼…†M _ VOIsj«JKT,XjsJ _ @BQ’Tj]@ _ JKŽaVaT,JKMPI _

@BLRVaT,JKMPIy[ˆ ºJRX½QSVOLRLK@Bj œŸž¡¥b·O¹¤¶*·O¹+›–S¹sžYJK…

 F ‰ J*F  J*F “ f“(~‘?>!@BA CD F  F ‰ [ F “ 0    F  [  =F “  > @ _ @3JRX T > @ _ @!"s@]JKŽO@QSLKMPX,W _ @UMO…[‹ˆ => JRXJRXVaTLK@BVOXT T > @QSVOX,@JK…VOLRL]i³VOJ _ X MO…jsJ _ @BQ’Tj]@ _ JKŽaVaT,JKMPIX V _ @"JRIj]@Si@BIj]@BITSˆ ¼JRX QSVOLRLK@Bj¶(·O¹ g›–S¹ž¸”7JK…  F ‰ J*F  J*F “ f w !F  < F ‰ < [ F “ 0   !F  < [  < F “ ˆ ±JRXÃQSVOLRLK@Bj«¶(·O¹¢£–B¥¸¤–S¹žJK…þJKTÃJRXgT@ _ A„JRIVaT,JRIN!VOIsjƒQ’MPI"³W]@BIT 
m†– “ˆ+d7WQ > XZ;X,T@BA„Xgj]@BLRJKŽO@ _ V!WIJR\;W]@½I]M _ A‚VOL …†M _ A  $"@S lC “ˆgE _ Vai > _ @S _ JKT@XZ7XT@BA„Xg"JKT > X@SŽO@ _ VOLYI]M _ A„VOL…†M _ A„XÃV _ @QSVOLRLK@Bj«¹s·P¹a–Sžª–S¥Ÿ­! »¹s Ñœ’ž¡ †¶Bˆ £
    ¨a¬ª§+¨G¥¬   ª j¨[§+¨(¥¬ f X@ST‚MO….N _ Vai > _ @S _ JKT@ _ WLK@BX ŠT@ _ A‚JRIVaT@BXMPI²V°•³IJKT@9V]JKMPA  JK…½@SŽO@ _ Zºj]@ _ JKŽ£VaT,JKMPI‹XT@Si²VOjjsX„XMPA„@ @Bj]NO@BXTM!V!i³V _ T,JRQSWLRV _Ã_ @BLRVaT,JKMPIˆ~fgTLRVOXTà > @BIƒT > JRX _ @BLRVaT,JKMPI9JRXÃQ’MPA3isLK@ST@½T > @¾j]@ _ JKŽaVaT,JKMPIoi _ M;Q’@BX,XgA!WXTgXTMOi [@BQSVOWX@~@MPIsLKZƒVOLRLKMz—MPI]@@Bj]NO@UJKT > VQ’@ _ T,VOJRILRVa[@BL[@STª+@S@BIHTÕ~MƒI]M;j@BXSˆ vÈ! #"%$»x$†Ì" ! Í #sÈlÊ*{ÍþÍ$»x†$³ÈHy /†È " & –Bž *– “0 $%J 'f   Q+!–¡µ¹³–
#’·O¥4@=0 $5 6 8l :'9f  ž†™7– œB–Sžg· #@Bj]NO@’‘ªVOjjsJKT,JKMPI7‘“T@ _ A„JRIsVaT,JKMPILRVa[@BLRX   8 $@ '‘0 e:P%f|(  8 $@('PË  zt0 $O ‰ JMO  J P 'fhL  $@('TOQPA˜R $O ‰ 'MJMOQPASR $O  ' f|(  3 $@('Mj ž†™7–œB–Sžg· #T@ _ A‚JRIVaT,JKMPI7‘ªX,W[N _ Vai > I]M7j]@LRVa[@BLRX  3 $@('j‘0e:P%f|( 3 Ë  zV0 $O ‰ JMO  J  'fhL  $@('MJ Žf   8 $@('j OQPASR $O ‰ '0iP  OQPASR $O  '%0iPkj ž†™7–"T@ _ A„JRIVaT,JKMPI7‘ _ @BLRVaT,JKMPIX »¹  L $@('j‘0e,z^fhL`˔z PASR $‹z'f   8 $@('Mj ž†™7–œB–Sžg· #T@ _ A‚JRIVaT,JKMPI7‘ªX,W[N _ Vai > I]M7j]@BX5 »¹ 

I  $@('j‘0e OgfhI  ËOQPASR  $O 'f

 3 $@ 'Mj  #   8

$@(' 0!+ +†–:+ž†™7–B¥b–„šO¥b–3¥(›-R–š11P »ž¡ ¸·O¹ – €¤l–’œ'©þ™ ¸¶’™šO¥–3·P¹ 㬃 †¹s¶B ,l–S¹sž+ž“·H¥(›-R–5 »¹¢£šO¥Ÿ †šO¹sžÃ¹s· l–’œ @

 œ'¶*šR– 5@Bj]NO@’‘ªVOjjsJKT,JKŽO@T+
¾¹°– €¤l– ¦š1O †ž¡ »¢a–!¥(›-R–V@9© †ž†™NI($@('0
I d $@('0iL  d $@ '0 Ñœ!¶*šK– 5@Bj]NO@'VOjsjJKT,JKMPI _ WsLK@*(–,¶*šP›lœB–  †ž+·P¹ 㬃š11£œ3– €¤–Ÿœ…+ f.IÁ@Bj]NO@’‘ªVOjsjJKT,JKŽO@ _ WsLK@HVOjjX3VaT3LK@BVOXT‚MPI]@ _ WLK@HVOjsjJKT,JKMPIÁ@Bj]NO@H > JRQ > JRX3MPILKZ±JRIsQSJRj]@BIlT„TM _ WLK@HJRIŽ£V£‘ _ JRVOIT!I]M;j@BXSˆ =U> @„LRVa[@BL MO…ÃT > JRX'@Bj]NO@+$†T > @BX@ƒ@Bj]NO@BX!'.j@BI]MOT@‚V&$¸X@ST'MO…!' _ @BLRVaT,JKMPIX5MO…ÃT > @ > MPXTN _ Vai > $†T > @ T@ _ A‚JRIVaT,JKMPI7‘ _ @BLRVaT,JKMPIsX!'" > JRQ > V _ @[@BJRI]NoQ’MPA3i³LK@ST@Bj¼jW _ JRIN‚T > @3VaisisLRJRQSVaT,JKMPIXMO…+T > @ _ WsLK@Oˆ => JRX½i _ M€Ž7JRj]@BX T > @[sVOX,JRXņM _ – z¤l–…bš11P »ž¡ †¢£–N _ Vai > _ @S _ JKT@XZ7XT@BA‚X" vÈ! #"%$»x$†Ì"  ! Í #sÈlÊ*{ÍþÍ$»x†$³È #³yz{²yzȝ˂y$»xzÈHwSÉ¿wSx€È °w " 60 $%J 'tf   ´ Ñœ¶*šK– 3@BjNO@’‘ªVOjjJKT,JKŽO@  #  @ ‰ 0 $5 ‰ 6 8 ‰ l : ‰ 'MJM@  0 $5  6 8  l :  '9f    $O ‰ JMO  J P 'fKL  $@ ‰ 'MJ Pf   8 $@ ‰ '` OQPASR
$O ‰ 'MJMOQPA˜R
$O  ' f|(  3 $@  '

 +¸– +¿š¥Ÿ›-K–’œ"šO¥b–– €¤–…bš11O †ž¡ »¢a–¾šO¹ !¹³·'¥Ÿ›-K–½š1£œ.¹³· l–Ÿœ.ž“·'ž†™]–½žª–S¥Ÿ­! »¹sšPž¡ †·O¹“œ’›Õ¤O¥bšŸ§™v¹s· l–’œ.·#"šO¹³·Ož†™7–S¥

¥Ÿ›-K–:+c;ü™7–S¹ l–¡µ¹³–5ž†™7–œB–Sžg·#@Bj]NO@’‘ªVOjjsJKT,JKMPI7‘“T@ _ A„JRIsVaT,JKMPI9LRVa[@BLRX· #    8 $  '¼‘0   "!   8 $@('

šP¹ vž†™7–"T@ _ A‚JRIVaT,JKMPI7‘ªX,W][sN _ Vai > · # ž“·**–5ž†™]–œŸ› ª¤P¥¦šŸ§s™· #  ‘0 $I  ‘0   "! I  $@('MJML  ‘0   "! L  $@('MJMOQPASR  Ë3
' ;ü™]–œS–Sžg· #'š Y– €¤l– ¦š1O †ž¡ »¢a–¾¤O¥bšŸ§™¥–S©¥Ÿ »žª–œ’¬zœŸžª–S­'œ' œ'¶*šR–   Q+

¤O¥bšŸ§™Á¥–S©¥Ÿ »žª–oœŸ¬zœŸžª–B­ © »ž†™Á– €¤–9š1O »ž¡ ¸·O¹‹¥(›-R–Ÿœv Ñœo¶*š K– o@Bj]NO@oVOjjsJKT,JKMPI

_ @S _ JKT@vXZ7XT@BA $G5 '*+ ;ü™7–œB–Sžg· #'šY– €¤l–!š1O »ž¡ ¸·O¹°¥–S©¥Ÿ »žª–5œŸ¬zœŸžª–B­œ œ'¶*šR–  ' Q+ Ä Iv@Bj]NO@’‘ªVOjjsJKT,JKŽO@N _ Vai > _ @S _ JKT@XZ7XT@BA„Xg+@QSVOIHJRj]@BIT,JK…†ZƒVX,W[N _ Vai > MO…üT > @V7JKMPA9”]T > @3žª–S¥Ÿ­! »¹sšPž¡ †·O¹ œ’›Õ¤O¥bšŸ§™lˆ Ä T,XƒI]M7j]@BX3QSV _,_ ZºLRVa[@BLRX„… _ MPA  "!  3 $@ '(”gJKT,X‚@Bj]NO@BX‚… _ MPA   8 $  ',ˆhUWLK@BXƒA„V€ZÁA„VOIJKisWsLRVaT@ V _ [³JKT _ V _ Z«I]M7j]@BX5VOIj±@Bj]NO@BXS” @]Q’@SiT!T > VaT!@BVOQ > MO…UT > @BAÂMPILKZ$š11aœ9– €¤l–’œTMŒT > @‚T@ _ A„JRIVaT,JKMPI7‘ªX*W][N _ Vai > ˆ => WXT > @"T@ _ A„JRIVaT,JKMPI7‘ªX*W][N _ Vai > JRX[@BJRI]N'Q’MPA3isLK@ST@BjvVOIj„T > @.X,Z;XT@BAkT@ _ A‚JRIVaT@BXSˆj5"V _ @.ŽO@ _ Z3Xi@BQSJΕ³Q N _ Vai > _ @S _ JKT@XZ7XT@BA‚X [@BQSVOWsX@gT > @SZ'MPIsLKZ'VOjj!@Bj]NO@BXTM¾N _ Vai > X  ftlmOn£[ “ˆ ®°@UQSLK@BV _ LKZ > V€ŽO@ '   ! ˆ  ¿È;̳yzÈ   !

 È7y y$?"ü{]x$†ÌE"ÁÌ"t   "“&

–Sž;*– “0 $J 'f  Q+ žª–B¥(­! †¹sšOžª–Ÿœ!·O¹5µ¹ †žª– Œ+



# 0 $I  JML  JMOQPA˜R  '  — œ+ž†™7–Užª–S¥Ÿ­! »¹sšPž¡ †·O¹“œ’›Õ¤O¥bšŸ§™„· # ´šO¹ 





8

$ '~ Ñœgž†™7–ÃœS–Sž¿· #– €¤l– ¦š1O †ž¡ †·O¹

žª–B¥(­! †¹sšOž¡ ¸·O¹ Kš *– åœ*+š)l–S¥Ÿ »¢£šOž¡ ¸·O¹° »¹ ¨™;š£œ'šOž+­·£œŸžË

  8 $  'PËEËI  Ë  œ’žª–¦§œ…+ y€ÌÌ,} $bp' Gf ' ˆd;T,V _ T,JRI]N'… _ MPA ”;V'j]@ _ JKŽaVaT,JKMPI &{0
F < [  MO… Œ…»M _ A„X VOIƒVOX,Q’@BIjJRIN'Q > VOJRI‚JRI $ w 3 J*5J 'g[@BQSVOWX@T > @ _ WLK@BX"MO…´MPILKZVOjjH@Bj]NO@BXBˆ
½W]@'TM _ WLK@'VOjjJKT,JKMPIŒVOQ’T,JKMPI$¸VPn('g@BjNO@BX"V _ @!VOjj]@Bj MPILKZ·O¹s¶(–Sˆ => WX @SŽO@ _ Z‚jJ _ @BQ’T~j@ _ JKŽ£VaT,JKMPIvLK@BVOjX+TM!VOI]MOT > @ _ (~‘“N _ Vai > JRI $ w 3  J*5J ',ˆ  @BQSVOWX,@ $ w 3  J*5J ' JRX•³IJKT@O”]T > @Q > VOJRIHMO…þT > @j@ _ JKŽ£VaT,JKMPIJRXI]M;@ST > @ _ JRVOIˆ => WsX'±T@ _ A„JRIVaT@BXMPI ˆ $¡C('  f   ' ˆ 

@BQSVOWX@  VOjjX5VOIj j@BLK@ST@BXJKT@BA„XS” T

> @vJRI]isW]T,XMO…UjJ _ @BQ’T!j]@ _ JKŽaVaT,JKMPIX!I]@S@Bj I]MOTƒ[@9X,W][sN _ Vai > X„MO…¾T > @ _ @BX*WLKT,XS”UVOIj²T > @Œj]@ _ JKŽaVa[sLK@9N _ Vai > X„j]M´I]MOT‚…»M _ AV«LRVaTT,JRQ’@Oˆ "M€+@SŽO@ _ ”U@SŽO@ _ Z N _ Vai > j]@ _ JKŽ£Va[sLK@ƒ… _ MPA  Q’MPIlT,VOJRIX!VX,W][N _ Vai >  > JRQ > JRX _ @BX,T _ JRQ’T@Bj±TMT > @ƒT@ _ A‚JRIVaT,JKMPI7‘ªX,W][sN _ Vai > IM;j]@BX I  1I  ˆ„e+MPIX,JRj@ _ T > JRX¾X@STMO…gX,W][sN _ Vai > X $ w 3
J*5ŠJ ',”YVOIj°VOI«V _ [sJKT _ V _ ZjJ _ @BQ’Tj@ _ JKŽ£VaT,JKMPI<F2[  «ˆ F > VOXVoX,W][sN _ Vai > F  f  w 3
ˆ  @BQSVOWX@Z@‚A!WXT¾VOjj«VOI°@Bj]NO@3TMHVoT@ _ A„JRIVaT,JKMPI7‘ _ @BLRVaT,JKMPI¼MO…F!”  > VOXV X,W[N _ Vai >   f  w 3
   > JRQ > JRX½T > @ _ @BX,WsLKT"MO…+VaiisLKZ7JRI]No@3TM|F ˆŒF  <  > MPLRjX½JRI0 w 3
ˆ => @ _ @S…»M _ @ @BVOQ > j]@ _ JKŽ£VaT,JKMPI+&K0 F  [ F ‰ [ %[ F  JRI  >

VOX'VOX,XM7QSJRVaT@Bj VOI VOX,Q’@BIjJRIN9Q

> VOJRI«MO…ÃX,W][N _ Vai > X½MO… T > @oF JRI  w 3
J*F  pF  ‰    F   ˆ => JRXX,@B\W]@BIsQ’@‚JRXVOLKgVBZ7X'•³IJKT@3[@BQSVOWX,@; w 3
JRX•³IJKT@Oˆ => WX & T@ _ A‚JRIVaT@BXS”sVOIsjHVOLRXM ~ˆ Ä IŒ[MOT > QSVOX@BX¾T > @3I;WA5[@ _ MO…~@Bj]NO@BXJRI°VoQ’MPA„isLK@ST@N _ Vai > MzŽO@ _ I   I  UJKT > Ë   8 $ 'PË _ @BLRVaT,JKMPIXJRX LRJRA‚JKT@Bj°[ZŒË   8 $ 'P˾ËI  Ë  ˆ  @BQSVOWsX@3@SŽO@ _ ZŒjJ _ @BQ’Tj]@ _ JKŽ£VaT,JKMPI¼VOjsjX¾VOI°@Bj]NO@O”üJKT,XLK@BI]NOT > QSVOI°[@VaTA3MPX,T Ë   8 $ 'PËËI  Ë  ˆ f.XUVOI9@7VOA„isLK@Q’MPIX,JRj@ _ T > @N _ Vai > _ @S _ JKT@XZ7XT@BA¯JRIH‰ JKNPW _ @‚paˆ  @BQSVOWX,@+@ > VBŽO@ŒI $a  Ց  "!^ $""­('20  0 I  d $a   "!# $’‘*p'0 L  d $a  / "!^ $’‘*p',”    "!# $ÁJRX VOI 5Oˆ ®°@ > VBŽO@   8

$a  / "!^ $""­ 'i0 e"¿´E´ ¹ º» °½˜jO”  3 $a   /gx!^ $4x­ 'Y0uex®E°?±²TJ ¹º » °jOˆ   / "!^ $T@ _ A„JRIVaT@BX'MPI´VH•IJKT@‚JRI7‘ T@ _ A„@BjJRVaT@ _ @Si _ @BX@BIT,VaT,JKMPIˆ ‰ JKNPW _ @ Q’MPIT,VOJRIX"Tª+M„MOT > @ _ @7VOA„isLK@BXSˆ~f.LKT > MPW]N > 5VOjjsXI]M7j]@BXS”sV3j@ _ JKŽ£VaT,JKMPI9T@ _ A„JRIsVaT@BX > @BI T > @ _ @BLRVaT,JKMPI ·
°+¸ "!%%·± °oJRXQ’MPA3isLK@ST@Oˆ„®°@ > VBŽO@   8 $  54x­ '0-e"·
°%¸ "!%+·¾± ° jO”  3 $  54x­ '0 e"¿jOˆ ‰ JKNPW _ @´mºj]@Si³JRQ’T,X > MzÂV$j]@ _ JKŽaVaT,JKMPI—JRI  5¼[@ > V€ŽO@BX"@BVOQ > _ WLK@ VaiisLRJRQSVaT,JKMPIŠVOjjXVOI@Bj]NO@ TM$T > @ T@ _ A‚JRIVaT,JKMPI7‘ªX,W[N _ Vai > ”  > JRLK@vJKT,X!I]M7j]@BX!V _ @vLK@S…»TWITMPWQ > @Bjˆ Ä I Q’MPIT _ VOjJRXT,JRIsQ’T,JKMPI#Ê  5ƒVOjjJKT,JKMPIsVOLRLKZ Q _ @BVaT@BX ¿‘ªI]M;j@BXSˆ => WXgT > @ _ @JRXUI]M3T@ _ A‚JRIVaT,JKMPI7‘ _ @BLRVaT,JKMPIVOIjHV3j]@ _ JKŽ£VaT,JKMPIA„VBZƒ[@I]MPI7‘“T@ _ A‚JRIVaT,JRI]N]ˆ  @BQSVOWX,@5T > @NPJKŽO@BIT@ _ A„JRIVaT,JKMPIQ _ JKT@ _ JKMPI _ @[email protected] > @…†@BVaT,W _ @BX"MO…T > @ _ WsLK@BXUVOLKMPI]@!JKT"QSVOI[@j]@BQSJRj]@Bj JRIºVOIºMOiT,JRA„JK‡S@ _ NO@BI]@ _ VaTM _ ˆ $5v > JRQ > jM¼I]MOT3WX@HI]@SNPVaT,JKMPI‹JRIÁT > @BJ _ LK@S…»Tb‘ > VOIsjºX,JRj]@BXS”gV _ @HI]MOT„MPILKZ T@ _ A‚JRIVaT,JRI]N]” [³W]T5VOLRX,MŒX,T _ MPI]N°Q’MPI-"³W]@BITS”VOIj T > WXQ’MPIlŽO@ _ NO@BIlT  ftlmOn£[ “ˆ =U> @SZ«QSVOI´[@‚WX,@Bj TM°Xi@BQSJK…†Z JRIT _ Vai _ M7Q’@BjW _ VOLYjJRX,T _ JK[sW]T,JKŽO@jVaT,V£‘4"sMz VOIVOLKZ7X,JRX  flmOn£[ “ˆ  @BQSVOWsX@ 5'MPILKZVOjj@Bj]NO@BXS”T > @SZHMOi@ _ VaT@ MPI T > @vQ’MPA3isLK@ST@ƒLRVaTT,JRQ’@oMO… _ @BLRVaT,JKMPIX5M€ŽO@ _ T > @ƒI]M;j@BXMO…ÃT > @ƒV7JKMPA9ˆ)8VOQ > jsJ _ @BQ’T5j@ _ JKŽ£VaT,JKMPI±@BILRV _ NO@BX5V

A:1

::=

A:1

A:2

B

A:1

A:1

::=

A:1

A:2

A:3

A:2

TGRS-1

NTGRS-1

terminator

any

non-terminator

any

‰ JKNPW _ @  f.Iƒ@Bj]NO@’‘ªVOjjJKT,JKŽO@¾N _ Vai > _ @S _ JKT@¾XZ;X,T@BAk"JKT > T > @"@Bj]NO@’‘ªVOjsjJKT,JKMPI7‘“T@ _ A‚JRIVaT,JKMPIHLRVa[@BLYžª–B¥(­! †¹sšOž“·O¥ VOIj9V3I]MPI7‘“T@ _ A‚JRIVaT,JRI]NN _ Vai > _ @S _ JKT@X,Z;XT@BA

A

A

A

B

B

termination-subgraph

A

A

A

B

B

termination-subgraph

B

B

A

A

A

B

B

termination-subgraph

B

A

A

A

B

B

termination-subgraph

B

B

B

B

B

B

‰ JKNPW _ @5mEfŠj]@ _ JKŽaVaT,JKMPI9JRIoT > @¾@BjNO@’‘ªVOjjJKT,JKŽO@5N _ Vai > _ @S _ JKT@XZ7XT@BA  5

_ @BLRVaT,JKMPI´VOIj«V9j]@ _ JKŽaVaT,JKMPI …»M _ A‚XVOI«VOX*Q’@BIjJRI]N9Q > VOJRI±JRI¼T > @„LRVaTT,JRQ’@Oˆ  @BQSVOWsX@ _ WLK@„VaiisLRJRQSVaT,JKMPIsX'QSVOI [@ JRIT@ _ Q > VOI]NO@BjoV _ [sJKT _ V _ JRLKZO”]@BVOQ > _ WLK@½A3M7j]@BLRX~V'jJRX,T _ JK[sW]T,JKŽO@½…¸WIQ’T,JKMPI”7VOIj‚T > @$5.A3M7j]@BLRX~V5jsJRXT _ JK[sW]T,JKŽO@ jVaT,V£‘4"³M€… _ VOA„@S~M _   ftlmOn£[ “ˆ => WXS”¿•IjJRI]NoV9IM _ A„VOLþ…†M _ AMO…ÃVOI $5!MzŽO@ _ VOI V7JKMPAÂJRXX*JRA„JRLRV _ TM •³IsjJRI]N‚V„• 7iMPJRIlT.JRIVƒjJRXT _ JK[sW]T,JKŽO@!jVaT,V£‘4"sM€… _ VOA„@S~M _ g~@Vaii³LKZHVOLRL _ WLK@BXUTMƒT > @ > MPXT.N _ Vai > WIT,JRLYV • 7iMPJRIlTS”]T > @I]M _ A‚VOL³…†M _ A9”7JRX _ @BVOQ > @Bjˆ £
    ¨a¬ª§+¨G¥¬  § +ªE§+¨G¥¬ ®°@5VOLRXM„QSVOI9WsX@¾@Bj]NO@M _ IM;j]@j@BLK@ST,JKMPI9TM„VOQ > JK@SŽO@T@ _ A„JRIVaT,JKMPIˆ vÈ! #"%$»x$†Ì"  !

*Yu¿x£y€{|Px$³È9y -/†È " &

–Sž(–  0 $%J 'Vf   Q+ 5–¡µ¹³–%#’·O¥Y@N0 $56 8 l :'tf  ž†™7– œB–Sžg· #@Bj]NO@’‘ªX,W[T _ VOQ’T,JKMPI7‘“T@ _ A‚JRIVaT,JKMPILRVa[@BLRX   8 $@('‘01e:P%f|(  d 8 Ë $O ‰ JMO  J P 'fhL  d $@('MJ OQPA˜R  $O ‰ 'MJMOQPASR  $O  ' f|(  3 $@('MJ P f|(  8 $@('Mj ž†™7–œB–Sžg· #T@ _ A‚JRIVaT,JKMPI7‘ªX,W[N _ Vai > I]M7j]@LRVa[@BLRX  3 $@('‘0e:Pf|(43ÊË  z0 $O ‰ JMO  J  'fhL  d $@('MJ uf  8 $@(' OQPASR  $O ‰ '0iP  OQPASR  $O  '0iPkj ž†™7–œB–Sžg· #UI]M7j]@’‘ªX,W[T _ VOQ’T,JKMPI7‘“T@ _ A‚JRIVaT,JKMPIHLRVa[@BLRX   3 $@ '‘0 (  d 3 $@(' (  3 $@(' ž†™7–"T@ _ A„JRIVaT,JKMPI7‘ _ @BLRVaT,JKMPIX »¹  L  $@('j‘0e,z^fhL  ˔z PASR  $‹z'f   8 $@('Mj ž†™7–œB–Sžg· #T@ _ A‚JRIVaT,JKMPI7‘ªX,W[N _ Vai > I]M7j]@BX5 »¹ 

I  $@ '‘01e O“foI  ËOQPA˜R  $O '9f

 3 $@('E5   3 $@('Mj  #   8 $@ ' 0 ! @H œ¶*šK– 5@Bj]NO@’‘ªX,W][sT _ VOQ’T,JKŽO@T+  #   3 $@(' 0 ! @H œ¶*šR– !I]M7j]@’‘ªX,W][sT _ VOQ’T,JKŽO@T+ d]JRA„JRLRV _ TMŠ@Bj]NO@’‘ªVOjjJKT,JKŽO@¨N _ Vai > _ @S _ JKT@XZ;X,T@BA„X±MPW _

VOJRA JRX´TMŠj@’•³I]@$V žª–B¥(­! †¹sšOž¡ ¸·O¹aªœŸ› ª¤P¥¦šŸ§s™

… _ MPA  > JRQ > JKT@BA„X9V _ @«X,W][T _ VOQ’T@Bj WIT,JRLT > @ XZ;X,T@BA XTMOi³XSˆ Ä T,X9IM;j]@BXVOIj¨@Bj]NO@BXQSV _,_ Z¨LRVa[@BLRXH… _ MPA  "! $  3 $@('E5   8 $@('' $†@Bj]NO@’‘ªX*W][T _ VOQ’T,JKŽO@°XZ7XT@BA„X 'M _ … _ MPA  "! $   3 $@('E5  3 $@('E5   8 $@ ''$¸X,W][T _ VOQŸ‘ T,JKŽO@5XZ;X,T@BA„X!' vÈ! #"%$»x$†Ì" ! Í #sÈlÊ{"üÍ$w Yuüxzy€{s|Ox$³È#³yz{²yzÈl˃y$»x€È9wSÉ¿wSx€È °w " !–¸µ¹³– #’·O¥ “0 $J 'f   vž†™7– œB–Sžg· #@Bj]NO@’‘ªX,W[T _ VOQ’T,JKMPI7‘“T@ _ A‚JRIVaT,JKMPILRVa[@BLRX· #   8 $  '¼‘0   "!  8 $@(' šP¹ vž†™7–œS–Bž+· #UX,W][T _ VOQ’T,JKMPI7‘“T@ _ A„JRIsVaT,JKMPIHLRVa[@BLRX!· #    $ 'j‘0    !   8 $@('5   3 $@ ' “0 $%J 'f ! « Ñœ@BjNO@’‘ªX,W][T _ VOQ’T,JKŽO@†à#  @ ‰ 0 $5 ‰ 6 8 ‰ l : ‰ 'MJM@  0 $5  6 8  l :  'f&Œ  $O ‰ JMO  J P'fKL  d $@ ‰ 'MJMOQPASR
$O ‰ 'MJMOQPA˜R
$O  ' fK(  3 $@  'MJ P f|(  8 $@  'Mj