2014¡¶±àÒëÔ­Àí¡·ÆÚÄ©¸´Ï°×ÊÁÏ(ÍêÕû°æ). ÏÂÔØ±¾ÎÄ

7¡¢¸øÎÄ·¨G[S]£º S¡úaA|bQ A¡úaA|bB|b B¡úbD|aQ Q¡úaQ|bD|b D¡úbB|aA E¡úaB|bF F¡úbD|aE|b

¹¹ÔìÏàÓ¦µÄ×îСµÄDFA¡£ ½â£ºÏȹ¹ÔìNFA£º

ÓÃ×Ó¼¯·¨½«NFAÈ·¶¨»¯£º S A BZ B Q DZ D a A A Q Q Q A A b Q BZ D D DZ B B ½«S¡¢A¡¢BZ¡¢B¡¢Q¡¢DZ¡¢DÖØÐÂÃüÃû£¬·Ö±ðÓÃ0¡¢1¡¢2¡¢3¡¢4¡¢5¡¢6±íʾ¡£ÒòΪ2¡¢5Öк¬ÓÐZ£¬ËùÒÔËüÃÇΪÖÕ̬¡£Òò´ËÓУº 0 1 2 3 4 5 a 1 1 4 4 4 1 b 4 2 6 6 5 3 6 1 3 ³õʼ·Ö»®µÃ£ºÖÕ̬×é£û2,5£ý£¬·ÇÖÕ̬×é£û0,1,3,46£ý ¦°0£º£û2,5£ý,£û0,1,3,4,6£ý

¶Ô£û0,1,3,4,6£ý½øÐÐÉó²é£º {1,4}ÊäÈëbµ½´ï£û2,5£ý£¬¶ø{0,3,6}ÊäÈëbµ½´ï£û3,4,6£ý£¬¹ÊµÃµ½Ð·ֻ®£û1,4£ý,£û0,3,6£ý ¦°1£º£û2,5£ý,£û1,4£ý,£û0,3,6£ý

¶Ô£û0,3,6£ý½øÐÐÉó²é£º {0}¾­¹ýbµ½´ï£û2£ý£¬{3,6}¾­¹ýbµ½´ï£û3,6£ý£¬¹ÊµÃµ½Ð·ֻ®£û0£ý£¬£û3,6£ý ¦°3£ºµÃµ½×îºó»®·Ö{0}£¬{1,4}£¬{2,5}£¬{3,6}

ÖØÐÂÃüÃû£¬ÒÔA£¬B£¬C£¬D·Ö±ð´úÌæ{0}£¬{1,4}£¬{2,5}£¬{3,6},ÆäÖÐAΪʼ̬£¬CΪÖÕ̬£¬¿ÉµÃµ½×îСDFAÈçÏ£º

2¡¢×Ô¶¥ÏòÏ·½·¨ (Ò») ÉèÎÄ·¨G(E)£º

E¡ú E + T | T T¡ú T * F | F F¡ú i | ( E )

(1) ÅжÏÊÇ·ñΪLL(1)ÎÄ·¨. (2) ¹¹ÔìÎÄ·¨µÄÔ¤²â·ÖÎö±í. ½â£ºÏê¼ûP93-96ÀýÌâ¡£

(1) ÓÉÓÚÎÄ·¨Öк¬ÓÐ×óµÝ¹é£¬ËùÒÔ±ØÐëÏÈÏû³ý×óµÝ¹é£¬Ê¹ÎÄ·¨±äΪ£º

E¡úTE`

E`¡ú+TE`|¦Å T¡úFT`

T`¡ú*FT`|¦Å F¡ú i | ( E ) FIRST¼¯ºÏÈçÏ£º

FIRST£¨E£©={(,i} FIRST£¨E`£©={+,¦Å} FIRST£¨T£©={(,i} FIRST£¨T`£©={*,¦Å} FIRST£¨F£©={(,i} FOLLOW¼¯ºÏÈçÏ£º

FOLLOW£¨E£©={),#} FOLLOW£¨E`£©={),#} FOLLOW£¨T£©={+,),#} FOLLOW£¨T`£©={+,),#} FOLLOW£¨F£©={+,*,),#}

¸÷²úÉúʽµÄSELECT¼¯ºÏÈçÏ£º SELECT£¨E¡úTE`£©={(,i} SELECT£¨E`¡ú+TE`£©={+} SELECT£¨E`¡ú|¦Å£©={),#} SELECT£¨T¡úFT`£©={(,i} SELECT£¨T`¡ú*FT`£©={*} SELECT£¨T`¡ú|¦Å£©={+,),#} SELECT£¨F¡ú i£©={i } SELECT£¨F¡ú ( E )£©={(}

ÓÉÉÏ¿ÉÖªÓÐÏàͬ×󲿲úÉúʽµÄSELECT¼¯ºÏµÄ½»¼¯Îª¿Õ£¬¹ÊÎÄ·¨ÊÇLL(1)ÎÄ·¨¡£ £¨2£©¹¹ÔìÎÄ·¨µÄÔ¤²â·ÖÎö±íÈçÏ£º

E E` T T` F i ¡úTE` ¡úFT` ¡ú i + ¡ú+TE` ¡ú¦Å * ¡ú*FT` ( ¡úTE` ¡úFT` ¡ú ( E ) ) ¡ú¦Å ¡ú¦Å # ¡ú¦Å ¡ú¦Å (¶þ) P101 6.(4) ¸ÄдÏÂÃæÎÄ·¨ÎªLL(1)ÎÄ·¨£¬¾®¶Ôÿ¸öLL(1)ÎÄ·¨¹¹ÔìÏàÓ¦µÄÔ¤²â·ÖÎö±í¡£

½â£º

3¡¢×Ôµ×ÏòÉÏ·½·¨ ÒÑÖªÎÄ·¨G(E):

[0] S'¡ú E [1] E¡ú E + T

[2] E¡ú T

[3] T¡ú T * F [4] T¡ú F [5] F¡ú ( E ) [6] F¡ú i (1) Ö¤Ã÷¸ÃÎÄ·¨ÊÇSLR(1)ÎÄ·¨.

(2) ÈôÒѸø³öÏÂÃæµÄSLR(1)·ÖÎö±í£¬ÊÔ·ÖÎö¾ä×Ó(i + ( * i ))#ÊäÈë´®³ö´íµÄλÖá£

״̬ 0 1 2 3 4 5 6 7 8 9 10 11 ACTION i S5 S5 S5 S5 + S6 r2 r4 r6 S6 r1 r3 r5 * S7 r4 r6 S7 r3 r5 ( S4 S4 S4 S4 ) r2 r4 r6 S11 r1 r3 r5 # acc r2 r4 r6 r1 r3 r5 E 1 8 GOTO T 2 2 9 F 3 3 3 10 3¡¢½â£º£¨1£©£º

ÏÈ·ÖÎöLR£¨0£©ÏîÄ¿£º