Document on BGD and LMBK - Prof. Christelle Scharff, Study notes of Programming Languages

¤;¥V¦ §¨ ©ª « ©ª ¦u¬9ªž® ¯° ©€ª ¦ž¬QªGž®± ¤M²ž¤¨ ©ª ¦ž¬9ªž® ¯° ³G©ª « ©€ª ¦u¬9ªGu®A´K± ¬9²ž¤¨ ©ª ¦ž¬9ªž® ¯° ©€ªμ± ¶ ¦’·ž¸;¥x¹;¹7¨ ©€ª ¦ž¬9ªž® ¯° ºx²;²¹o±

‘ > z B?| > B 8 h>AJVBx@\BED :¡576 ŒK>D‚†c>Q>A6 D [ > Ja@»5¼<¼_xLD ƒD [ > ½¿¾ Z B?6x< :ÀD„8 5 7JK>A@\BGD]:P5768  BK6x< D [ > Ja@Á57LQ>`8ž8 ƒD [ > :‰z"š J?NP>}z >}6EDhBGD :¡576 5 A~D [ > ½¿¾^ Z :ÀD„8Â>}N‡~  X

3 ‘ [ BGDÃBKŒY57_QD+8F57z > BQ8`JY:‰@:‰6μÄ

3 Z [ > :œz J?NP>}z >A6EDFBGD]:P5^6 5 A~ D [ > 5 7JK>}@pBGD :¡57698 5 A~ D [ > B?ŒGš 8 {D’@pBML;D<fBGDFB D‚H“JK> :¢8 NÅ:œ| > D [ > Ja@Á57LQ>8ž8 Œ’H † [ :=L [ D [ > ›œB 8 {DFBxL}| :ˆ8 z BM<?> ƒÆ<?>Ÿ/6Y:ÀD :¡57698 5 Y~ÇD [ > 5 7JK>A@\BGD]:P5^698 ŒVB98h>Q< 576 @y>QL}_“@w8;:¡576  X Z [ >+>}6a< _98h>A@m<K5¼>G86M5}D [ BEa>ÈDu5 †5C@'@wH BKŒY57_QD [ 5 † :ÀD :ˆ8 :‰z J?NP>}z >}6EDž>Q<mX

3 ½ Ja@»5“Š¼@\B?z [ BQ8ÇD 5 ŒK> Œ?_Y:‰NÌD+:‰6 8 `_xL [ B †$B’H D [ BGD :ÀDÈLBK ŒK> z 5 7<μ:ÀŸ>Q<mX

3 ׏Ø(Ù Ú7ÛμÜ ÝÈÙ.Ø(Ù

ÞŽß (^) Ú7à ájâÒãåä 4 (5768;:¡<“>}@$D [ > æç>† è5C@‚| èéBK6?|]>Q> 5 C@»ŠfBK6Y:‡š ê BGD :¡576 BK6a< D [ > <CBGDhBKŒVBQ8h> 5 A~:ÀD„8 >}z J?Nˆ5HG>9>8 ƒ J“N¡B]HE>}@‹8i z BK6VBMŠ?>A@w8iwXwXvX  X ‘ > LBK6 @y>QLE5CŠ¼6Y: ê > BK6 >}6ED]:‡DIH ëuìbArík]îMëhëX ïtBML [ >}z"š J?Nˆ5HG>9> [ BQ8 BGDÐD’@€:œŒ?_QDu>8M£ qμð9ì ëi ðñGñò;ëhehe BK6a< e ðríð9ò îμX ïtBML [ J?N=B]HG>A@ :¢8 B?6 >}z J?Nˆ5HG>9>“X óp6 Bx<?<μ:ÀD :¡576 D 5 D [ > Š?>}6a>}@:=L BEDlD’@€:œŒ“_EDu>G8 5 Y~ B?6 >Az J“N¢5HE>Q>Ci B J“N¡B]HE>}@ BKNÀ8F [ BQ8 8 F57z > 8 {DhBGD :ˆ8{D]:¡LG8 8_xL [ BQ8 ôËõ$öKi/÷ ô iøËò ò]k òei>;DžL“X •j57z > J?N=B]HG>A@w8 ƒ JK:‡DžL [ >A@w8  [ BQx> >a>}6 z 5 f@»> 8 {DhBGD :ˆ8{D :=L8M£ ø$ôúù >;DžL“X •j57z > 6 M576GšhJ?N¡B’HG>}@‹8 >Az J?N¢5MHG>Q>G8 8_xL [ BQ z BK6VBMŠ?>A@w8(8;:‰z J?NÔH [ BEx>É<μ:¢ûü>}@y>}6EDü8{DFBGD]:¢8 D :=L81BKNÔD 5 “Š“>;D [ >}@–£ D [ > †.:œ6“6Y:œ6aŠ JK>A@»L9>}6EDhBMŠ?>“X Î D [ >A@ 6 x576GšFJ“N¡B]HK:œ6aŠ 8 DFBEû z B]H [ BEx> 5 }D [ >}@BGDÐD’@€:œŒ?_QDu>8MX ‘ > 8 {DhBx@sDž>Q< †.:‡D [ D [ > Œa@»5fBM< Š?>A6x>}@pBKNÒ: ê BGD :¡576 5 A~ >}z"š J?Nˆ5HG>9> D 5 Ÿ/6x< D [ BGD+D [ >}@y> Bx@»> <μ:Àûü>A@»>A6ED |M:‰6x<A8 5 Y~É>}z"š J?Nˆ5HG>9>8 B?6x< >BML [ [ B 98 B <μ:¢ûü>}@y>}6ED 8 h>D.5A~ÇBGDÐD’@:‰Œ?_EDž>8X

ý„þ ¤x¹;²Âÿ ýý 
 ·
  ¸Mª þ}ý ª   ý ¦¦ ¦ ª`¹’ª ÿ ¤M¹;ª ÿ ý   
ý{þ ¤M¹²hÿ ýý ¤M¹;ª ÿ ý  
 ·
   

¤ ¶ ¬M § ý   
¤x¹’ª ÿ ý  ¤ ¶ ¬M § ý  
 ·
  
  ª ý ¦

þ ªF¸Mª ý   
ý{þ ¤x¹;²Âÿ ý;ý þ ªF¸Mª ý  
 ·
   ¶ ¸¸ ¶ ¸Q·ž¤až¬

²  ¶ ý ¯  ²’® ý   
ý„þ ¤x¹;²Âÿ ýý ²  ¶ ý ¯  ²’® ý  
 ·
  º ý;ý ¤ ý 

3 ׏Ø(Ù Åã Ú! #"$&%ä

ïçz J?Nˆ5HG>9> :ˆ8 D [ > @Á55AD 6 M5¼<“>“X ó D [ BQ8 D [ @»>Q> L [ :‰NP<¼@»>A6μ£ bAríðQîxë òAiÃì ðQqμð'Më ò BK6a< k()(an+* ë-, .k ò/MëuòAX Z [ > 6 x5¼<?> bAríðQîxë ò [ BQ8 B L [ :‰Nˆ< b}n102*ugAë òAX ½ 6 M5¼ [ BQ8 BK6 BGDÐD’@:‰Œ?_EDž> :¢~ :ÀD :ˆ8 >a:ÀD [ >A@ßt6x>Q< <μ:‡š @»>9L;D’N‡H _8;:œ6aŠ B 3 ½ • ½ Z"Z^4 iÉ5C@ LBK6 :œ6 [ >}@€:‡D D [ > BGDlš D’@€:œŒ?_QDu> ~l@»57z :ÀD„8 BK6xLQ>G8{D 5 f@–X Z [ _ 98 B JK:‡DžL [ >A@ [ B 98 BGDlš D’@€:œŒ?_QDu> ø$ô1ù.i<μ:œ@y>QLD’N‡H ~l@»57z 3 ½ • ½ Z"Z^4 <?>Ÿt6Y:‡D]:P5^6μX ó 6 BM<?<μ:ÀD :¡576 B JY:‡DžL [ >A@ [ B98BGDlD;@:‰Œ?_EDž> BM<“<¼@»>G8u8+:œ6 [ >}@€:‡Dž>Q< ~l@»57z :ÀD„8 Š¼@pBK6x<¼JVBa@»>}6QD 6 M5¼<?> >Az J“N¢5HE>Q>CX

3 5 &%  76 8 76 Åã Ú$ 9"$&% :;6;ã)<=:jâ?>

3‘>LMBK6 <?>Ÿt6x> B z >D [ 5 7< LMBKNÓNˆ>9< ñ`ò]ðZ.ƒ  D [ BGD @»>D’_?@‚ D [ > Bx@y>B 5 A~$B La:‰@»LANˆ>CX

 9² ¶ Eª  ³Ð´ S [[ (^) þVý ¬’§M² ¬² Eª  ¶ ;¹ ý ²u¸ ¬]§ ý ¦;\ ý;ý ¸^]]] U

Z [ > DIH?JK> M5¼:¡< [ >}@y> z >MBK698 D [ BED D [ > z >;D [ 5 ¼< <7@\B]† † [ :=L [ <K5¼>`8 6 M5}D @y>;D’_“@'6 BK6QH }BKNO_a>“X

3 4 (57698;:=A@.D [ > JV@Á57Œ?NP>}z 5 A~ ;Dž>}@'z :‰6Y:‰6xŠmiÇ~5f@ B Šμ:Àa>} La:‰@»LANˆ>Ciμ† [ >;D [ >}@:‡D"5Yx>}@‚N¡B?J98"†.:‡D [ BK6x5}D [ >A@1La:‰@»LANˆ>CX Z [ :¢8ËLB?6 Œ?>†@:ÀDlDu>A6ÃBQ8ÉB z >D [ 5 7< k_ë ò]rsðhb?e D [ BGDçDFBK|]>` D [ >Ç8h>9LE576x< La:‰@»LANˆ>BQ8B JVBa@\BKz >;Dž>}@lX ‘ >¿LBK6 6 M5† z 5 ¼<aš :À~pH D [ > <?>Ÿt6Y:‡D]:P5^6 5 A~LAN¡B98u8 LÕnÁò*Ðrvë Œ’H BM<“<μ:œ6aŠ D [ > ~57N̚ N¢5M†.:œ6xŠ z >;D [ 5 ¼< D 5 D [ > LAN¡B98u8£

ºM²²¹ ý ªž¸ ²\ ý Q¹;ªž¤V¦“³R ¶ ;¹ ý ²h¬]§ ý V´ S ^ ý ¬’¥]¸ ³³I ý ¸¬ ý 9·T ¯ ²h¬’§ ý a] ý ¸G¬ ý 9·TV´ « ³I ý ¸¬ ý 9·T ¯ ²h¬’§ ý a] ý ¸G¬ ý 9·TV´ b ³Æ ý ¸¬ ý Q·Âÿ ¯ ²F¬’§ ý c] ý ¸G¬ ý 9·hÿV´ « ³I ý ¸`¬ ý 9·Âÿ ¯ ²h¬’§ ý a] ý ¸G¬ ý 9·hÿV´;´ d ³³eQª ¶ ¥a¦ b ²h¬]§ ý c]fEª ¶ ¥V¦G´ « ³ eQª ¶ ¥a¦ b ²h¬]§ ý c]fEª ¶ ¥V¦G´´K± U

3 ގß^ ã #"!76;ãä ñ B?6x< * Ba@»> La:‰@»LANˆ>G8X 4 ŽBK6 †c> B?N‡8F5 <K <mXO5Ax>A@'N=BKJ98Eƒ L  Ö ‘ :‰NÓNuD [ BEDՌK>$<μ:¢ûü>}@y>}6EDé~Ð@Á5^z L“XO5Aa>}@'N=BKJ98QƒÆ<  Ö

g h Žl+  

3 ˜μ>DE›Ò8 <?>8ÂL}@:‰ŒK> D [ > 8 Â>;D 5 Y~ LQ57N¢5f@»>Q< La:‰@»L}NP>8M£ LV:œ@yL}NP>` † [ 5 Y8h> :‰6EDu>A@:¡5C@:ˆ8 Ÿ/NÓNˆ>9< †.:‡D [ 8 F57z > LE57Nˆ5C@–X æü5ADu> D [ BGD

BML [ LE5^N¢5C@y>Q< LV:œ@yL}NP> :ˆ8 BKNÀ8F5 B La:‰@»LANˆ>CX Z [ _8iú†c> LBK

’¹;ªG¦¦ RG²¹;² ý R ¶ 9;¹ ý ý T’¬ ý ¸ M¦ R ¶ ;¹ ýS R G²¹;² ;²;¹²^± U

Z [ >8`_?ŒKLAN¡BQ8ž8;:œ6aŠ z >MBK698 D [ BGDç>BxL [ :œ698 DFBK6xL9>$5A~LËk]rík]ò;ëuñZLÕnÁò„rvë :¢8úBKNÀ8F5 BK6":‰698{DhBK6xL9>É5A~LÕnÁòÐrwëXüóp6 Bx<?<μ:ÀD :¡576μijLËk]rík]ò;ëuñZLÕnÁò*„rvëhe [ BEa> BK6 >™QD;@\B BGDÐD’@€:œŒ?_QDu>“iÈ: XO>CX D [ >a:‰@+LQ57N¢5f@–X Z [ _8iÇ:¢~ < :¢8 BK6 :œ68{DFBK6aLQ> 5 Y~ 4 (57Nˆ5C@»>9<41:œ@yL}NP>“iD [ >}6 <mXÓLE57Nˆ5C@ :¢ VBKNÅ:=<miYB98 †c>ANONEB98Õ< XOL9>}6EDž>}@ ™iA}6EDž>}@ HEiYBK6x< <mX @\BM<:œ_98MX ½ NÀ8F5 ié†c> LMBK6 BKJ“J?NÔH D [ > z >;D [ 5 ¼<A8 BKJ“J?NÒ:=LB?Œ?Nˆ> D 5 BK6QH :œ68{DFBK6aLQ> 5 A~"41:œ@yL}NP> D 5 <mX ko5C@¿:œ68{DFBK6aLQ>“ié<mXœBa@»>BCƒ  :¢8 B VBKNÅ:=< :‰6QM5¼LMBGD :¡576 D [ BGD †.:‰NONLQ57z J?_EDu> D [ > Bx@y>B 5 A~D [ > LE57Nˆ5C@y>Q< La:‰@»L}NP> <mX

|I /â}%oà I~ „á76à K ã z6Z:;6 I K 㠄âtI ÚoÜc Û {

3  K ã Ðâ7I ÚfÜc Û {  76 I<o8 ãÛ "€I/Û&<q:;6ãCÜ p }8 áI/â}%oà I~ `y á Gx69à 8 ÚA8 p ã 6 Gځp Û ØwH ‚vƒ

3 Z [ > 8 :œz J?NP>`8{D †$B’H Du5 @»>}z >Az Œ?>}@üD [ > <μ:ˆ8{D :‰6xLD :¡576 :¢8M£

„^ B^6 VB?z^ > z B]H^ ŒK>^5 Aa>}@'Nˆ5fBM<“>Q<mi „^ Œ?ED^ B ~Ð?6xLD^ :¡576^ ƒÆ5C@^ Ja@Á5¼L9>Q<¼_“@»>^  z B]H^ Œ?>^ JY57N‡H?z^5 C@sš J [ :=L“X

3 Î a>}@‚N¢5fBx<μ:œ6aŠ :¢8 D [ > J [ >}6x57z >}6M576 Œ;H † [ :=L [ †c> LBK BQ8u8F57La:ÒBGDu> z 5 f@»> D [ BK6 5 76x> ~Ð?6xLD :¡576VÊμJV@Á5¼L9>Q<¼?@y> †.:ÀD [ D [ > 8 B?z > 6 VB?z >CX

3 Ñj5^NÔH“z 5 f@'J [ :ˆ8z :¢8 D [ >+J [ >A6M57z >}6x576.Œ;H$† [ :¡L [ D [ >8 B?z > ~l_“6xL;D]:P576}ÊμJa@Á57LQ>Q<7_?@»> z B]H ŒK> BKJ“J?NÒ:=>Q< D 5 <CBEDFB 8 {D;@'_xL;š D’_?@y>8Ã5A~c<μ:¢ûü>}@y>}6EDDIH?JK>G8X

3 æü5}Dž>D [ BGDD [ >.ñ`ò]ðZ. z >;D [ 5 ¼<A8ÈBKŒY5Aa>ÃBa@»> BKNÓNa<μ:¢ûü>}@y>}6EDQi HG>DÈD [ >H Bx@y> LBKNÓNˆ>9< Œ;H D [ > 8 BKz > 6 VBKz >CX

3 ó 6 LE576QD’@\B98{DEi B 8 ;:œ6aŠ¼Nˆ> ~l_“6xL;D]:P576}ÊμJa@Á57LQ>Q<7_?@»> z B’H ŒK> JY57N‡H?z 5 C@‚J [ :=L“X ko5C@¿:‰698{DFB?6xLQ>Ci D [ > ðÂbbKëuqμñ BK6x< ò;ë Më òeFë ~l“6xL;D]:P576 †c> <?>Ÿt6x>Q< :‰6 •(— ˜ Bx@y> JY5^NÔH“z 5 f@'J [ :=L“£ D [ > x>A@vH 8 BKz > ~Ð_?6xLD :¡576 :¢8 _98Â>Q< D 5 BKJ“JK>}6x< DI†5 :œ6QDu>QŠ“>}@ NÒ:ˆ8{D{8i¼D‚†5 @»>MBKNmNÅ:¢8 D„8i¼DI†5 NÒ:ˆ8{D„8 5 A~NÅ:ˆ8{D„8 >;DžL >;DuLCX

 h   - Ã m †   

3 ˜μ>D < ŒK> BK6 :œ698 DFBK6xL9> 5 A~‡LËk]rík ò;ëžñZLÕnÁòÐrvëMi BK6a< * ŒK> B VBx@€:B?Œ?Nˆ> 5 A~D‚H“JK> LÕnÁòÐrwëX ‘ [ BGD <K5 †c> Š“>;D :¢~+†c> <K

• W =ñ`ò]ð.ƒ  BE~\Du>A@ç†c> <?5 *vˆ ñ ƒ„: XO>CXvi BQ8ž8;:¡Š76 ñ D 5 *  Ö

3 Z [ > Dž>QL [ 6 Y:Y‰7_x>`8 _8h>Q< D 5 Ÿt6x< 5 7_QD† [ :¡L [ z >;D [ 5 ¼< ƒÆ5C@ Ÿj>}NP<  D 5 _98h> ~5C@ BK6 5 7Œ–ÏÐ>QL;D :ˆ8 LB?NONP>Q< à ãC8;IéÜ ŠEI~ ‹ ãâO܍Œ IãA6I/â?:$87I/ÛéX

9² ¶ Qª  ³Ð´ S

[[ (^) þVý ¬]§x² ¬² Eª  ¶ ;¹ ý ²u¸ ¬’§ ý ¦;\ ý;ý ¸^]]] U

 9² ¶ Qª  ³oR`²¹² ’²¹²V´ S [[ (^) þVý ¬]§x² ¬² Eª  ¶ ;¹ ý ²u¸ ¬’§ ý ¦;\ ý;ý ¸  ¶ ¬]§ [[ (^)  ¶  ý ¸ ;²¹;² U

 ² ¶ Qª  ³ Eý T’¬’¥ ý• ªF¤ ¬ þ ´ S [[ (^) þ}ý ¬’§x² ¬9² Qª  ¬]§ ý ¶ ;¹ ý ªž¸  ¶ ¹¹ ¶ ¬ [[ (^)  ¶ ¬’§  ¶  ý ¸ ¬ ý T;¬’¥ ý þ ªž¤ U U

;¹;ªG¦¦ RG²;¹² ý R ¶ 9;¹ ý ý T’¬ ý ¸ M¦ R ¶ ;¹ ýS R G²¹;² ;²;¹²^± ¶ ¸G¬  ¶ ¸ Q²  ·ž¸¥ þ º ý j±

 ² ¶ Qª  ³Ð´ S

[[ (^) þ}ý ¬’§x² ¬9² Qª  ¬]§ ý ;²;¹² ý ¶ 9;¹ ý U U