±àÒëÔ­ÀíϰÌ⼯Óë´ð°¸½âÎö(ÕûÀíºó) ÏÂÔØ±¾ÎÄ

¾«Æ·

8¡¢¶ÔÈκÎÕý¹æ±í´ïʽe£¬¶¼´æÔÚÒ»¸öDFA M£¬Âú×ãL(G)=L(e)¡£ £¨ £© Îå¡¢»ù±¾Ìâ

1¡¢ÉèM£½£¨{x,y}, {a,b}, f,x,{y}£©ÎªÒ»·ÇÈ·¶¨µÄÓÐÏÞ×Ô¶¯»ú£¬ÆäÖÐf¶¨ÒåÈçÏ£º

f£¨x,a£©£½{x,y} f£¨x,b£©£½{y} f£¨y,a£©£½¦Õ f£¨y,b£©£½{x,y}

ÊÔ¹¹ÔìÏàÓ¦µÄÈ·¶¨ÓÐÏÞ×Ô¶¯»úM¡ä¡£ 2¡¢¶Ô¸ø¶¨Õý¹æÊ½b*£¨d|ad£©£¨b|ab£©+£¬¹¹ÔìÆäNFA M£»

µ¥Ñ¡½â´ð 1¡¢b 2¡¢c 3¡¢c 4¡¢d 5¡¢b ¶àÑ¡½â´ð 1¡¢a¡¢c¡¢e 2¡¢a¡¢b¡¢d

Ìî¿Õ½â´ð 1¡¢NFA 2¡¢Õý¹æ¼¯ 3¡¢DFA£¨NFA£©Ëùʶ±ð ÅжϽâ´ð 1 ¡¢2¡¢3¡¢´í 4¡¢5¡¢6¡¢7¡¢8¡¢ÕýÈ·

»ù±¾1½â´ð£º¶ÔÕÕ×Ô¶¯»úµÄ¶¨ÒåM=(S,¦²,f,S0,Z)£¬ÓÉfµÄ¶¨Òå¿ÉÖªf(x,a)¡¢f(y,b)¾ùΪ¶àÖµº¯Êý£¬ËùÒÔÊÇÒ»·ÇÈ·¶¨ÓÐÏÞ×Ô¶¯»ú£¬ÏÈ»­³öNFA MÏàÓ¦µÄ״̬ͼ£¬Èçͼ3-6-2Ëùʾ¡£ a a b X b Y b ÓÃ×Ó¼¯·¨¹¹Ôì״̬ת»»¾ØÕó±í3-6-3Ëùʾ¡£ I {x} {y} {x,y} Ia {x,y} ¡ª {x,y} ͼ3-6-2 NFA M Ib {y} {x,y} {x,y} ½«×ª»»¾ØÕóÖеÄËùÓÐ×Ó¼¯ÖØÐÂÃüÃû¶øÐγɱí3-6-4ËùʾµÄ״̬ת»»¾ØÕó¡£ ±í3-6-4 ״̬ת»»¾ØÕó 0 1 2 a 2 ¡ª 2 b 1 2 2 ¼´µÃµ½M¡ä=£¨{0,1,2}, {a,b}, f,0, {1,2}£©£¬Æä״̬ת»»Í¼Èçͼ3-6-5Ëùʾ¡£

a 0 2 a,b 1 b b ¸ÐлÏÂÔØÔØ

¾«Æ·

½«Í¼3-6-5µÄDFA M¡ä×îС»¯¡£Ê×ÏÈ£¬½«M¡äµÄ״̬·Ö³ÉÖÕ̬×é{1£¬2}Óë·ÇÖÕ̬×é{0}£»Æä´Î£¬¿¼²ì{1,2}¡£ÓÉÓÚ{1,2}a={1,2}b={2}?{1,2}£¬ËùÒÔ²»ÔÙ½«Æä»®·ÖÁË£¬Ò²¼´Õû¸ö»®·ÖÖ»ÓÐÁ½×é{0}£¬{1,2}£ºÁî״̬1´ú±í{1,2}£¬¼´°ÑÔ­À´µ½´ï2µÄ»¡¶¼µ¼Ïò1£¬²¢É¾³ý״̬2¡£×îºó£¬µÃµ½Èçͼ3-6-6Ëùʾ»¯¼òDFA M¡ä¡£

a a,b

1 0 b

ͼ3-6-6 »¯¼òºóµÄDFA M¡ä

2½â´ð£ºÊ×ÏÈÓÃA+=AA*¸ÄÔìÕý¹æÊ½µÃ£ºb*(d|ad)(b|ab)(b|ab)*£»Æä´Î£¬¹¹Ôì¸ÃÕý¹æÊ½µÄNFA M£¬

b*(d|ad)(b|ab)(b|ab)* X Y Èçͼ3-6-7Ëùʾ¡£

X ¦Å X ¦Å X b* b 4 ¦Å b 4 ¦Å 1 a 1 ad d 2 a 6 d 1 (d|ad) d 2 ab b 2 (b|ab) b *3 (b|ab) Y b|ab 3 ¦Å 5 ¦Å b 3 ¦Å 5 a 7 b 8 ¦Å Y b Y ͼ3-6-7 µÄNFA M

¸ÐлÏÂÔØÔØ

¾«Æ·

µÚËÄÕÂ

1¡¢ ¹¹ÔìÏÂÃæÎÄ·¨µÄLL£¨1£©·ÖÎö±í¡£

D¡ú TL T¡ú int | real L¡ú id R R¡ú , id R | ¦Å

2¡¢ ÏÂÃæÎÄ·¨G[S]ÊÇ·ñΪLL£¨1£©ÎÄ·¨£¿ËµÃ÷ÀíÓÉ¡£

S ¡ú A B | P Q x A ¡ú x y B ¡ú b c P ¡ú d P | ¦Å 3¡¢ ÉèÓÐÒÔÏÂÎÄ·¨£º

G[S]£ºS¡úaAbDe|d

A¡úBSD|e B¡úSAc| cD| ¦Å D¡úSe| ¦Å

Q ¡ú a Q | ¦Å

£¨1£©Çó³ö¸ÃÎÄ·¨µÄÿһ¸ö·ÇÖÕ½á·ûUµÄFOLLOW¼¯¡£ £¨2£©¸ÃÎÄ·¨ÊÇLL£¨1£©ÎÄ·¨Â𣿠£¨3£©¹¹ÔìC[S]µÄLL£¨1£©·ÖÎö±í¡£ 4¡¢ ½«ÎÄ·¨G[V]¸ÄÔì³ÉΪLL(1)µÄ¡£

G[V]£ºV¡úN|N[E]

¸ÐлÏÂÔØÔØ

¾«Æ·

E¡úV|V+E N¡úi 5¡¢ÒÑÖªÎÄ·¨£º

G[A]£º A¡úaAa|¦Å

£¨1£©¸ÃÎÄ·¨ÊÇLL£¨1£©ÎÄ·¨Âð£¿ÎªÊ²Ã´£¿

£¨2£©Èô²ÉÓÃLL£¨1£©·½·¨½øÐÐÓï·¨·ÖÎö£¬ÈçºÎµÃµ½¸ÃÎÄ·¨µÄLL£¨1£©·ÖÎö±í£¿ £¨3£©ÈôÊäÈë·ûºÅ´®¡°aaaa¡±£¬Çë¸ø³öÓï·¨·ÖÎö¹ý³Ì¡£ 1½â´ð£º LL£¨1£©·ÖÎö±í¼û±í4-3-1

·ÖÎö ËäÈ»Õâ¸öÎÄ·¨ºÜ¼òµ¥£¬ÎÒÃÇ»¹ÊÇ´ÓÇó¿ªÊ¼·ûºÅ¼¯ºÏºÍºó¼Ì·ûºÅ¼¯ºÏ¿ªÊ¼¡£ FIRST£¨D£©=FIRST£¨T£©={int, real}

FOLLOW£¨D£©=FOLLOW£¨L£©={#}

FIRST£¨L£©={id} FOLLOW£¨T£©={id} FIRST£¨R£©={£¬, ¦Å} FOLLOW£¨R£©={#}

ÓÐÁËÉÏÃæÃ¿¸ö·ÇÖÕ½á·ûµÄFIRST¼¯ºÏ£¬Ìî·ÖÎö±íʱҪ¼ÆËãÒ»¸ö²úÉúʽÓÒ²¿¦ÁµÄFIRST£¨¦Á£©¾Í²»ÊǼþÄÑÊÂÁË¡£

Ìî±íʱΨһҪСÐĵÄʱ£¬¦ÅÊDzúÉúʽR¡ú¦ÅÓÒ²¿µÄÒ»¸ö¿ªÊ¼·ûºÅ£¬¶ø#ÔÚFOLLOW£¨R£©ÖУ¬ËùÒÔR¡ú¦ÅÌîÔÚÊäÈë·ûºÅ#µÄÀ¸Ä¿ÖС£

±í4-3-1 LL£¨1£©·ÖÎö±í

·ÇÖÕ½á·û D T L int D¡úTL T¡úint ÊäÈë·ûºÅ real D¡úTL T¡úreal id L¡úid R £¬ # ¸ÐлÏÂÔØÔØ

¾«Æ·

R

R¡ú,id R R¡ú ¦Å 2½â´ð£º ¸ÃÎÄ·¨²»ÊÇLL£¨1£©ÎÄ·¨£¬¼ûÏÂÃæ·ÖÎöÖеÄ˵Ã÷¡£ ·ÖÎö Ö»ÓÐÈý¸ö·ÇÖÕ½á·ûÓÐÁ½¸öÑ¡Ôñ¡£

1¡¢PµÄÁ½¸öÓÒ²¿d P ºÍ¦Å µÄ¿ªÊ¼·ûºÅ¿Ï¶¨²»Ïཻ¡£

2¡¢QµÄÁ½¸öÓÒ²¿a Q ºÍ ¦Å µÄ¿ªÊ¼·ûºÅ¿Ï¶¨²»Ïཻ¡£

3¡¢¶ÔSÀ´Ëµ£¬ÓÉÓÚx ¡Ê FIRST(A B)£¬Í¬Ê±Ò²ÓÐx ¡Ê FIRST(P Q x)£¨ÒòΪPºÍQ¶¼¿ÉÄÜΪ¿Õ£©¡£ËùÒÔ¸ÃÎÄ·¨²»ÊÇLL£¨1£©ÎÄ·¨¡£

3½â´ð£º £¨1£©ÇóÎÄ·¨µÄÿһ¸ö·ÇÖÕ½á·ûUµÄFOLLOW¼¯µÄ¹ý³ÌÈçÏ£º

ÒòΪ£º

¢Ù SÊÇʶ±ð·ûºÅ£¬ÇÒÓÐA¡úBSD¡¢B¡úSAc¡¢D¡úSe£¬ËùÒÔFOLLOW£¨S£©Ó¦°üº¬

FIRST(D)¡ÈFIRST(Ac) ¡ÈFIRST(e) ¡È{#} ={a,d}¡È{a,d,c,e}¡È{e}¡È{#} ={a,c,d,e#}

¢Ú ÓÖÒòΪA¡úBSDºÍD¡ú¦Å£¬ËùÒÔFOLLOWÖл¹°üº¬FOLLOW(A)¡£ ÒòΪS¡úaAbDeºÍB¡úSAc,ËùÒÔ

FOLLOW£¨A£©=FIRST£¨bDe£©¡ÈFIRST£¨c£©={b,c}

×ۺϢ١¢¢ÚµÃFOLLOW£¨S£©={a,d,c,e,#}¡È{a,b,c,d,e,#} ÒòΪA¡úBSD£¬ËùÒÔ FOLLOW£¨B£©=FIRST£¨SD£©={a,d} ÒòΪS¡úaAbDe | d¡¢A¡úBSD| eºÍB¡úSAc | cD£¬ËùÒÔ

FOLLOW£¨D£©=FIRST£¨e£©¡ÈFOLLOW£¨A£©¡ÈFOLLOW£¨B£©

={e}¡È{b,c}¡È{a,d}={a,b,c,d,e} £¨2£©G[S]²»ÊÇLL£¨1£©ÎÄ·¨¡£

¸ÐлÏÂÔØÔØ