generation of incremental parsers

12

Upload: independent

Post on 15-May-2023

1 views

Category:

Documents


0 download

TRANSCRIPT

������������� ��� �������������������������� �!����!

"$#&%�')()*,+.-0/21&"$# 3�#43�()5,64/.541&*,6478%�# "9#4:�*;+<+.')=4*

>@?BADC�EGFIH ?BJKFLNMPOQJRM)LNEIH�C�FISUT<VBW&XYCNH ARZ[V]\^V]_`CNaNLbC2VcVed2J4WDf0gNhNhNi�jkEI?BJRVG?0Wml;ADC2SUJn�o SqprC�EI?BVBW s[C�EGEISUt[CKu2vcZ o Sqa0LRw ?BV@CNpqL0JRVGLKvcZDs,T0w ?BV

xkEIpzy,{K|b|0}�~��b�2�b�0�����b�0�0},�K�0�b�N�����N�b�

�����B�B���D�N�0� \^J�SqJ[T<EI?BH ?<J;FeC2pcs,? o ?BpqLNA[H ?BJKF�?BJ o S�EIL0J[H ?<J;F M)LNE�Z[JREI?<V�FGEISUT.FI?�sTBLNJKFI?<�;FG��MrEI?B?�pUCNJ[aNZDC2a0?BV�SUV�sR?<VGT<EISqtm?�s9CNJ[s�FI?BV�FI?�s&w]jcZRE�A,EIL0AmL0VIC2pcSqJ[T<pUZ[sR?BVC�ADC2EIVG?�a0?BJR?<EeC2FIL2E�WYC2J�SqJ[T<EI?<H ?BJKFeCNpYMzC2TBSqpqSqF� ¡FIL¢H�CN£0?�FI¤R?�L o ?<EeCNpqp]ADC�EIVGSqJ[a?<¥¦TBSq?BJKF�SUJ�FI¤[?§TBL0JKFI?<�;F`LNMmA,EIL0aNEeC2H¨sR? o ?BpqL0ARH ?BJKF�©�CNJ[s�C^aNEeC2A[¤[SqT�C2pRSqJKFI?<EGMªCNTB?FI¤[C2F�AREIL o SUsR?BV�C�TBLNH A[pq?<FI? VG?<F«LNM]TBZRV�FIL0H Sq¬�C�FISULNJ­CNJ[s8FGEeCNT<?�MªCNTBSqpqS�FISq?BVBw�®Y¤[?FILKLNp¯WbtDCNA,FISq¬B?�s °G±D²¦C�M)FI?<E�OQJRT<EI?BH ?BJKFeCNpRX�LNJ;FI?.�,FG��³REI?<?k´�J o SqEILNJ[H ?BJKF�WNCNARAm?�C2EIVFIL«tm?@VGZ[Am?<EISqL2EFIL�LNFI¤R?<E]a0?<J[?<EeC2pµTBLNJKFI?<�;FG��MrEI?B?@A[C2EIVGSqJ[a«?BJ o S�EILNJ[H ?BJKFIVC2JDs�SUVTBLNH ADC�EeCNt[pq?@FIL s,?<FI?<EIH SqJ[SqV�FISqT@LNJ[?BVBWR¶]¤[?BJ�FI¤[?�TBLNJ;FI?.�,F]SqV]J[L2F^CNH«t[Sqa0ZRL0Z[VBw

· ¸[¹^ºm»&¼�½«¾�¿`º&ÀI¼^¹

Á]+<5,Â,+B*;Ã�Ã�')6&Â8+<-NÄ[Å&')+<-N/ Æ�-N+eÇB*;')69ÆBÈ4*;+B*,Æ�Ç.-2+<'ª/IÇ<')ÆN/¦Ã�*,ÉD'r6&­'rÇ�=`5;Ç<È�ʯ+.')-2647&(rË�*;647�-2Ì�ÍÆ�')-26[ÇN#PÎ@È&'ª/�')Ã�Ï&(r')-N/«Ï&+<5KÐD')7m')6&ÂÑÇ<È&-�ŵ/e-N+�Ò�'rÇ.È�*,6¡')6RÇ<-2+.Ê�*,Æ2-�'r6Ó5,+B7m-2+�Ç.5�Ê�*bÐR5,+�')64Æ2+.-2ÍÃ�-N6[Ç<*;(PÏ&+<5,ÂR+<*,ÃÔ7&-2Ð,-N(r5RÏ&Ã�-26[Ç@'r6¢*�Æ25,6[Ç.-2Õ[Ç@Ò�È&-N+.-�/e-NÐ,-2+B*;(PÆ�5R64/.-NÆ�Å&Ç.')Ð,-«Æ25,+<+.-0Æ�Ç<'r5R64/5;Ê�Ç.È&-¡')6&Ï&Å&Ç8*;+<-­Å4/.Å4*;()(rË�ÃÑ*,7m-R#^3�ÊzÇ<-2+�-0*,ÆBÈÖ-N7m'rÇ.')6&Â$5Rϵ-N+<*;Ç.')5,6Ö5,6¨*;6¨')6&Ï&Å&ÇN1^'rÇ</'rÃ�Ï&()-2Ã�-26[ÇB*KÇ.')5,6¡/.È&5RÅ&()7­*,()/.5Ñ=`-�Å&ÏP7&*KÇ<-N7�-2ÌÑÆ2'r-N6[Ç.()Ë,14Ò�È4')ÆBÈ¡Ã�-0*;64/@Ç<È4*KÇ�Ï&+<-2Ï4*,+.')6&Â*�Ï&+<5,ÂR+<*,Ã×+<-NÄ[Å&')+.-0/�/.'rÂR6&'UØ`Æ2*;6[Ç<(rË¢(r-0/./�-�ÙP5,+.Ç�Ç<È4*;6Ó7&-2Ð,-N(r5RÏ&')6&Â�'rǫʯ+<5,ÃÚ/<Æ�+B*KÇ<ÆBÈ�#4Û�-*;+<-�')6RÇ<-2+<-N/eÇ.-07Ñ'r68()*,6&Â,ŵ*;Â,-«7m-N/.'rÂR6�*;Ï4Ï&(r'ªÆ2*;Ç.')5,64/N1[Ò�È&-2+<-�Ã�5m7m'rصÆ2*;Ç.')5,64/k5;Ê�Ç<È&-�Â,+B*;Ã�ÍÃ�*;Ç.'ªÆ2*,(¦/eÇ.+<Å4Æ�Ç.Å&+<-�*,+.-Óʯ+.-0ÄRÅ4-26[ÇN#@ÜG6ÝÇ<È&'ª/¢Æ25,6[Ç.-2ÕDÇN1@Ï4*;+B/.-2+�ÂR-26&-N+<*;Ç.')5,6¨'ª/¢'r64/.Ï&')+.-07=[Ë�ަ߯à0á�âäã åKæQ1[Ò�È&'ªÆBÈ�Òk-«È4*bÐ,-«-�ÕDÇ.-N647m-07�')6�5,+B7m-2+^Ç.5�7m-N*,(µÒ�'rÇ.È8Â,-N6&-2+B*;(`Æ�5,6[Ç<-�ÕDÇeÍQʯ+.-N-Â,+B*;Ã�ÃÑ*;+B/çQè`éRê�/<ë�#0Á*,+</.')6&Â@')/�/eÇ<*;Ç.-07¦'r6¦Ç<È&-^Æ�5R6[Ç.-�ÕDÇ�5,ÊmÏ4*;+B*;()(r-N(KÃ�-�Ç.È45D74/21b*@ÐK*;+<')*;Ç.')5,65;Ê�ì^*;+<()-2ËPí /¦Æ25,64/eÇ.+<Å4Æ�Ç<'r5R6Öã îKækÏ&+.5Rϵ5[/e-07¡=DË�ï§*;6&Â9ã ð;æ]Ç<È4*KÇ�/.-2ϵ*;+B*KÇ.-0/«Ç.È&-Ñ-2ÕD-0Æ�ÅmÇ<'r5R6/IÇ<+<*;Ç.-2ÂRË�ʯ+.5RÃñÇ<È&- 'rÃ�Ï&()-2Ã�-N6RÇB*KÇ<'r5R685,ʧÇ<È&- Ï&Å4/.ÈmÍG7m5KÒ�6¢*,ÅmÇ.5RÃÑ*KÇ.5R6�çQò&óPô�ë�#õ§')64*,(r()Ë,1@')64Æ�+<-2Ã�-26[ÇB*;(¦Ï4*;+B/.'r6&Â�Ò�'UÇ<È&')6�ÂR-26&-N+<*,(�Æ25,6[Ç.-2Õ[Ç.Í�ʯ+<-2-�Ï4*,+</.'r64ÂäÈ4*R/8=`-2-N6

*,7&7m+<-N/</.-N7¢=DË¢ÐK*,6¡7m-26Óöc+B*;647�ã ÷Kæ*;647­ø�-2É,-N+</�ã ùKæQ#Pöc5;Ç.È¡*,ÅmÇ.È45,+B/@Ç<*,É,- Ç<È&-�ÐK*;+<'ª*;=&()-Æ�5KÐ,-N+.')6&Â�Ç.È&- Ã�5m7m'rصÆ2*;Ç.')5,6­*,/@*�Ï4*,+<*,Ã�-2Ç.-N+kÇ<5�Ò�È&')ÆBÈ¢Ç<È&-�Ç.-�ÕDÇ�Ç<È4*KÇ�'ª/@Ç.5�=`- Ï4*;+B/.-N7/eÈ&5RÅ&(ª7¡=`-�+<-N7mŵÆ�-N7�14Ç<58Ï&+<-2ÐR-26[Ç�Ç<È&-�/eËm/eÇ.-2Ãúʯ+<5,Ãû7m5R'r64Â�Å&6&64-NÆ�-0/./<*;+<Ë¢Òk5R+.É�7mÅ&+<'r64ÂÇ.È&-�/e-0*;+BÆBÈ�ʯ5R+]Ç.È4')/^Ã�')6&')ÃÑ*;(`6&5m7m-,1,ʯ5,+]-2Õm*,Ã�Ï&(r-R1,Ò�È&-N6�Ç.È&-«'r64Ï&ÅmÇcÆ25,6[Ç<*,'r6µ/]*;6Ñ-N+.+<5,+0#ÜG64/IÇ<-N*R7�1RÒc-�Å4Ï`7&*;Ç.-�+.Å464/^')6�ϵ*;+B*;()(r-N(&Ç.5�Ç.È4-«Ï4*,+</.')6&Â�ãrüNýKæ�1[Ò�È&')ÆBÈ�-264/.Å&+<-N/^Ç.È&-«-N*;+<()'r-N+7m-�Ç<-NÆ�Ç<'r5R6�5;ʧ-N+.+<5,+B/N1RÇ<ÈDÅ4/�*bÐ,5R')7m')6&Â�*;6DË�Å&646&-NÆ2-N/</.*,+.ËÑÒc5,+<ÉP#

þ ÿ��Y»�����»�����¹��»��ºmÀe¼^¹

Á*;+B/e-N+§Æ�5R64/eÇ.+<Å4Æ�Ç<'r5R6�'ª/�*,6�-2Õ[Ç<-264/.')5,6�ʯ+<5,à ަ߯à0á�â�ã åbæm'r6�5,+B7m-N+�Ç<5«Ï`-2+<Ã�'UÇYÇ.È4-cÂR-26&-N+<*;ÍÇ.')5,6�5,Ê&-�ÕDÇ.-N647m-N7��,ô ���������§ò&óPô�/N#0"­5R+.-k-�ÕmÏ&()')Æ2'UÇ<(rËR12Ç<È&-cÂ,-264-2+B*KÇ.')5,6¦5,ÊmÇ<*;=4(r-0/�È4*R/�=`-2-N6

g

+.-2ÍQ')Ã�Ï&(r-NÃ�-26[Ç.-07$')6ä5,+B7m-N+�Ç.5�7m-0*;(cÒ�'UÇ<Èä=`5;Ç.ÈÖ')64Æ�+<-2Ã�-26[ÇB*;(@*;6479645,6mÍG7m-�Ç<-2+<Ã�'r6&'ª/eÇ.'ªÆÏ4*;+B/e')6&µ#4Û�-�7m')+<-NÆ�Ǧ5,Å4+«*KÇ.Ç.-N6RÇ<'r5R6¡Ç<58Æ�5R64/eÇ.+B*;')6&'r64ÂÑÇ.È&-�/.Ï4*,Æ2-�=`5,Å&6474/�ʯ5R+�Ç<È&-�Â,-26&Í-2+B*KÇ.')5,6�Ï&+.5mÆ2-N/</21DÒ�È&'ªÆBÈ�')6DÐ,5,()Ð,-0/]Ç<5�Ç<È&- Æ�5R64/e'ª7m-N+<*;Ç.')5,6�5,ʧ7m-�Ê�*,Å&(rÇ�*RÆ�Ç<'r5R64/@*,/kÒk-N(r(�*R/*;+<+<*bËÑÆ�5RÃ�Ï4*,Æ�Ç.')6&Â�Ã�-2Ç.È&5m7&/�'r6¢Ç.È4-�ò&óPô#Î@È&- ()*,6&Â,ŵ*;Â,-�+<-2Ï&+<-N/.-26[Ç.')6&Â�*;()(�Ï`5R/</e')=&()- -2()-2Ã�-26[Ç<*,+.Ë�*RÆ�Ç<'r5R64/�')68Ç<È&-�ò&óPô�*;()()5KÒ�/

Å4/«Ç.587&-NÆ�5RÃ�ϵ5[/e-�Æ�5,Ã�Ï&()-�Õ¡*RÆ�Ç.')5,6µ/�')6¡Ç<-2+<Ã�/«5;Êc/e')Ã�Ï&(r-�Ï&Å4/.È�*,647­Ï`5,ÏÓÇ.+B*;64/.'UÇ<'r5R64/N1Ò�È&')ÆBÈÑÆ25,64/eÇ.'rÇ.ÅmÇ<-N/]Ç.È&-�=4*R/e'ª/Yʯ5R+'r6[Ç.+<5m7mÅ4Æ2'r6&Â�7&Ë[6µ*;Ã�')Æ@Ï4+.5RÂ,+B*;Ã�Ã�'r6&Â�')6�Ç.È&-�Ï4*,+</.')6&ÂÏ&+.5mÆ2-N/</2#µÜG6Ó5,+B7m-N+�Ç.5�Ç<*,É,-�ÆN*;+<-�5;ÊÇ<È&-�Ç.+B*,Æ�-�5;Ê]Ï`5,ÏÓÇ.+B*;64/.'UÇ<'r5R64/�')6Ó+<-N7&Å4Æ�-�*,Æ�Ç<'r5R64/N1ϵ5[/./.'r=4(rËÑ')6�Ç<È&- Æ�5R6RÇ<-�ÕDÇ@5;Ê�6&5R6mÍG7m-�Ç<-2+<Ã�')6&'ª/IÇ<')Æ«')6RÇ<-2+<Ï&+<-�Ç<*;Ç.')5,6�1[Ç<È&- /eËm/eÇ.-2Ãñ*,()/.5�Ï4+.5,ÍÐ['ª7m-0/]Ç<È&-�Ê�*,Æ�')()'UÇIË�Ç.5�Â,5�=4*,ÆBÉ�5KÐ,-N+]Ç<È&-�/<ÆBÈ&-NÃ�*�'r6�Ç.È&-¦*;Å&Ç.5,ÃÑ*;Ç<*&#[Û¨È4*;Çkʯ5R(r()5KÒ�/^'ª/c*/eÈ&5R+eÇ�7m-0/.Æ2+.')ÏmÇ<'r5R685,Ê�Ç<*,=&()-N/�*,647�ʯÅ464Æ�Ç<'r5R64*;()'UÇ<'r-0/��

����������� �������� ��Ð,-NÆ�Ç.5R+ Ã�*,Ï&Ï&')6& ���������� � Ç.5,ÉR-264/�'r6[Ç.5­Åµ/e-N+Ní /¦Ç.5RÉ,-N696[Å4Ã�=`-2+B/2#�Î@È4-Ç.5RÉ,-26�Ç.+B*;6µ/e(ª*KÇ<'r5R6$Ç<*,=&()-¢'ª/�')647m-�Õm-07ä=DËä*ÓÇ.5RÉ,-26Ö6DÅ&Ã�=`-2+�*R/�+.-2Ç.Å&+<6&-N7�=DË9Ç.È4-Å4/.-2+0í / �������� +<5,Å&Ç.')6&-,#mÜ�Ç�ËD')-2(ª7&/cÇ.È&- ')6[Ç.-N+.64*,(PÇ.5RÉ,-26¢6DÅ&Ã�=`-2+�ŵ/e-07�=DË�Ç<È&- Ï4*,+</.-2+0#

��������������� �P/eËDÃ�=µ5R(PÇ.È4*;Ç�+.Å&()- � 7&-2+<'rÐR-N/N#��������������� �`6DÅ&Ã�=`-2+�5,ÊY/.ËDÃ�=`5,(ª/�Æ�5,Ã�Ï`5R/.'r64Â�Ç<È&- +.')Â,È[Ç�È4*,647�/e'ª7m-¦5;ÊY+.Å4(r- � #���������� !�"��#����� �m7m-2Ê�*;Å&(rÇ]+.Å4(r-@Ç<5 +.-07mÅ4Æ�-@Ò�'rÇ.È&')6�/eÇ<*KÇ<- � 1,Ò�È&-26 �����$�%���� 7&5[-0/Y6&5;Ç^/.Ï`-NÆ�Í'Uʯˢ/e5RÃ�-�Ç.È4'r6&Â�-N()/.-¦Ç.5Ñ7m5µ#���������� '&)(���(*��+ � ��7m-2Ê�*;Å&(rÇ�/eÇ<*;Ç.- Ç<5�Â,5�Ç<5�*KÊzÇ<-2+«*�+<-N7&Å4Æ�Ç<'r5R6�Ç.È4*;Ç�Â,-N6&-2+B*KÇ<-N/�ÐK*;+<'ª*;=&()-,-, â/./0µô§à*132 + 1µ-�Õ&Æ�-NÏmÇ�Ò�È&-26 �����$�%���� /.Ï`-NÆ�'rØ4-0/�/e5RÃ�-2Ç.È&')6&ÂÑ-N()/.-�Ç.5Ñ7m54#

�����4 )"!�5����� ��')647m-�Õ�'r6 ������)%!��� 5;Ê]Ç<È&-�Ï`5,+.Ç.')5,6�7m-N/<Æ�+<')=&'r64¢/eÇ<*;Ç.- � #�Î@È&-�()5[5RÉK*;È&-0*,7Ç.5RÉ,-26ÝÇIË[Ï`-�')/¢Å4/.-N7 Ç<5�')647m-2Õ¨Ç.È4*;Ç8Ï`5,+.Ç.')5,6 Ç.5$ص647Ý5RÅmÇ¢Ò�ȵ*KÇ¢Ç.5�7&54#@Ü�Ê�Ç.È4-ÐK*;()Å&-�'r6 ������)%!�6� ')/�Ï`5R/.'UÇ<'rÐR-,1�'rÇ 'r647&-�Õm-N/«Ç.È4-�Æ25,+<+.-0/eÏ`5,6µ7m'r64Â�-2()-2Ã�-N6RÇB*;+<Ë¡*,Æ�Ç.')5,65,6 �����78�$(�9:��$(�� #�Ü�ÊkÇ<È&-ÑÐK*;()Å&-�')/<;N-2+<541PÇ<È&-Ñ7m-�Ê�*,Å&(UÇ�*RÆ�Ç<'r5R6Óʯ+<5,à �����)�= !)"!�5����� ')/Å4/.-N7�#&Û�-�Æ2*,6¢*bÐR5,'ª7ÑÇ<È&-�*,ÆNÆ�-N/</kÇ.5 �����$�%���� ')6¢Ç.È&-¦Ê¯5R(r()5KÒ�')6&Â�ÆN*,/.-N/*�> Ü�Ê�Ç<È&-«5R6&()Ë�*RÆ�Ç.')5,6�'r6¢/IÇB*KÇ.- � ')/^Ç.È&-¦7m-2Ê�*;Å&(rÇk5R6&-,#DÎ@È&'ª/cÆN*,/.-�Æ2*,6�=`-�7m-2Ç.-0Æ�Ç.-07')68Ç<È&+<-2-�7m'rÙ`-N+.-N6[Çcʯ5R+.ÃÑ/@Ò�'rÇ.È&5RÅmÇ�*,ÆNÆ�-0/./.'r64Â�Ç<5 ������)%!��� �

? Û¨È&-N6 ���4 )"!�5�����A@ ,-, é��Rô�ê]#? Û¨È&-N6 ���4 )"!�5����� 2 ��(�(*B)*C �D)�FE�G #? Û¨È&-N6 ���4 )"!�5����� 2 ��(�(*B)*C �D)�FH ,-, �,ô§à�.�#

> Ü�Ê]Ç<È&-�Æ2Å&+.+<-26[Ç«*RÆ�Ç<'r5R6¡')/�Ç.È&-�7m-2Ê�*;Å&(rÇ«5R6&-,1`Òk-�Æ2*;6�*;(ª/e5�*bÐR5,'ª78Ç.È&-�*,Æ2Æ2-N/</�Ç<5�����$�%���� Ò�È&-N6JIKI8L�MONPL�Q�ã IRI�SUTRL�V�ã W2æYX[Z�\�\�Q8T8M]NPTR^,æF_` Z=\�\�Q TRMONPTR^41]*R/�Ò�'r()(�=`--�ÕmÏ&(ª*;')6&-078=`-2()5KÒ #

�����4�&K(��$(���+ � �]Ç.È&-8'r647&-�Õ$')6 ������)%!�6� 5,Ê�Ç.È&-8ϵ5R+eÇ<'r5R6ä7m-0/.Æ2+.')=&')6&¡Ò�È4*;Ç�Ç.5�7m5Ó*;ÊzÇ.-2++.-07mÅ4Æ2'r6&Â�* +<Å&(r-�Ç.È4*;Çc7m-N+.')Ð,-0/]ÐK*;+<'ª*;=&()- ,-, â-.Y0µô§à*1a2 + #[Î@È4')/kϵ5R+eÇ<'r5R6�'ª/^')647m-2ÕD-07=DË9Ç.È&-�Ï4*,+</.-2+�/eÇ<*KÇ<-�6[Å4Ã�=`-2+Ñ*,/�'rÊ�Ç<È&-¢Ç.-�ÕDÇ�ʯ5,+�Ç<È&'ª/�6&5,6mÍQÇ.-N+.Ã�')64*;(@È4*R7ä=`-2-N6Ï&+<-2ÐD'r5RÅ4/.(rË8+.-0*,7�#`Î@È&-�ÐK*;()Å&-�ʯ+<5,à �����$�%���� 'ª/�Ç.È&-�/eÇ<*;Ç.-�Ç.5�ÂR5�Ç.54#`Û�-�Æ2*,6¡*bÐ,5R')7Ç.È&-�*RÆ2Æ2-N/</cÇ.5 ������)%!�6� Ò�È&-N68Ç<È&-�*,Æ�Ç.')5,68Ç.5Ñ*;Ï4Ï&(rË8')/cÇ<È&-�7m-2Ê�*;Å&(rÇ�5,6&-)�> Û¨È&-N6 ���4�&K(��$(���+ � 2 ���$��$�cb�G #> Û¨È&-N6 ���4�&K(��$(���+ � 2 ���$��$�cd ,-, �Rô§à�.�#> Û¨È&-N6 ����"DC �D"DB������4]�"��5���5� 2 ���������� _` �������� #

��������)%!�6� �RÐ,-NÆ�Ç.5R+Ò�'UÇ<È�Ï`5,+.Ç.')5,6µ/�ʯ5,+]7m'rÙ`-N+.-N6[Ç]Å4/e-0/21bʯ5RÅ&647�ÐD')* ���4]�"�� *,647 ���4�&K(��$( #

f

������"C]�D"B �,ÐR-NÆ�Ç<5,+�'r6µ7m-�Õm-N7�')6�Ï4*,+<*,(r()-2(DÒ�'rÇ.È ������)%!��� #;Ü�Ç')647m'ªÆ2*KÇ<-N/N1K'r6�*�+.5RÅ&647&*,=µ5RÅmÇÒc*bËR1,Ç<È&-¦=µ5RÅ&647&/c5,Ê�Ç.È&-¦Ï`5,+.Ç.')5,6�ËR5,Å¢*;+<-�Ç.+<ËD'r64Â�Ç.5�-�Õ&*,Ã�')6&-R#��mÅ&Ï&Ï`5R/.-�Ç<È4*KÇ@Ç.È4-ϵ5R+eÇ<'r5R6$5;Ê ������)%!��� /eÇ<*,+eÇB/�*;Ç�')647m-2Õ 4 *,647�Ç<È&-8')647m-2Õ9Ç.5�=µ-¢-�Õ&*,Ã�')6&-079Ò�'UÇ<È&')6Ç.È&-ÑÏ`5,+.Ç.')5,6�'ª/ + #�Î@È&-26�'rÊ ����"DC �D"DB�� 4 2 + � _` + 1 + 'ª/¦5,ÅmÇB/e'ª7m-�Ç.È4-Ñ=µ5RÅ&647&/¦5,ÊkÒ�È4*;Ç')/ *RÆ�Ç<Å4*;()(rË¡*,(r()5mÆ2*;Ç.-N7�1�*;647¡Ç.È&-�7m-2Ê�*;Å&(rǦʯ+.5Rà �������� !�"�� 5R+ �������� '&)(���( /.È&5RÅ&()7�=`-Å4/.-N7�#���Ç<È&-2+<Ò�'ª/e-R1 ������)%!���� 4 2 + � /.È&5,Å4()78=µ- ŵ/e-07�#

�������78�$(�9:��$(�� �KÐ,-NÆ�Ç.5R+YÆ25,6[Ç<*,'r64'r6&Â�Ç.È&-�7m-0/.Æ2+.')ÏmÇ<5,+B/�ʯ5R+Y*RÆ�Ç<'r5R64/�')6�Ç.È&-�*;Å&Ç.5,ÃÑ*;Ç.5,6 �=&()5mÆBÉ�� ý���È4*,(UÇ�� ü� 645,6mÍG7m-�Ç<-2+<Ã�'r6&'ª/.Ã� å�� +<-N7mÅ4Æ2-�� î�� /eÈ4'UÊzÇ � ð�������P����(��'����� �§Ç.È&-�*RÆ2Æ2-N/</e')6&Â�/eËDÃ�=`5,(]ʯ5,+¦Ç.È4-�/IÇB*KÇ.- � #�ÜG6�5,Ç.È&-N+�Òk5R+<74/21`Ç.È4-�/eËDÃ�=`5,(Ç.È4*;Ç�+.-NÏ&+<-N/.-26[Ç</kÇ.È4- ()*R/IÇ@Ç.È4'r6&Â�*RÆ2Æ2-2ÏmÇ<-N78Ç.5�+<-N*,ÆBÈ�Ç.È4*;Ç�/IÇB*KÇ<-,#������� ���P�D�� 9:48����� �µ'r647&-�Õ8')6 ����� ���P�D�� 5,ʧÇ<È&- Ï`5,+.Ç.')5,68Ç.È4*;Ç�Æ�5,6[ÇB*;')64/@*;()(PÇ.È&-�/eÇ<*;Ç.-N/È4*bÐD'r64Â�*�Ç<+<*,64/e'rÇ.')5,6¢5KÐ,-N+cÇ.È&-�/eÇ<*;Ç.- � #������� ���P�D�� �4Ð,-0Æ�Ç<5,+c'r647&-�Õm-N7¢=DË ����� ���P�D�� 9:4 Ç.ȵ*KÇ�Â,+<5,Å&ϵ/^Ç<5,ÂR-�Ç.È4-2+�*;()(PÇ.È&- /eÇ<*;Ç.-N/Ò�'UÇ<È­*�Æ25,Ã�Ã�5,6¢Ç.+B*;6µ/e'rÇ.')5,6�#

Ò�È&-2+<-¦Òk-¦È4*bÐR-¦Æ25,64/.'ª7m-2+<-N7�Ç.È&-¦Ê¯5R(r()5KÒ�'r64Â�/.-�Ç�5,ÊYÆ25,64/eÇ<*,6RÇB/��

� ,-, éDßzâ�ô ���&Ç.È&-¦Ç<-2+<Ã�')64*;Ç.')5,6�/IÇB*KÇ.-R#4Î@È&- 5R6&(rË8/IÇB*KÇ.-¦Ò�È&-N+.- * C �� � 'ª/@Ï`5R/</e')=&()-,#� ,-, é��Rô�ê��4Ç.È&- Ã�5[/IÇ�6&-NÂR*KÇ<'rÐR-�/.È&5R+eÇ�')6RÇ<-2ÂR-2+0#���/.-N78Ç.5��µ*,Â�')6 ���4 )"!� #� ,-, �Rô§à�.��µÇ<È&-�Ø464*;(Y/eÇ<*KÇ<-,1`Ò�È&5R/.-�*RÆ2Æ2-N/</e')6&Â�/.Ë[Ã�=µ5R(§'ª/�Ç.È&-�-2647Ó5;Ê]')6&Ï&ÅmÇ0#`Ü�ǦÈ4*R/*¡5R6&(rË�5R6&-�Ç<+<*,64/.'UÇ<'r5R6�1�5KÐR-2+ , , éDßzâ�ô �4#��m541�Òk-85,=`-2Ë�Ç.È&-¢Ï4*,+</.-2+0í /�/IÇ<+<*;Ç.-NÂ,Ë�5;ÊÃÑ*;ÉD'r64Â�*,(r(�7&-NÆ�'ª/.'r5R64/@5,6&-�Ç<5,É,-N6¢*,È&-N*R7�5,Ê�'rÇ</�*,Æ�Ç<'r5R64/N#

� ,-, â/./0µô§à*1��4Ç.È&-¦Ç<5;Ç<*,(�6DÅ&Ã�=`-2+�5,ʧÇ<5,É,-N64/N1m'r64Æ2(rŵ7m'r64Â�Ç<È&- -26µ785,Ê�')6&Ï&Å&ÇN#

recovered partsnew parts

Total recovery Grouped recovery

����� ���D��� EeCNT.FISUTBCNpPSqJ[T.EI?BH ?BJKFeCNpmEI?BTBL o ?.EG 

!cº��¹«½�Y»4½#" ��» �[À.¹�

�«Å&+�*,'rà 'ª/�Ç<5ÓÏ4*,+</.-�*¡/.-26[Ç.-N64Æ�-%$'&)(*(*( + ` $'&��,���-$ +�5,Ê�(r-N6&Â;Ç<È/.1Y*,Æ2Æ25,+B7m')6&­Ç.5�*èµé[ê10 ` ç324�)56�-7'�98ë�1RÒ�È&-N+.-�2 ')/YÇ<È&-«/.-�Çk5;Ê�6&5,6&Í�Ç<-2+<Ã�')64*,()/N1:5 Ç.È&-«/e-2Ç^5;ÊPÇ.-N+.Ã�')64*;(/eËDÃ�=`5,(ª/N1�7ñÇ<È&-Ñ+.Å4(r-0/ *;647;8 Ç.È&-�/eÇ<*,+eÇ�/.Ë[Ã�=µ5R(�#�Î@È4-Ñ-2Ã�ÏmÇIËÓ/eÇ.+<'r64¢Ò�')()(]=µ-Ñ+<-2Ï4+.-2Í/e-N6RÇ<-N7�=[Ë=<D#DÛ�-¦Â,-264-2+B*KÇ.-�ʯ+.5RÃ>09*�ò&óPôÓȵ*bÐ[')6&Â�*,/kØ46&'rÇ.-2Í�/eÇ<*;Ç.-¦Æ�5R6RÇ<+.5R(`* �Rô ����� ���*;ÅmÇ<5,ÃÑ*KÇ<5,6�=&Å&')(UÇ�*R/¦'r647&')ÆN*KÇ.-07�'r6/�D-0Æ�ÇN#�åm#�Î@È&-�7m')+<-NÆ�Ç -2ÕD-0Æ�ÅmÇ<'r5R6�5,Ê�ò4óPô�/ ÃÑ*bË¡=`--�Õmϵ5R6&-26[Ç<')*,(Ò�'UÇ<È�+<-N/.Ï`-NÆ�ǦÇ<58Ç<È&-Ñ()-26&Â,Ç.È�5;ÊkÇ.È&-Ñ')6&Ï&ÅmÇ�/eÇ.+<')6&­*;647�ÃÑ*bË­-2Ð,-N6�()5D5,Ï�#Î�5�Â,-2Ç�Ï`5,()ËD6&5,Ã�'ª*;(]Æ25,Ã�Ï&()-�Õm'UÇIËR1PÒk-�Ã�ŵ/IÇ�*bÐ,5R')7�7mÅ&Ï&()'ªÆ2*KÇ<'r64¢/eÇ<*RÆBÉ¡Æ�5,6[Ç<-26[Ç</¦Ò�È&-N6/e-NÐ,-2+B*;([Ç<+<*,64/e'rÇ.')5,6µ/ÃÑ*bË�=µ-«*;Ï&Ï&()')-N7�Ç.5�*¦ÂR'rÐR-26�Æ�5,6&Ø4Â,Å&+B*KÇ<'r5R6�#KÜG64/eÇ.-0*,7�5;Ê�/IÇ<5,+<'r64¦*,(r(

i

Ç.È&-Ñ')6mʯ5,+<ÃÑ*KÇ<'r5R6�*,=µ5RÅmÇ�*­Æ�5R6mØ4Â,Å4+<*;Ç.')5,6�1PÒc-ÑÃ�Å4/eÇ�7m-�Ç<-2+<Ã�'r6&-�Ç<È&-Ñ')6mʯ5,+<ÃÑ*KÇ.')5,6�Òc-6&-2-07¢Ç.5�Ç.+B*,Æ2- 'r6­5R+<7&-2+@Ç.5�+.-2Ç.+<'r-NÐ,-�Ç.È4*;Ç«Æ�5R6mØ4ÂRÅ&+<*;Ç.')5,6�#&Î@È4')/�')6mʯ5R+.ÃÑ*KÇ<'r5R6�')/«/IÇ<5,+<-N7'r6[Ç.5Ñ*�ÇB*;=&()-��$5;Ê +5�$�!9 � �� `�� ã W*V ���1���)���,æ �<W*V���� �� 2�� 5���������� ��� �¦ý d � d ���Ò�È&-2+<-�� 'ª/¦Ç.È&-8/e-2Ç�5;Ê�/eÇ<*KÇ<-N/ ')6�Ç.È4- �,ô ��������� *,ÅmÇ.5RÃÑ*KÇ.5R6�#�ìk*,ÆBÈ9Æ�5R6mØ4Â,Å4+<*;Ç.')5,6�5;ÊÇ.È&-�ò&óPôÖ'ª/¦+.-NÏ&+.-0/e-N6[Ç.-N7Ó=DË¡*;6�'UÇ<-2Ã�/eÇ.5R+.')6&Â8Ç.È&-ÑÆ2Å&+.+<-26[Ç /IÇB*KÇ<-:W*V�1PÇ<È&-�-2()-2Ã�-26[Ç �Ï&()*RÆ�-07ä5R6äÇ<È&-�Ç.5RÏ�5,Ê«Ç<È&-­/IÇB*,ÆBÉä*,647$Ç<È&-­Ï`5R/.'UÇ<'r5R64/���*;6µ7!��')647m'ªÆ2*;Ç.')6&Â�Ç.È4-�/.Å&=mÍ/IÇ<+.')6&Â=$�"$# & �,��� $&%�/.Ï4*;6&64-N7�=DË'�$#4Î@È&-�/eËDÃ�=`5,((����� ��')647m'ªÆ2*;Ç.-0/�Ç.ȵ*KÇ�Ç<È&-�Ø46µ*;(�ϵ*;+.Ç) ��� �*# & �,��� ) ��� +,+¦5;Ê*�Æ�5R6RÇ<-�ÕDÇeÍQʯ+<-2-¦+.Å4(r- ) ��� - � ) ��� &����,� ) ��� +,+�È4*,/@=`-2-N6¢+<-NÆ25,ÂR6&'�;N-N7�#

Z

Y X

wi

wj

uk

ul

wm

wn

Forest to be recomputed from the modification ...uk

ul

����� ��.4� \�AmL0A�FGEeC2J[VGS�FISqL0J0/�1324659FILNFeCNpqp� �EI?BTBL o ?<EISqJ[a�C«H L;sRS87DT�C�FISqL0JÛ�-�7m-N/<Æ�+<')=µ-�Ç.È&-�Ï4*,+</.-2+«Å4/e')6&Â�Á*;+B/e')6&Â%�&ÆBÈ&-2ÃÑ*KÇB*&1P*�ʯ+B*;Ã�-NÒk5R+.É8ʯ5,+�È&')Â,ÈmÍ�(r-NÐ,-N(

7m-N/<Æ�+<'rÏ&Ç.')5,6�5;ÊPÏ4*;+B/e')6&¦*;()Â,5R+.'rÇ.È&ÃÑ/�ã890æ�#;3 4 ��D��+5�K&A��"C]�!9:� 'ª/]*«Ç.+<'rÏ4(r- :;� �=<1��>�?�1,Ò�'UÇ<È�¨*�/e-2Ç�5;Ê'rÇ.-NÃ�/N1@< ` �[ã T ���)���UX ü�æ � T ` $�"���*;6­')6&'UÇ<')*,(§/.-�Ç�5,Ê]/eÏ`-NÆ2')*,(�'UÇ<-2ÃÑ/�ÆN*;()(r-07CR�4](���C �!�D+#� Ç.È4*;Ç�-N64Æ�5m7m-0/ Ç.È4-¢/.-26[Ç.-N64Æ�-�Ç.5�=µ-8Ï4*;+B/e-07

& 1*;6µ7A>�*Ó/.-�Ç�5;Ê �)���7]"!��+=(���D�$�$4O� Ç.È4*;Ç«*;()(r5KÒ 6&-NÒ 'rÇ.-NÃÑ/�Ç.5�=µ-�7m-2+<'rÐR-N78ʯ+<5,à *,(r+<-N*R7mË�ÉD6&5KÒ�6�'rÇ.-NÃ�/N#µ:«-N7&Å4Æ�Ç<'r5R6/IÇ<-2Ï4/�*;+<-�5;Ê�Ç<È&-�ʯ5R+.ÃB��C & ���,��� ��CED�FHGJI "D(��Y�P� �R1§Ã�-0*;6&')6&ÂÓÇ.È4*;Ç�'UÊ�*,(r(@*;6[Ç<-NÆ�-07m-26[ÇB/CK"@5;Ê@*¢7&-N7mÅ4Æ�Ç.')5,6�/IÇ<-2Ï�*;+<-�Ï4+.-0/e-N6RÇ�*,647­Ç<È&-�Æ�5R647m'rÇ.')5,64/ "D(��Y�P� *;+<-�/<*KÇ<')/eØ4-07�1`Ç.È&-N6Ç.È&-�Æ25,64/.-NÄ[Å&-N6RÇ�G�/eÈ&5RÅ&(ª78=`- Â,-N6&-2+B*KÇ<-N7�=[Ë�Ç.È&- Ï4*,+</.-2+MLK#&ÜG68Ç.È4-�Æ2*,/.-¦5;ʧÇ.È&- Ï4*,+</.')6&Â*;()Â,5,+<'rÇ.È&à Òc- Ï&+<5,Ï`5R/.-,1[Ç.È&-�/.-�Ç�5,Ê�7m-07mÅ4Æ�Ç.')5,6­/IÇ<-2Ï4/�')/cÇ<È&-¦Ê¯5,()(r5KÒ�')6&Â�5,64-

> ` >ONQPSR TU�V>XWSYSR Z[T\�V>XW^]*_K�V>O`a]*bc�0>Xda]*efbÒ�È&-2+<-

> NQPSR T ` � F�ã W*V*- �Sg �.ý��.ý;æ �>XW^Y�R ZhT ` �[ã i ��� ���9�j�,ækF�ã iml �T���� ���<X¨ü2æmnpo ã T���� �j� XÝü�æq�<� C8+ D�sr=t �"���+=(�� çui � Tmë �v ®Y¤[?�?BH ARF� �V�FGEISqJ[aRW�wKW2SUV�EI?BA,EI?BVG?BJKFI?�s�tK �FI¤[?Y?BH A,FQ �VG?.F�LNMm¤K ,AmLNFI¤R?BVGSqVBWyx;wb\^J«SqJRA[ZRFPV�FGEISUJRaz v*{ { { | WK}�~���SqVEI?BAREI?<VG?BJKFI?�s�tK  n,� z v^� h � �f� � � z�� � � � g^� �����M��� � z |@� }O��� � }��ªuKw� � C2EIVGSqJRa¢VGTe¤[?BH�C�FeC8C�EI?�TBpqL0VG?Bp� ¡EI?BpUC2FI?BsÓFIL����j��� �������s�=�y���m�*���E�f���s�����=�S�=�u��� � �   �¯W�¶]¤R?<EI?

S�FI?BH V�C2EI?�T�C2pqpU?Bs0¡M����� �K�[���f��¢E���£���¤�NW�sR?�s,Z[T<FISqL0J¢V�FI?BA[V�C2EI?0�Q�M¡����=���¥��� ���E�h���IW`¤; ,AmL2FI¤[?BVGSqVC2EI? �M¦��s��� ��CNJ[sO7[JDCNp4S�FI?BH V]C2EI?c��������¡M����� �K�[���Iw

> WS]*_ ` �Dã W*V ���1���)���,æ F�ã W*V �f����� + + ��� ���,æ n o ã T �j� ���<X¨ü2æ\�<� �D��7]"� � �"���+=(�� ç�W�V �Tmë�

>O`a]*b ` �Dã W*V �f����� � �Q ���,æ�ã W*V ���0��� � ���)�QDæaFÓã W*V=l �M����� ��� & ���)���,æ �DW*V=lU �� ���D�� ç�W*VeëM�> d ]*e�b `�� ã W*V �M�X��� - ���)���,æaF�ã W*V l � ) ��� - ���)���,æ �W*V l &)(���( ç�W*V � ) ��� -0ë �

Ò�'UÇ<È � 2 � 581 W*V +<-�ʯ-N+.+<'r64Â�Ç.5¡Ç<È&-�')6&'rÇ.'ª*;(�/eÇ<*KÇ<-8*,647 �"���+=(�� 1 &K(��$( *,647 � ���P�D��+.-2ʯ-2+<+.')6&Â�Ç.5�Ç.È4-¦Ç<*;=4(r-0/cÇ.È4*;Ç�-264Æ25D7&-«Ç<È&- =`-2È4*bÐD')5,+@5;Ê�Ç.È&- �Rô ����������*;ÅmÇ<5,ÃÑ*KÇ<5,6-�� Î@È&-Ñ*,Æ�Ç.')5,6­ÇB*;=&()-Ñ7m-�Ç<-2+<Ã�')6&-0/«Ò�ȵ*KÇ *,Æ�Ç<'r5R6�/.È&5,Å4()7Ó=µ-�Ç<*,É,-N6¡Ê¯5,+ *8Â,')Ð,-N6Ó/IÇB*KÇ<-*;647¡(r5D5,ÉK*,È&-N*R7�#4ÜG6­Ç<È&-�ÆN*,/.-�5;Ê^/.È&'rÊzǦ*RÆ�Ç<'r5R64/21µ'UǦ7m-�Ç<-2+<Ã�'r6&-0/�Ç<È&-�+.-0/eÅ&(rÇ.')6&Â�64-2Ò/IÇB*KÇ<-�*,647¡')6�Ç.È&-�ÆN*,/.-�5,Ê^+.-07mÅ4Æ2-�*RÆ�Ç<'r5R64/21`Ç<È&-�+.Å&()-�Ò�È&')ÆBÈ�'ª/�Ç.5�=µ-Ñ*,Ï&Ï&()'r-07¡Ê¯5R+Ç.È&- +<-N7&Å4Æ�Ç<'r5R6�#

� Î@È&-�ÂR5;Ç.5�ÇB*;=&()-�7m-�Ç<-2+<Ã�'r6&-0/�Ò�È4*;Ç�Ç.È&-�/eÇ<*;Ç.- Ò�')(r(§=µ-�*;ÊzÇ.-N+�ϵ-N+eʯ5R+.Ã�')6&Â�*�+.-07mÅ4Æ2-*,Æ�Ç.')5,6�#mì^*RÆBÈ�-26[Ç<+.ËÑ'ª/�*,ÆNÆ�-N/</.-N7ÑÅ4/.')6&Â�Ç<È&- Æ�Å&+<+<-26[Çc/eÇ<*;Ç.- *;647�Ç.È&-¦6&5R6mÍQÇ.-2+<Ã�'r6µ*;(Q1Ò�È&'ªÆBÈ¢'ª/cÇ.È4- (r-2ÊzÇeÍ�È4*;647�/.')7&- 5;Ê�Ç<È&- +<Å&(r-�Ç<5Ñ=µ-�*,Ï&Ï&()'r-07�ʯ5R+�+.-07mÅ4Æ�Ç<'r5R6�#

� Î@È&-�+<-2ÐR-N*,(&Ç<*,=&()-�'ª/^Å4/.-N7ÑÇ.5�Ç<+<*bÐR-2+B/e-@Ç<È&-«Ø46&'rÇ.-«/eÇ<*;Ç.-�Æ�5,6[Ç<+.5R(45;Ê�Ç<È&-¦*;ÅmÇ<5,ÃÑ*KÇ<5,6=4*,ÆBÉDÒ@*;+B7&/*��W�V " � ������� ç�W*V"$# & ëY')/^-NÄ[Å&')ÐK*;()-26[Ç]Ç.5AW*V "$# & &)(���( ç�W*V

" ����ë�'rÊU�� 291*;647¢'ª/@-NÄ[Å&')ÐK*;()-26[Ç@Ç.5 � CR+ D� ������� �"���+=(�� ç�W*V

" ����ëk'UÊ(� 158#3�/¢')/¢/.È&5KÒ�6Ý')6 ãrü�æ�1^Ç<È&')/�/.-�Ç�5;Ê�7m-07mÅ4Æ�Ç.')5,6�/eÇ.-NÏ4/¢')/8-NÄ[Å&')ÐK*;()-26[Ç¢Ç.5$Ç<È&-�7mËD64*;Ã�'ªÆ'r6[Ç.-N+.Ï4+.-2Ç<*KÇ<'r5R685,ʧ6&5R6mÍG7m-�Ç<-2+<Ã�')6&'ª/IÇ<')Æ ò&óPô�/��� 3 7m-N7&Å4Æ�Ç<'r5R6�/eÇ.-NÏ�� �]+5� 'ª/�')6¢ÆBȵ*;+<Â,-�5;Ê/IÇB*;+.Ç.')6&Â�Ç.È&-¦Ï4*,+</.'r64Â�Ï4+.5mÆ�-0/./N#� 3 7m-07mÅ4Æ�Ç<'r5R6¡/IÇ<-2Ï� CR+ D� Æ25,+<+.-0/eÏ`5,6µ7&/cÇ.5ÑÏ&ŵ/eÈ&')6&Â�*�Ç<-2+<Ã�'r64*,( T85,6[Ç.5�Ç.È4- Ç.5RÏ­5;ÊÇ.È&-�/eÇ<*RÆBÉ�Ò�È&-N68Ç<È&-�*,Æ�Ç.')5,68Ç.5�=`- ϵ-N+eʯ5R+.Ã�-N78'ª/�*�/eÈ&'rÊzÇ�Ç.5�/eÇ<*;Ç.-cW*V l #� 3¨/IÇ<-2Ï� ��� Æ25,+<+.-0/eÏ`5,6µ7&/�Ç<5¦Ï&Å4/.È&'r64«Ç<È&-c����� + +�/eËDÃ�=µ5R([5R6[Ç.5�Ç.È&-cÇ<5,Ï�5;Ê4Ç<È&-�/eÇ<*,ÆBÉ'r6�5R+<7m-N+cÇ.5�/eÇ<*;+.Ç@Ç.È&- +<-N7&Å4Æ�Ç<'r5R685,ÊY*�+<Å&(r-��D#� Î@È&-c+.-07mÅ4Æ�Ç<'r5R6�5;Ê`*�+<Å&(r-k5;Ê4()-264Â;Ç.È . � H ý�')/§Ïµ-N+eʯ5R+.Ã�-07�=DË *�/.-�ÇY5;Ê�. � /IÇ<-2Ï4/�� �D� 1-N*RÆBÈ¡5;Ê]Ç<È&-2ÃûÆ25,+<+.-0/eÏ`5,6µ7m'r64Â�Ç.5�*�Ï`5,Ï¡Ç<+<*,64/.'UÇ<'r5R6¡+.-NÏ&(ª*,Æ�')6&ÂÑÇ<È&-�ÇIÒk58-2()-2Ã�-26[Ç</����� � �0��� ��Ï4()*RÆ�-N785,6¢Ç<È&-¦Ç.5RÏ85,ʧÇ<È&-�/IÇB*,ÆBÉÑ=DË�Ç<È&- -2()-2Ã�-N6RÇc����� ��� & #� Î@È&-�+<-N7&Å4Æ�Ç<'r5R6�5;Ê�*�+.Å&()-�� 'ª/^Ø46&'ª/eÈ&-07�=DËÑ*�/eÇ.-NÏ�� �D�� Æ�5R+.+<-N/.Ï`5,647m')6&¦Ç<5�*�/.Ò@*;ÏÇ.+B*;64/.'rÇ.')5,6�Ç.È4*;Ç�+.-NÏ&(ª*,Æ�-0/�Ç.È&-�Ç.5,Ï�-N(r-NÃ�-N6[ÇX�X��� -�=DË­Ç<È&-�()-�ÊzÇ.ÍQÈ4*,647�/e'ª7m- ) ��� -Ñ5;ÊÇ.È4*;Ç�+.Å4(r- *;6µ78Ï`-2+.ʯ5,+<ÃÑ/cÇ.È&-�Æ25,+<+.-0/eÏ`5,6µ7m'r64Â�ÆBÈ4*,6&Â,-¦5;ÊY/IÇB*KÇ<-,#

:�-07mÅ4Æ�Ç<'r5R6�/eÇ.-2ϵ/§*,+.-]*,Ï&Ï&()'r-07 Å&6[Ç.')(R64-2Ò�'UÇ<-2ÃÑ/�Æ2*;646&5;Ç�=`-^ÂR-26&-N+<*;Ç.-07�#NÎ@È&-k/eÏ&()'rÇeÇ.')6&«5;Ê+.-07mÅ4Æ�Ç<'r5R64/c'r6[Ç<5�*�/e-2Ç�5;Ê�� �� /eÇ.-2ϵ/�*;()(r5KÒ¨Å4/kÇ<5�/.È4*,+.-�Æ�5,Ã�Ï&Å&Ç<*KÇ<'r5R64/@Æ�5R+.+<-N/.ϵ5R647m')6&ÂÇ.5äϵ*;+.Ç.'ª*;(�+<-N7&Å4Æ�Ç<'r5R64/�5,Ê�+.Å4(r-0/21@*KÇ.Ç<*;')6&')6&Â�*$Òk5R+</eÇ8Æ2*R/e-ÓÇ.')Ã�-�Æ�5RÃ�Ï&(r-2Õm'UÇIË���ç .��bë*;647$*¡Òk5R+</eÇ�Æ2*R/e-8/eÏ4*RÆ�-�Æ25,Ã�Ï&()-�Õm'rÇIË���ç . L ë Ò�'rÇ.È$+<-N/.Ï`-NÆ�Ç�Ç.5­Ç<È&-�()-264Â;Ç.È .¨5;Ê�Ç.È4-'r6&Ï4ÅmÇ�/eÇ.+<'r64Â4#4Î@È&-�'r6&Ï4ÅmÇ«/eÇ.+<'r6&ÂÑȵ*,/�=`-2-N6¡/eŵÆ2Æ�-0/./eʯÅ&()(rË8+.-0Æ�5RÂ,6&'6;2-07�'rÊÇ.È&-�Ø464*;(�'UÇ<-2Ãã W*V����98��<ý�� .Pæ�1mÒ�'rÇ.È W*V���Ø464*,(�/IÇB*KÇ.- 5,Ê�Ç<È&-�ò&óPô1&ȵ*,/@=`-2-26�ÂR-26&-N+<*;Ç.-N7�#õ&5,()()5KÒ�'r6&Â�ã ð;æ�1KÒk-@+<-2Ï&+<-N/.-26[Ç�Ç.È&-�/.È4*;+<-N7�Ï4*;+B/e-cʯ5R+.-0/IÇÆ�5R+.+<-N/.ϵ5R647m')6&Â�Ç<5¦Ç.È&-@')6&Ï&ÅmÇ

/IÇ<+.')6&¢=[ËÓÃ�-0*;64/�5,Êc*;6�5,Å&Ç.Ï&ÅmÇ�ÂR+<*,Ã�Ã�*,+ 0 � ` ç 2!� �)5�� �97���98"��ë�1�Ò�È4-2+<-�2#��'ª/�Ç.È4-/e-2Ç«5;Ê]*,(r(�'UÇ<-2ÃÑ/N1 5��¦'ª/�Ç.È&-�/e-2Ç«5;ÊYÇ<-2+<Ã�')64*,()/«'r6¡Ç.È&-�'r6&Ï4ÅmÇ�/eÇ.+<'r64Â41&Ç<È&-�/eÇ<*,+eÇ�/eËDÃ�=`5,(8���Æ25,+<+.-0/eÏ`5,6474/ Ç.5ÓÇ.È&-�Ø464*,(c'rÇ.-Nà Â,-264-2+B*KÇ.-079=DË�Ç.È&-8Ï4*;+B/e-N+N1�*;647ä*¡+<Å&(r-8'r6 7���')/Â,-264-2+B*KÇ.-07�-0*,ÆBÈ8Ç.')Ã�-�*Ñ7&-N7mÅ4Æ�Ç.')5,6�/IÇ<-2Ï�'ª/�*;Ï&Ï4(r')-N7/�

 � õ&5R+'�DÈ&'rÊzÇN1µ*�Ï&+<5m7mÅ4Æ�Ç.')5,6�ã W*V l � T���� �j� XÝü�æ � T�')/�ÂR-26&-N+<*;Ç.-07�#� õ&5R+'�D-2(Q14*�Ï&+<5D7&Å4Æ�Ç<'r5R6�ã W*V �f����� + +�j� ���,æ � <�')/@ÂR-26&-N+<*;Ç.-N7Ó#� õ&5R+¦ø�-N7�1�*8Ï&+.5m7mŵÆ�Ç.')5,6Öã W*V l �f����� ��� & ���)���,æ�� ã W�V �M����� � �DQ ���,æDã W*V � ) ��� � ���)�Q[æ'ª/�Â,-26&Í-2+B*KÇ<-N7�#

� õ&5R+���-N*R7�14*�Ï&+<5m7mÅ4Æ�Ç<'r5R6�ã W*V l � ) ��� -:���)���,æ�� ã W*V �f����� -���)�j�;æ�'ª/�ÂR-26&-N+<*;Ç.-N7�#

XY

Z

Forest to be recomputed from the modification ...uk

ul

uk

ul

wm

wn

wo

����� ���4� \äAmL0A�FGEeC2J[VGS�FISqL0J�/�1 2465$SUJ[sR?BAm?<JDsR?<J;FYLNM�FI¤[?cH L;sRS87DT�C�FISqL0J

� ¸[¹�¿P»��� ��¹kº ��� " �Y»��DÀe¹�

ÜG64Æ�+<-2Ã�-26[ÇB*;(Ï4*,+</.'r64Â8È4*R/¦=µ-N-269*KÇ.Ç.-NÃ�Ï&Ç.-N7�')6�ÇIÒk5­/.-264/.-N/*�PØ4+B/IÇ<(rËR1�*,/ *;6�-�ÕDÇ<-264/.'r5R65;Ê(r-2ÊzÇeÍQÇ.5,ÍQ+<'rÂRÈ[Ç�-N7m'rÇ.')6&Â41P*;6µ7­/e-0Æ�5,6µ7m(rËR1&')6­+.-N()*;Ç.')5,6­Ò�'rÇ.È�Ç.È4-�ʯÅ&()(§-07m'rÇ.')6&Â�Æ2*,Ï4*;=4'r()'UÇIË5,6�Ç<È&-�'r6&Ï4ÅmÇ�/IÇ<+.')6&Â4#[Û�-�*,+.-«'r6[Ç.-N+.-0/IÇ<-N7�'r6�Ç.È&-¦(ª*KÇeÇ<-2+01[ÆN*;()(r-07ÑʯÅ&()(P'r6µÆ�+<-2Ã�-26[Ç<*,(r'rÇIË,1D')6Ç.È&-¦7m5,ÃÑ*,'r6�5,Ê�Â,-N6&-2+B*;(�è`éRê�/21mÒ�'rÇ.È&5RÅmÇ@-N7m'rÇ.')6&Â�+.-0/IÇ<+.'ªÆ�Ç<'r5R64/21RÂ,Å4*,+<*,6[Ç.-2-N'r64 Ç.È&-¦/<*;Ã�-(r-NÐ,-2(k5;Ê�/.È4*;+<'r64¡*,/ ')6$/IÇB*;6474*;+B7�Ã�5m7m-R1§=&Å&Ç�Ò�'UÇ<È&5,Å&Ç�*;6DË�'rÃ�Ï4*RÆ�ÇN#�ÜG69Ï&+B*,Æ�Ç.'ªÆ�-ÑÒc-È4*bÐ,-«Ê¯5mÆ�Å4/.-N7¢5,68ÇIÒc5�ÆN*,/.-N/N1&/eÈ45KÒ�68')6¢õ�')Â4#�ü)�

�](����� � �D"D(�������� 1�Ò�È&-N6�+<-NÆ25KÐ,-N+.Ë�'ª/ ϵ5[/./.')=&(r-Ñ5R6�*,(r(]Ç.È&-�/.ËD6RÇB*,Æ�Ç.'ªÆÑÆ�5,6[Ç<-�ÕDÇ 5,64Æ2-Ç.È&- Ã�5m7m'rصÆ2*;Ç.')5,6�È4*R/@=µ-N-26�Ï4*;+B/.-N7�#��� � (�7�4]�D� � �D"D(����!��� 1�Ò�È&-N6�+<-NÆ25KÐ,-N+.Ë8')/¦Ï`5R/</e')=&()-�ʯ5R+�*,(r(Y=&+B*;6µÆBÈ&-N/«5,6�*;6�'r6[Ç.-N+.ÐK*,(5;Ê�Ç.È&- ')6&Ï&Å&Ç�/IÇ<+.')6&Â�Ç.5�=`- +.-2ÍQÏ4*,+</.-N7�#

Ò�È&')ÆBÈ�*;()()5KÒ�/�Å4/�Ç<5¦'r64Æ2+.-0*,/.-^Ç<È&-�Æ�5RÃ�Ï4ÅmÇ<*;Ç.')5,64*,([-2Ì�Æ�')-264Æ2Ë�=DË�*bÐ,5,'ª7m')6&Â�Ç<È&-�+<-NÆ�5KÐR-2+<Ë5;Ê@')/.5,(ª*KÇ<-N7ÓÇ.+<-2-N/¦')69*8ʯ5,+<-N/eÇ�Æ�5,+<+<-N/.ϵ5R647m')6&Â�Ç<5¡*;69*;Ã�=&'rÂRÅ&5,ŵ/«645D7&-,#�Û�-�Æ�5R64/e'ª7m-N+*Ó/.'rÃ�Ï&()'Uص-N79Ç<-�ÕDÇeÍ�-N7&'UÇ<'r6&Â�/.Æ2-264*,+.')5¡Ò�'rÇ.Èä*�/e')6&ÂR(r-8Ã�5m7m'rصÆN*KÇ.')5,6�1§')6ä5R+<7m-N+�Ç<5¡Ê�*bÐ,5R+Å&647m-N+</eÇ<*,647m')6&Â4#bï�-2ÇNí /�ÇB*;ÉR-k*«Ã�5m7m'rØ4-07�')6&Ï&ÅmÇ/IÇ<+.')6&«ʯ+.5Rà *�Ï&+<-2ÐD')5,Å4/.(r˦Ï4*,+</.-N7�'r6&'rÇ.'ª*;(5,6&-R#NÛ�-kÃ�Å4/eÇ�Å&ÏP7&*;Ç.-kÇ.È&-@*;(rÇ.-N+.-07 ϵ5R+eÇ<'r5R6�5;Ê4Ç.È&-k5,+<'rÂR'r64*,(R/.È4*;+<-N7 ʯ5,+<-N/eÇN#bÎ�5�7m5�/.5410'rÇ')//.ÅmÌ�Æ�')-26[ÇYÇ.5�Ø4647�*�Æ�5R647m'rÇ.')5,6�Æ2*;ϵ*;=&()-@5;ʵ-N64/.Å&+.')6&«Ç.È4*;Ç]*;()(mϵ5[/./.'r=4(r-cÇ.+B*;6µ/e'rÇ.')5,64/§Ç<5=µ-c*;Ï&Ï&()')-N7¦Ê¯+<5,à *�Â,')Ð,-N6 ϵ5[/e'rÇ.')5,6�'r6�*,6 'r6[Ç<-2+<Ðb*,(,')6 Ç.È4-^')6&Ï&ÅmÇY/IÇ<+.')6&Â�*,+.-]')647m-Nϵ-N647m-N6RÇʯ+.5RÃÚÇ.È&-Ñ')6[Ç.+<5m7mÅ4Æ�-07ÓÃ�5m7m'rصÆ2*;Ç.')5,6�#�Û�-�ʯ5mÆ�ŵ/¦5,Å&+�*;ÇeÇ.-N6[Ç.')5,6�5,6�Ç.È&5[/e-�Ç<+<*,64/e'rÇ.')5,6µ/7m-2Ï`-2647&-26[Ç�5,68Ç.È&- ϵ*,/eÇ�5;Ê�Ç<È&- Ï4*,+</.'r64Â41[Ç.È4*;Ç�')/N1m5,6¢Ï`5,Ï¢Ç.+B*;64/.'rÇ.')5,64/N#mÜ�ʧÇ<È&-¦Ïµ5R+eÇ<'r5R65;Ê^Ç<È&-�'r64Ï&ÅmÇ Ç.5�=`-�Ï4*;+B/e-07¡'ª/�Ç.È&-�/<*;Ã�-R1P*,647ÓÇ.È&-�Ï4*,+eÇB/¦5;Ê]Ç<È&-ÑÏ4*,/eǦÇ.5¢=µ-Ñŵ/e-07Ó')6Ç.È&'ª/�Ï&')-NÆ2- 5;ÊYÇ.È4-�Ï&+<5DÆ2-N/</�*;+<-�*;(ª/e5�Ç<È&-�/<*;Ã�-,1mÇ<È&-�Ï4*,+</.')6&ÂÑÒ�'r()(�=`-�*;(ª/.5�Ç.È&-�/<*;Ã�- ')6Ç.È&'ª/�Ï`5,+.Ç.')5,6�#�Î@È4*KÇ�Æ�5,+<+<-N/.ϵ5R647&/�Ç.5�7m'UÙP-2+<-26[Ç�/<Æ�5Rϵ-0/�')6�Ç.È&'ª/�Æ25,Ã�Ã�5,69Ï4*R/IÇ���Ò�È&-N6Ç.È&'ª/^-2ÕDÇ.-26µ7&/Ç<5�Ç.È4-�Ç.5,Ç<*;()'rÇIË�5,ÊPÇ.È&-�/IÇ<+.Å4Æ�Ç.Å&+<-N/]Ç.5�=`-�ŵ/e-07�'r6ÑÇ<È&-�+<-2ÃÑ*,'r6&')6& Ï4*,+</.')6&Â

Ï&+.5mÆ2-N/</21§Òk-8È4*bÐ,-ÑÇ<5;ÇB*;(c+.-0Æ�5KÐ,-N+.ËR1�*,/�'ª/�/.È&5KÒ�6$')6äõ�'rµ#]åm#�Ü�Ê«'UÇ�5,6&()Ë�-�ÕDÇ.-N647&/�Ç.5�*+.-NÂ,')5,68*;ÊzÇ.-N+�Ç.È&- Ã�5m7m'rصÆ2*;Ç.')5,6�1mÒc-¦È4*bÐ,-¦ÂR+.5RÅ&ϵ-07�+<-NÆ25KÐ,-2+<Ë,1m*R/k'ª/�/.È&5KÒ�6¢'r6­õ�'rµ#&î&#Î�5�-264/.Å&+<-�Ç<È4*KÇ�Ï`5,Ï8Ç.+B*;64/.'UÇ<'r5R64/c*;+<-�Æ25,Ã�Ã�5,6�=`-�ÇIÒc-2-N6�ÇIÒc5�Æ25,64/.-NÆ2ÅmÇ.')Ð,-«Ï4*;+B/.-N/N1

'r6�*;6¢'r6[Ç<-2+<Ðb*,(P5;Ê�Ç<È&-¦Å&64ÆBÈ4*,6&Â,-07�')6&Ï&Å&Ç�/eÇ.+<')6&Â41mÒc-�ʯ5mÆ2Å4/@5,68Ç.È&- /.-�Ç�5;Ê�'UÇ<-2ÃÑ/@Ò�È&'ªÆBÈ*;+<-¦*,+.ÂRÅ&Ã�-26[Ç</@5,Ê�Ï`5;Ç<-26[Ç.'ª*;(�ʯÅmÇ.Å4+.- Ï`5,Ï4/N#µÎ@È4')/�'ª/@Ç<È&-�Æ2*R/e-¦5,Ê�'rÇ.-NÃ�/�+.-0/eÅ4(UÇ<'r6&Â�ʯ+<5,Ã6&5,6mÍ�-2Ã�ÏmÇIËä+.-07mÅ4Æ�Ç<'r5R64/Ñ=`-�ʯ5R+.-­*9/.È&'UÊzÇ0#^Î@È&-0/e-­'rÇ.-NÃ�/�Æ2*;6Ö=`-¡(r5mÆN*KÇ.-07ä')6¨*9/e')Ã�Ï&()-Ê�*,/.È&'r5R6�1mÒ�È&'ªÆBÈ�Â,Å4*,+<*,6RÇ<-2-0/k*�()5KÒ ')Ã�ϵ*,Æ�Ç�')6­/IÇB*;6474*;+B7�Ï4*,+</.')6&Â4#

����� ���`� \^JDCNp� ,¬BSqJ[a�C�AREILNaNEeC2H

Î�5�6&5KÒ Øµ647 *�Æ25,647&'UÇ<'r5R6�-N64/eÅ4+.')6&Â�Ç.È4*;Ç�*;()(�ϵ5RÏ�Ç<+<*,64/.'UÇ<'r5R64/�ʯ+.5Rà *;6DË$ÂR'rÐR-26Ç.+B*;64/.'UÇ<'r5R6�1�ÇB*;ÉD'r64¢5R6&-Ñ5;ÊcÇ.È4-N/.-�'UÇ<-2ÃÑ/�*R/�*;+<Â,Å&Ã�-N6RÇ01�*;+<-ÑÆ�5,Ã�Ã�5,6�')6$*;6�')6RÇ<-2+<ÐK*;(Q1Òk-«Å4/e-�Ç.È&-�6&5,Ç.')5,6Ñ5;Ê�Ç.È&- %)"B 4 (�+5�]�$�!� �Y5;Ê�'rÇ.-NÃÑ/�ã W*V ��� ���)���,æQ#RÛ¨È&-26¢Æ�5R+.+<-N/.ϵ5R647m')6&Â'UÇ<-2ÃÑ/¢=µ-2ÇIÒk-N-26�Æ25,64/.-NÆ2ÅmÇ.')Ð,-�Ï4*;+B/.-N/8È4*bÐ,-�-NÄ[Å&')Ðb*,(r-N6[Ç8=4*RÆBÉÖÏ`5,')6[Ç.-N+</N1@'r64Æ2+.-NÃ�-26[Ç<*,(+.-0Æ�5KÐ,-N+.Ë�'ª/�ϵ5[/./.')=&(r-R#öc*RÆBÉ9ϵ5R'r6[Ç<-2+B/Ñ*;+<-8-0ÄRÅ4'rÐK*;()-26[ÇÑ'rÙÝÇ.È&-NË$Ï`5,')6RÇ�Ç<5�*�Ï`5R/.'UÇ<'r5R65;Ê�Ç.È4-�')6&Ï&ÅmÇ�/IÇ<+.')6&ÂÓ645;Ç�Ã�5m7m'rØ4-N7$/.')64Æ�-�Ç.È&-8Ï&+.-NÐD'r5RÅ4/�Ï4*,+</.')6&Â41�5R+�Ò�È&-N69Ç.È4-2Ë9*;+<-*,/</e5mÆ�'ª*KÇ<-N7¢Ç<58*�Ï`5R/.'rÇ.')5,6ÓÆ25,+<+.-0/eÏ`5,647&'r6&Â�Ç<58*�Ç.5,ÉR-26¡=`-2()5,64Â,')6&ÂÑÇ.5¢*�Ã�5m7m'rØ4-N7­Ïµ*;+.Ç5;Ê�Ç<È&-8')6&Ï&Å&ÇÑ/eÇ.+<')6&Â4#�ÜG6$Ç<È&-�ص+</eÇ�ÆN*,/.-,1�Òk-¢Æ2*,6ä-26µ/eÅ&+<-�Ç<5;ÇB*;(@+.-0Æ�5KÐR-2+<Ë�/.'r64Æ2-8=`5;Ç<ÈÏ4*;+B/e-0/�È4*bÐR-�+<-�Ç<Å&+<6&-N7¢Ç<5�*ÑÆ�5RÃ�Ã�5R6­Ï4*,/eÇN#&ÜG6¡Ç.È&-�/.-NÆ25,647¢5R6&-,1µÒk-�ÆN*;6�5,64(rË¢-264/.Å&+<-Â,+<5,Å&Ï`-N7¢+<-NÆ�5KÐR-2+<ËÑ/e')64Æ�-�Æ25,Ã�Ã�5,6­Æ�5RÃ�Ï&ÅmÇ<*;Ç.')5,64/�*;+<-�5R6&()Ë�Ï`5R/</e')=&()- Ò�È&'r()- Ç<È&-2+<-�*;+<-6&5�Ï`5,Ï­Ç<+<*,64/e'rÇ.')5,6µ/�+.-2Ç.Å&+<6&')6&Â�5R6�Ç.È&-�/.Æ25,Ï`-�5;ÊYÇ.È4-�Ã�5m7m'UØ`Æ2*KÇ<'r5R6�14Ò�È4')ÆBÈ¡()')Ã�'rÇ</�Ç.È4--�ÕDÇ.-N64/e')5,6¢5;Ê�Ç.È4- 'r6[Ç.-N+.ÐK*,(PÇ.5�=µ- +<-NÆ25KÐ,-N+.-07�#

� � ����»¨À.¹^º ��»�� �¿ �

Î@È&-ÑÇ.5D5R(]È&-2()Ï4/¦Ç<È&-�(ª*;6&ÂRÅ4*;ÂR-Ñ7m-N/.'rÂR6&-2+�'r6�Ç<È&-�Ç<*R/eÉ�5;Ê�Ò�+.'rÇ.')6&­ÂR+<*,Ã�ÃÑ*,+</N1PÒ�'UÇ<È$*7m-N7m'ªÆ2*;Ç.-07�-N7m'rÇ.5R+N#43cÇ�*;6DË�Ã�5,Ã�-26[Ç�Ç<È&-�Å4/.-2+«Æ2*;6�+<-NÄ[Å&-0/IÇ�*�Ï4*,+</.-¦5;ÊYÇ.È4-�Â,+B*;Ã�ÃÑ*;+01Ò�È&')ÆBÈ�')/k7m5,6&-�*,ÆNÆ�5,+B7m')6&¦Ç.5�Ç.È&-«Ï4*;+B/e')6&Â�/<ÆBÈ&-NÃ�-«ÆBÈ&5R/.-26�')6�*,7mÐK*,64Æ�-R1;ʯ+<5,à *;6Ñ')6&Ï&ÅmÇØ4(r- Ò�+<'rÇeÇ.-N6�'r6�*�ަ߯àNá§â�� � +�B)� ʯ5,+<ÃÑ*KÇ0#&3 Ð[')-2Ò�5;Ê�Ç.È&- ')6[Ç.-N+eÊ�*RÆ�-¦')/�/.È&5KÒ�6¢'r6­õ�')Â4#mð4#

Tim

e un

its

TYPOL PPML SQL ANSI C ADAMETAL PASCAL

Num

ber

of a

ctio

ns, r

ules

or

stat

es

0

9000

8000

7000

6000

5000

4000

3000

2000

1000

0

10000

1

2

3

4

8

10

9

7

6

5

Generation time ICE

Generation time Bison

# elementary actions

# states

# rules

����� ���4��� ?BVGZ[p�FIVLNJ�ADC�EIVG?<E^a0?BJR?<EeC2FISqL0J

Î@È&-8')6[Ç.-N+eÊ�*RÆ�-�ʯ5R+�Ç.È&-�Ï&+<5,ÂR+<*,Ã�Ã�')6&¡-N6[ÐD')+.5R6&Ã�-26[Ç�*,(r()5KÒ�/�Ç.È&-�Å4/.-2+�Ç.5�ÆBÈ&5D5R/.-Ç.È&-8Ï4*;+B/e')6&­Ã�5m7m-,1Y/eÇ<*;6µ7&*;+B7�5,+�')64Æ2+.-NÃ�-N6[Ç<*;(Q1§*,647�()5R*,79*¡()*,6&Â,Å4*,Â,-�Â,-N6&-2+B*KÇ<-N7�')6*,7mÐK*;6µÆ�-,#c3û/.-�Ç85,Ê 5,ÏmÇ<'r5R64/�*,(r()5KÒ�/�Ç.È4-¡Å4/.-2+�Ç<5äÆBÈ&5D5R/.-�Ç.È4-�Æ�(ª*,/</Ñ5,Ê�'r6mʯ5R+.ÃÑ*;Ç.')5,6+.-Nϵ5R+eÇ<-N7/�DÆ�5R6��4'ªÆ�Ç</^Ç.ȵ*KÇ@È4*bÐ,-«=µ-N-2687&-�Ç.-0Æ�Ç<-N7�1m/eÇ<*KÇ<')/eÇ.'ªÆ2/c*;=`5,Å&ÇkÇ<È&-�*,Ã�5,Å&6[Çk5,Ê�Òk5R+.ÉÂ,-264-2+B*KÇ.-07�*,647 /e5�5R6�#^:«-2=&Å&ÂRÂ,')6&Â�Ê�*,Æ2'r()'rÇ.')-N/�*,()/.5�'r64Æ25,+<ϵ5R+<*;Ç.-�')6mʯ5,+<ÃÑ*KÇ.')5,6 *;=`5,Å&ÇÇ.È&-�+<-NÆ25KÐ,-N+.Ë Ï&+<5mÆ�-0/./]7&Å&+.')6& ')64Æ�+<-2Ã�-N6RÇB*;(&ϵ*;+B/e')6&Â41R*;647�-2+<+<5,+B/*;+<-�*;()Òc*bËm/Y+<-2Ï`5,+.Ç.-N7�#Î@È&-Ó')6[Ç.-2+.Ê�*,Æ2-Ó*;()()5KÒ�/�Ï4*,+</.-�ʯ5,+<-N/eÇ</�Ç.5ä=`-Ó+<-NÆ25KÐ,-N+.-07Ö*,647 ÃÑ*;6&')Ï&Å&(ª*KÇ<-N7�#cÛ�-�Æ2*,6*;(ª/e5�/.-2()-NÆ�Ç�Ç.È4-�(ª*;6&ÂRÅ4*;ÂR- 'r6¡Ò�È4')ÆBÈ­Ç<È&-�/.Ëm/IÇ<-2à ')6RÇ<-2+B*,Æ�Ç</�Ò�'rÇ.È�Å4/��`ì]6&ÂR(r'ª/.È�1µõ4+.-N64ÆBÈ*;647 �DÏ4*;64')/.È�*,+.-�Æ�Å&+<+.-N6[Ç.()Ë�*bÐK*,'r(ª*;=&()-,#`3ÔÈ&-2()Ï¡Ê�*RÆ�')(r'rÇIË­')/¦*,(rÒ@*bËm/�*bÐK*;')()*,=&()- Ç.5�/e5R(rÐR-ÄRÅ4-N/eÇ.')5,64/�*,=µ5RÅmÇ�Ç.È&- -07m'rÇ.5,+B/@*;6478Ç<È&- 'r6µÆ�+<-2Ã�-26[Ç<*,(PÊ�*,Æ2'r()'UÇ<'r-0/2#

� ��� " ��»4À � �§¹^º ����»� �D¾ �Iº �

Û�-�È4*bÐR-�Æ�5RÃ�ϵ*;+<-N7�èU1¡Ò�'rÇ.È�ަ߯àNá§âÝã åbæ�1������Ýã ùKæY*,647� `ó§é9ã �Kæ�1µÒ�È&'ªÆBÈ�*;+<-�Ç.58Ç.È4-=µ-0/IÇ^5,Ê�5,Å&+]ÉD6&5KÒ�()-N7&Â,-�/.5,Ã�-�5;ÊPÇ.È4-�Ã�5R/eÇ]-�Ì�Æ�')-26[Ç^Ï4*,+</.')6& -26DÐD'r+<5,64Ã�-N6[Ç</N1bʯ+.5Rà ÇIÒc57m'UÙP-2+<-26[Ç�ϵ5R'r6[ÇB/�5,Ê�ÐD'r-NÒ �§Ï4*,+</.-2+�Â,-N6&-2+B*KÇ<'r5R6$*;6479ϵ*;+B/e')6&¡Ï&+<5mÆ�-0/./N#§Û�-8*,()/.5�/.È&5KÒÇ.È&-¢-�Ì�Æ�')-26µÆ�Ë95;Ê«'r64Æ2+.-NÃ�-26[Ç<*,(cϵ*;+B/e')6&¡')6�+<-2(ª*KÇ<'r5R69Ç.5�Ç.È4-¢/eÇ<*,647&*;+B795R6&-,1*;6µ79Ç.È4-Æ2*;ϵ*;=&')(r'rÇIË�5,Ê��èU1�Ç<5Ñ/eÈ4*,+.- Æ25,Ã�Ï&ÅmÇB*KÇ.')5,6µ/2#mÜG6¢5,+B7m-2+cÇ<5ÑÏ&+.5KÐD'ª7m-¦*�Æ2()*R/./.'ªÆ2*;(PÏ`5,')6[Ç�5;Ê+.-2ʯ-2+<-264Æ2-,1mÒc-�ȵ*bÐ,-¦*;(ª/e5�'r6µÆ�()Å47m-N78Ç<È&- 5,+<'rÂR'r6µ*;(�ì^*,+.()-2ËPí /^Ï4*,+</.')6&Â�/<ÆBÈ&-NÃ�-Ñã îKæ�')6�BèU1P#3�()(�Ç.È&- Ã�-0*,/.Å&+.-NÃ�-26[Ç</@È4*bÐR-«=`-2-N6�ϵ-N+eʯ5R+.Ã�-N78Å4/.'r64Â�ÂR-26&-N+.'ªÆ«Ç.')Ã�- Å&6&'rÇ</N#ÜG69+.-N()*;Ç.')5,6�Ç.5�Ï4*;+B/.-2+�ÂR-26&-N+<*;Ç.')5,6�1�Òc-ÑÇ<5[5RÉ�/.-2ÐR-2+B*;(]ÉD6&5KÒ�69Ï4+.5RÂ,+B*;Ã�Ã�'r6&­(ª*;6&Í

Â,Å4*,Â,-N/k*;647�-�ÕDÇ.+B*,Æ�Ç.-07�Ç.È&-«Ç.')Ã�-«Åµ/e-07ÑÇ.5�Â,-N6&-2+B*KÇ<-�Ï4*,+</.-2+^Ç<*;=4(r-0/21mÆ�5RÃ�Ï4*;+<'r64Â�ަ߯àNá§â

a LALR(1) scheme

00

1

2

3

4

5

7

8

9

10

6

300020001000 4000

Number of tokens

Tim

e un

its

Parse time Bison

Parse time SDF

Parse time ICE using

Parse time ICE using

an Earley scheme

����� ���4��� ?BVGZRp�FIVL0JÑs,?<FI?<EIH SqJ[SqV�FISqT@ADC�EIVGSqJ[a

Ò�'UÇ<È�Ç<È&- Â,-N6&-2+B*KÇ<'r5R6�5;Ê��,ô ���������@/.ÆBÈ4-2ÃÑ*�'r6 �èO1 �;#&ø�-0/eÅ&(rÇ</�*,+.-�Â,')Ð,-N6�')68+<-2(ª*KÇ<'r5R6�Ç<57m'UÙP-2+<-26[Ç�Æ�+<'rÇ.-2+<'ª*&#��D541mõ�')Â4#4ù�/eÈ45KÒ�/^Ç<È&-N/.-¦*,Æ2Æ25,+B7m')6&Â�Ç<5�Ç<È&- 6DÅ&Ã�=`-2+@5,ʧ+<Å&(r-0/c'r6¢Ç.È4-Â,+B*;Ã�ÃÑ*;+014*;647¢Ç<5�Ç<È&-�6DÅ&Ã�=µ-N+�5;Ê]/eÇ<*;Ç.-N/�*,/</.5DÆ2')*;Ç.-078Ò�'rÇ.È¡Ç.È&-�Ø46&'rÇ.-�/eÇ<*;Ç.-�ÃÑ*RÆBÈ&'r64-Â,-264-2+B*KÇ.-07�ʯ+<5,à Ç.È&-NÃ��R#,3cÇ^Ç.È&'ª/Ï`5,')6RÇ01,'rÇ^'ª/'rÃ�Ï`5,+.Ç<*,6RÇÇ<5 6&5;Ç<-@Ç.È4*;ÇÇ.È&-�=µ-NÈ4*bÐD'r5R+5;Ê� â�àNß��� 7m5D-N/�645;Ç�/.-2-2Ã×Ç.5�Æ25,+<+.-0/eÏ`5,647�Ç.5�Ç<È&-�+<-N/eÇ�5;Ê�Ç.È&- Ï&+<5,ÂR+<*,Ã�Ã�')6&Â�()*,6&Â,ŵ*;Â,-0/Æ�5,6µ/e'ª7m-2+<-N78')68Ç<È&-�/<*;Ã�-�Ç.-0/IÇ0#&ÜG6­-�ÙP-NÆ�ÇN1mÇ<È&- 6DÅ&Ã�=`-2+�5,Ê�+<Å&()-N/@')6�Ç.È&- ÂR+<*,Ã�Ã�*,+N1m*,647Ç.È&-�6DÅ&Ã�=`-2+c5;Ê�/eÇ<*;Ç.-N/k')6�Ç.È4-«+<-N/.Å&(rÇ.')6&Â�ò&óPô¡Ã�*bË�6&5,Çk=`-«')687&'r+<-NÆ�Çk+<-2(ª*KÇ.')5,6�Ò�'UÇ<È�Ç.È4-Ç.5;ÇB*;(4*,Ã�5,Å&6[Ç5;ÊPÒk5R+.É�6&-NÆ2-N/</.*,+.˦Ç<5 =&Å&')()7�'rÇN#RÜG6�5R+<7&-2+YÇ.5¦-2ÕDÏ4()*,'r6�Ç.È4')/N1,Òc-@'r6[Ç.+<5m7mÅ4Æ2-Ç.È&-�Æ25,64Æ2-2ÏmÇ 5;Ê �!�6�!9:�!�O������ %!78+5�6��+5�K& �"���+=(�� *,/¦*,6�*RÆ�Ç.')5,6�+<-2Ï&+<-N/.-26[Ç.')6&¢5,6&-�5;ÊcÇ.È4-ʯ5,()(r5KÒ�')6&Â�ÇIÒc5�/e'rÇ.ŵ*KÇ.')5,6µ/��4Ç.È&-�')6[Ç.+<5m7mÅ4Æ�Ç<'r5R6­5;Ê'rÇ.-2ÃÑ/«'r6�Ç<È&-�=µ*,/.-�5,+�')6­Ç<È&-�Æ�()5R/.Å&+<-5;Ê*�/eÇ<*;Ç.-¦')68Ç<È&-�ò&óPô1µ*;647�Ç.È&- ÂR-26&-N+<*;Ç.')5,6¢5;ʧÇ.+B*;64/.'UÇ<'r5R64/@=`-�ÇIÒc-2-268ÇIÒc5�/eÇ<*;Ç.-0/2#Û�-ÑÅ4/.-�Ç.È4-�/eËD6[Ç<*;ÕÓ5;Ê�Æ�5RÃ�Ï4(r-2Ç.-�ô§à0èµô ��*,/ *�ÂRÅ&')7&-2()'r6&-�ʯ5R+ Ï4*;+B/.'r6&¢Ç<-N/eÇ</N#�ÜG6

õ§')Â4# �­Æ�5RÃ�ϵ*;+<')/.5,64/ *,+.-Ñ-0/IÇB*;=&()'ª/eÈ&-07�=µ-2ÇIÒk-N-26�Ï4*,+</.-2+B/ Â,-N6&-2+B*KÇ<-N7�=DË �èU1��;1Yަ߯àNá§â*;647 Pó�éµ1NÒ�È4-26 Ç<È&-kÆ25,6[Ç.-2Õ[Ç�')/§7m-�Ç<-2+<Ã�'r6&'ª/eÇ.'ªÆ;#bÛ�-cÆ�5R64/e'ª7m-N+��èU1P1 Pó�é�*;647 ������Ò�È&-N6Ç.È&-�Æ25,6[Ç.-2ÕDÇ�')/�645,6mÍG7m-�Ç<-2+<Ã�'r6&'ª/eÇ.'ªÆ;14*R/�')/�/eÈ&5KÒ�6�')6¡õ�'rµ#a9D#&Û�-�È4*bÐR- Æ�5,6µ/e'ª7m-2+<-N78ÇIÒc5Ð,-2+B/.'r5R64/¦Ê¯5,+�ô§à0èµô � �§7m-�Ç<-2+<Ã�')6&'ª/IÇ<')Æ¢*;6µ7�6&5,6mÍG7m-2Ç.-2+<Ã�'r64')/eÇ.'ªÆ;1§Ç.È&-8()*;ÇeÇ<-2+�'r64Æ2(rŵ7m'r64Â*;Ã�=4'rÂRÅ&'UÇIË�ʯ5,+�*;+<'rÇ.È&Ã�-�Ç<')Æ�-�ÕmÏ&+<-N/</e')5,6µ/2#���')Ð,-N69Ç.ȵ*KÇ�')69Ç<È&-¢ÆN*,/.-�5;Ê �èU1P1 `ó�é�*,647�����¢ÃÑ*,Ï&Ï&')6&Â�=`-�ÇIÒc-2-N6�Æ�5R64Æ�+<-�Ç<-«*,647�*,=4/IÇ<+<*RÆ�Çk/.ËD6[Ç<*KÕÑ'ª/kØ&Õm-N7�1[Òk-�È4*bÐR-�Â,-N6&-2+B*KÇ<-N7'r6¢Ç.È4-�Æ2*R/e-¦5;Ê]ަ߯àNá§âY14*Ñ/.')Ã�Ï4(r- +<-NÆ25,Â,64'�;N-2+0#DΧ5Ñ+<-N7mÅ4Æ2-�Ç.È&-�')Ã�Ï4*,Æ�Ç�5;ÊY(r-2Õm')ÆN*;(PÇ.')Ã�-,1� ´�C2EIpq?< �� VcC2pUaNLNEIS�FI¤[H SqV^C�aNEeC2H H�C2E]L2EISU?<J;FI?Bs�H ?<FI¤[L;s&w����������� C2JDs�°G±D²�aN?BJ[?<EeC�FI?! #"� %$'&)(%*H�CNTe¤[SqJ[?<VBW�+-,�. _ �!/ h10�L0JR?BVBw2 xcVGSqJRa¦tmLNFI¤4W3 4"� %$'&5(#*kC2JDs�´§C�EIpU?. �� V^VGT.¤R?BH�C,w

�Bh

ivalue of i for C

1e+10

Tim

e un

its

5 10 15 20

1e+05

1e+06

1e+07

1e+08

1e+09

10000

1000

100

Num

ber

of a

mbi

guiti

es

0

10

10

1

2

3

4

5

7

8

9

10

6

Parse time ICE using a LALR(1) scheme

Parse time SDF

Parse time GLR

Parse time ICE using an Earley scheme

Number of ambiguities

����� ���m� � ?BVGZRp�FIV^LNJ�JRL0JR��s,?<FI?<EIH SqJ[SqV�FISqT@ADC�EIVGSqJ[aÒk-�ȵ*bÐ,-�Æ25,64/.')7&-2+<-N7�1§'r69Ç<È&-8ÆN*,/.-�5;Ê�645,6mÍG7m-�Ç<-2+<Ã�'r6&'ª/eÇ.'ªÆÑÏ4*;+B/.'r6&µ1�Ï&+<5,ÂR+<*,Ã�/�5;Ê�Ç.È4-ʯ5,+<à �

����������� 7 ç ��� ����� 1 ����������� ë���� �� T���� ����� ��������� � ��� ��� T � ` �y��X!�y� " � ��" �Ò�È&-2+<- + 'ª/�Ç.È&-�6DÅ&Ã�=`-2+ 5,Ê X�í /2#�Î@È4-�ÂR+<*,Ã�Ã�*,+�Æ25,6[Ç<*,'r6µ/�*8+<Å&(r-$#&%�')(+*&*-,.#�%�')(0/#�%�')(P1KÇ.È4-2+<-�ʯ5,+<-�Ç<È&-N/.-�Ï&+<5,ÂR+<*,Ã�/Yȵ*bÐ,-�* 6DÅ&Ã�=µ-N+^5,Ê�*,Ã�=&')Â,Å45,Å4/ϵ*;+B/e-0/]Ò�È&'ªÆBÈÑÂ,+<5KÒ�/-�Õmϵ5R6&-26[Ç<')*,(r()Ë�Ò�'rÇ.È + #4Î@È&'ª/�6DÅ&Ã�=`-2+�'ª/*�

1 - ` 1 & ` ü�*;6µ7 1 " ` 2 å,��43 ü�YXÝü �'rÊa� H ü3�()(]Ç.-0/IÇB/�È4*bÐR-�=µ-N-269Ï`-2+.ʯ5,+<Ã�-07�Å4/.'r6&Â�Ç<È&-�/<*;Ã�-Ñ')6&Ï&ÅmÇ�Ï4+.5RÂ,+B*;ÃÑ/�ʯ5,+�-0*,ÆBÈ�5,64-Ñ5;ÊÇ.È&-8Ï4*;+B/e-N+</ *,647�Ç.È4-ÑÇ.')Ã�-�6&-N-N7m-07�Ç.565,Ï&+.')6[Ç�5�Ï4*,+</.-�Ç.+<-2-0/�Ò@*,/ 645;Ç�Ã�-N*R/eÅ4+.-07�#�Χ5'r()(rŵ/IÇ<+<*;Ç.- ')64Æ�+<-2Ã�-26[ÇB*;()'UÇIËR14Òc-�*;64*,(rËR;2-¦Ç<È&-�Ï&+<-2ÐD')5,Å4/�Ï&+.5RÂ,+B*;ÃÑ/c'r6­Ò�È4')ÆBÈ­Òc-�/eÅ4=4/IÇ<'UÍÇ.ÅmÇ<-�-�ÕmÏ&+<-N/</.'r5R64/7� X8��=DË9�b#µø�-0/eÅ4(UÇB/�Æ�5R+.+<-N/.Ï`5,647m')6&Â�Ç.5Ñ')64Æ2+.-NÃ�-N6[Ç<*;(§*;647­/eÇ<*,647&*;+B7Ï4*;+B/e')6&Â�*;+<- /eÈ&5KÒ�6¢')6�õ�')Â4# �41&*;6478Ç.È45R/.-�+<-2(ª*KÇ<-N7�Ç.5Ñ/.È4*;+<'r64Â�')6­õ�'rµ#&÷&#

: ; ¼k¹�¿ �e¾ �DÀI¼^¹ �Î@È&- �èU1¡/.Ëm/IÇ<-2ÃÚ'ª/«7&-2Ð,5,Ç.-07­Ç.5¢/e')Ã�Å4(UÇB*;6&-N5,Å4/«-N7m'rÇ.')6&¢5;Ê^(ª*;64Â,Å4*,Â,-�7m-2Ø46&'rÇ.')5,64/¦*,647Ï&+.5RÂ,+B*;ÃÑ/N1�'r6äÇ.È&-�7m5RÃ�*,'r6�5;Ê�Å&64+.-0/IÇ<+.'ªÆ�Ç<-N7$Æ25,6[Ç.-2Õ[Ç.Í�ʯ+<-2-8()*,6&Â,ŵ*;Â,-0/2#�Î@È&-¢Ã�5m7mÅ4()*,+Æ�5,Ã�Ï`5R/.'UÇ<'r5R6Ý')64Æ�()Å47m-0/8*äÏ4*;+B/e-N+�ÂR-26&-N+<*;Ç.5,+01^/eÇ<*,647&*;+B7Ý*,647¨')64Æ�+<-2Ã�-26[ÇB*;(�Ï4*;+B/e-Ó'r6mÍÇ.-2+<Ï&+<-�ÇB*KÇ.')5,6$*,6479*­ÂR+<*,Ï&È&'ªÆ�'r6[Ç.-N+eÊ�*RÆ�-R1�Ò�È&-N+.-�Æ2Å4/eÇ.5,Ã�'6;N*;Ç.')5,64/�ÆN*;69=`-8ÆN*;+<+.')-N7�5,Å&Ç

���

ivalue of i for C

Parse time ICE using an Earley scheme

Tim

e un

its

5 10 15 20

1e+05

1e+06

1e+07

1e+08

1e+09

10000

1000

100

Num

ber

of a

mbi

guiti

es

0

10

10

1

2

3

4

5

7

8

9

10

6

Parse time ICE using a LALR(1) scheme

Number of ambiguities

Incremental time ICE using a LALR(1) scheme

Incremental time ICE using an Earley scheme

1e+10

����� ���4� � ?BVGZRpqFIV]LNJ�SqJ[T<EI?<H ?BJKFeCNpµCNJDs�V�FeCNJ[s[C2Ees�ADC�EIVGSUJRa Z[VGSqJ[a¦°G±D²

-2'rÇ.È&-N+�')6[Ç.-N+<*RÆ�Ç.')Ð,-N(rËR1µ5R+�Ç<È&+<5,Å&ÂRÈÓ*;6�'r6&'rÇ.'ª*;()'6;N*KÇ<'r5R6¡Ø4()-,#PÜG6�*�Ï&+B*,Æ�Ç.'ªÆ2*,(�Æ25,Ã�Ï4*;+<'ª/e5R6�15,Å&+�*,(rÂR5,+<'UÇ<È&Ãñ/e-N-2ÃÑ/cÇ.5�/.Å&+<Ï4*,/</cÏ&+<-2ÐD'r5RÅ4/@Ï&+<5,Ï`5R/<*;(ª/2#3�(rÇ.È&5RÅ&Â,È8-�Ì�Æ�')-26[Ç�'r6µÆ�+<-2Ã�-26[Ç<*,(�Ï4*;+B/.'r6&Â�ÃÑ*bËÑÈ4*bÐ,-¦/e-N-2Ã�-N78*�7m'UÌ�Æ2Å&(UÇ�Ï&+<5,=4(r-Nâ1

Òk-cÒk-N+.-c*;=&()-kÇ.5�É,-2-NÏ�Ç<È&-cÆ25,Ã�Ï&()-�Õm'rÇIË 5;Ê&Ç<È&-c*,(rÂR5,+<'UÇ<È&à (r5KÒ # �D5µ1bÏ&+<*RÆ�Ç<')ÆN*;(RÇ.-N/eÇ</�È4*bÐR-Ï&+.5KÐR-N7¡Ç.È&-ÑÐK*;()'ª7m'UÇIËÓ5;Ê^Ç<È&-�*;Ï4Ï&+.5[*,ÆBÈ�Ï&+.5Rϵ5[/e-07¡Ò�È&-N6ÓÇ<È&-Ñ6DÅ&Ã�=`-2+ 5,Ê@*,Ã�=&')Â,Å4'UÇ<'r-0/+.-NÃ�*,'r6µ/§+<-N*R/e5R64*;=4(r-R10*R/§'ª/�Ç.È4-@ÆN*,/.-k')6�Ï&+<*RÆ�Ç<')Æ2-,#bÜG6�*R7&7m'rÇ.')5,6�1 �èU1�'ª/Æ�5RÃ�Ï4*KÇ<'r=&()-cÒ�'UÇ<ÈÇ.È&-�/eÇ<*,647&*,+<7�Ï4*;+B/.-2+Â,-N6&-2+B*KÇ<5,+B/�')6���â�ß��1;Ò�È&'ªÆBÈ�ϵ-N+.Ã�'rÇ</]*�ʯ+<-2-�ŵ/e-�5,Ê�*,(r(&Ç.È&-�')6&Ï&ÅmÇÇ.È4*;Ç�È4*,/@=`-2-N6�7&-2Ð,-N(r5Rϵ-07�ʯ5R+@Ç.È&-0/e- ÂR-26&-N+<*;Ç.5R+</N#

� �¨¿�@¹�¼� � ��½ � � ��¹kº �

Î@È&')/kÒc5,+<É�È4*R/^=`-2-N6�Ï4*,+eÇ<')*,(r()ËÑ/eÅ4Ï&ϵ5R+eÇ<-N7Ñ=DË�Ç.È4-�ì^Å&+.5Rϵ-0*;6=��6&'r5R6�1���5KÐ,-N+.6&Ã�-N6RÇk5;Ê�DÏ4*;')6�*;6µ7�3�ÅmÇ.5R6&5,Ã�5RÅ4/ ��5KÐ,-N+.64Ã�-N6[Ç]5;Ê'�¦*;()')Æ2')*¦Å&6µ7m-2+kÏ&+.5 �I-NÆ�Ç</�ü0õ�:�÷ 9bÍ�ýRý;ð�90Í��cý;ð;ÍýRåm1&Î@Ü��@å,ý,ýRýKÍGý,î 9;ýKÍ��cýRåKÍ�ýmü@*;6µ7¢Á���ÜI:«Î�÷R÷��«Ü�üNýRù,ýRå,ö«1R+.-0/eÏ`-NÆ�Ç.')Ð,-N(rËR#� � � ��»��¹�¿ � �

�0w��8w \�w�\kpqL0JRVGLRW�>�w§XYC2tREI?<EIL,W�CNJ[s��8w��kSqprC�EI?BVBw¡X�LNJ[V�FGEIZRT<FISqL0JÓLNMk?<¥ TBSq?BJKF¦aN?BJ[?.EeCNpqSq¬B?�s_ � A[C2EIVG?<EIVBwÑO�J�>@?<EISqTe£��¢LKL;s­CNJ[s­l,¤R?BJ[a��§ZµWµ?�s,SqFIL2EIVBW����,�¤���£�S�¤�����! ¥�h��� ��� �¤�S���s���[Wo L0pqZ[H ?£�Bi0f   LNM#"a�=�f���,�*�%$����u��� �$��&q���' ¥�,�u���)(��f�s�������.W4ADCNaN?BV �+* g2i,w�l;AREISqJ[aN?<EG�,�§?.EIprC2aRW-§?<EIpqSUJ,�,.c?BSUsR?<pUtm?.EIaN�,/c?<¶0�§LNEI£mW@� �#� � w

g;w�X�¤[C2EIpq?BV�>@LNJ[J[?<pUp� �C2JDs � SqTe¤DC2Ees«l;FeC2pqpUH�C2Jµw21��Q�����43E�$¢ �)5���&6&�7u�=���! K�����98M�h�;:������f���=<����>7���j���¤����?@1��Q�����BA �����������DCFEHGJI0wP³REI?B?@l,LNMrFQ¶YC2EI?�³[LNZ[J[s[C2FISqLNJµW   � � ��CNVGV]\ o ?0WRXYC2H�tREISUs,a0?0W��\�hbgm��f � Wmx�l,\�WR®`?Bpzy /   � � 0 � �   ��fbg �   Wmx@lR\�W>K0CNJ;ZDC�EG �� �%�%� w

��g

ivalue of i for C

Num

ber

of it

ems

5 10 15 20

1e+05

1e+06

1e+07

1e+08

1e+09

10000

1000

100

Num

ber

of a

mbi

guiti

es

0

10

10

Items in S1

Items in S2

Items in ST

Number of ambiguities

400

600

700

1000

800

900

500

300

200

100

����� ���4� O�FI?BH V�a0?BJR?<EeC2FI?�s�ZRVGSqJ[a�� v W�� � C2JDs����8VGT.¤R?BH�C,wf,w=K,wY´�C2EIpq?< KwÖ\kJ�?<¥ TBSq?BJKF�TBL0JKFI?<�;FG�¯M)EI?<?ÑADC2EIVGSqJRa¡CNpqa0L2EISqFI¤RH�w &q�S� � �,�E�s�=�����s���E�0�j¡��$¢ �

��&�ÑWk�Bf / g#0.y � i * ��hbgKW\� � � h,wiRw=-§?<EIJDC�Ees�_`C2J[a,w�>@?<FI?<EIH SqJ[SqV�FISqTcFI?BTe¤[JRS�;ZR?BV�M)LNE^?<¥ TBSq?BJKF]JRL0JR��s,?<FI?<EIH SqJ[SqV�FISqTcA[C2EIVG?<EIVBw�OQJ

K,wm_µLK?<T.£K�&WD?�s,S�FILNE�W ���,�¤�������¤��?�"a�S�,���E���m��� �����%:��j�=���*��� � �Q�m�NWmJ;Z[H�tm?.E��Bi�SqJ�_µ?BT<FIZ,EI?/kLNFI?BV]SqJÑX�LNH A[Z,FI?<Ekl,TBSq?BJRTB?0WRADC2a0?BVcg � � * g   � w4l,A,EISUJRa0?<E�W>-�?<EIpqSqJµW[>�´W � � � i,w

� w=K,w � ?B£b?.EIVBw2:������f����<����@���*�S���s����¡f������� �u���j���f��� �����(�����$�*���E� ��� ���Iw � ¤R>�FI¤[?BVGSqVBWNxcJRS o ?<EIVGS�FQ L2M�\kH V�FI?.Ees[CNH�W,\^H V�FI?<Ees[C2H�W,®Y¤[? /k?<FI¤[?<EIpUC2JDsRVBWk� �#� gKw  w�lmw �8wµl,¤[Sq?Btm?.E�W4��w4l;T.¤[CNtm?BVBW4C2JDs�³�w Xkw /�w � ?.EI?BS�EeC,w � EISUJRTBSqA[pq?BV�C2JDs�SUH ARpq?BH ?BJKFeC2FISqL0JÑL2Ms,?�sRZRT<FIS o ?cA[C2EIVGSqJ[a,w��,���,���¥�y�U�j¡ "a�=���s�!:��j�=���*��� � �Q�m�NWa�.��gKy f * f   W � �%� � w

� w��¦w0l;SU£;£b?<p¯w>:��������$�,�=(¥��¢ ���£�S�¤�Nw � ¤[>�FI¤R?BVGSqVBW0xkJ[S o w�LNM&®�¶�?BJKFI?0W0®Y¤[?6/c?.FI¤[?<EIpUCNJ[sRVBW,� �#� f;w� w���C�EI£ o CNJ�sR?BJ -§EeC2JDs&W � CNZ[p���pqSqJKF�W;CNJ[s � Sq?<FI?<E\�w,jcpqS o SU?.E�w�X�L0H ARSqprC�FISqL0J�CNJDs H ?BH L2EG H�C2JDC2a0?BH ?BJKF�MªL2E \clR³���l,>@³�wÑOQJ����NW�ADC2a0?�� � w�X�?<J;FGEIZRH o LKLNE �9SqVG£,ZRJDs,?�?<J­OQJRM)LNEG�H�C�FISqT�C / X��9O 0.WµOGlRl / �Bf �   ��f   ��� W�³R?BtREIZ[C2EG �g � � �#�%� w�l,´�/ / l,LNMrFQ¶YC2EI?�´�JRa0SqJ[?B?.EISUJRa/ l,´�/ 0 0.w

� w��8w �«w KRw o CNJ�sR?<J -�EeCNJDs&w@� <��������*���¤�S�q¡M���6�����f�=���£��� �¤�y�>:(�*�=���*�S� � �$�,���������Q�*�S� � ���E���Iw� ¤[>�FI¤[?BVGSqVBW���C2FI¤[LNpqSU?<£b?�xcJRS o ?<EIVGS�FI?BS�F'/kS �H ?BaN?BJµW /cS �H ?<a0?BJ4W[®Y¤R? /c?<FI¤R?<EIpUCNJ[sRVBWk� �%� g;w�Bh,w��8w��cSqpUC2EI?<VBw!�!"��f�¤��� ������f�=���£��� �¤�y�J:������=�Q�,� ¡M��� &q���E�u�*¦�� 7 #k�*�=�'"a�S�,���E���m���Iw � ¤R>�FI¤[?<VGSUVBWxkJ[S o ?<EIVGS�F� �LNM�/cSqTB?Nw[O�l -;/ g�� � g   �<��h �   � ��h,W4³REeC2J[TB?0Wk� �#� gKw