±àÒëÔ­Àí ¸´Ï°×ÊÁÏ ÏÂÔØ±¾ÎÄ

ÎÊÌ⣺ a1¡¢b1¡¢b2¡¢a3Ϊʲô²»ÊǶÌÓ

3.7ÎÄ·¨ÊµÓÃÐÔµÄһЩ˵Ã÷

Ò»¡¢ÓйØÎÄ·¨µÄʵÓÃÏÞÖÆ

1¡¢ÔÚʵÓÃÖУ¬ÎÄ·¨Öв»µÃº¬Óк¦¹æÔò»ò¶àÓà¹æÔò¡£ 2¡¢ÐÎÈçU¡úUµÄ¹æÔòΪÓк¦¹æÔò¡£

3¡¢²»¿É´ï¹æÔò»ò²»¿ÉÖÕÖ¹¹æÔòΪ¶àÓà¹æÔò¡£ Àý£ºG[S]£ºS¡úAb|Cd A¡úb D¡úe C¡úCa

¶þ¡¢ÏÞÖÆÊ¹ÓæŹæÔò

¼´ÐÎÈçA¡ú¦ÅµÄ¹æÔò£¬Ëü»áʹÓйØÎÄ·¨µÄÖ¤Ã÷ºÍÌÖÂÛ±äµÃ¸´ÔÓ¡£

ϰÌâ½²½â

P48µÚ11ÌâÀ©Õ¹£º ÁîÎÄ·¨G£ÛE£ÝΪ£ºE¡úT|E+T|E-T T¡úF|T*F|T/F F¡ú(E) |i

ÒªÇóÖ¤Ã÷F+T*FÊÇËüµÄÒ»¸ö¾äÐÍ£¬¹¹ÔìÆäÓï·¨Ê÷£¬²¢Ö¸³öÕâ¸ö¾äÐ͵ÄËùÓжÌÓï¡¢Ö±½Ó¶ÌÓïºÍ¾ä±ú¡£

½â£º1£©Ö¤Ã÷£ºÒòΪE? E+T? T+T? F+T? F+T*F£¬¼´ÓÐE=*> F+T*F£¬¹Ê£ºF+T*FÊÇG£ÛE£ÝµÄÒ»¸ö¾äÐÍ¡£Óï·¨Ê÷ÈçÏÂͼËùʾ¡£

2£©¾äÐÍ·ÖÎö

¸Ã¾äÐÍÏà¶ÔÓÚEµÄ¶ÌÓ F+T*F¡¢F£» ¸Ã¾äÐÍÏà¶ÔÓÚTµÄ¶ÌÓ T*F¡¢F£»

¸Ã¾äÐÍÏà¶ÔÓÚT¡úFµÄÖ±½Ó¶ÌÓïF£¬Ïà¶ÔÓÚT¡úT*FµÄÖ±½Ó¶ÌÓT*F£» ¸Ã¾äÐ͵ľä±ú£ºF¡£

×÷Òµ£ºP47Á·Ï° 2¡¢5¡¢9¡¢11¡¢16

ÊÚ¿Î˳Ðò£º4

½ÌѧĿµÄ£ºÈÃѧÉúÁ˽â´Ê·¨·ÖÎö³ÌÐòµÄ¸ÅÄî¼°Éè¼ÆÔ­Ôò¡¢µ¥´ÊµÄ·ÖÀà£¬ÕÆÎÕÕý

¹æÎÄ·¨¡¢Õý¹æÊ½µÄÏà¹Ø¸ÅÄî¼°µÈ¼Ûת»»·½·¨¡£

½ÌÑ§ÖØµã£ºÕý¹æÎÄ·¨ºÍÕý¹æÊ½µÄÏà¹Ø¸ÅÄî¼°µÈ¼Ûת»» ½ÌѧÄѵ㣺Õý¹æÎÄ·¨ºÍÕý¹æÊ½µÄµÈ¼Ûת»»

ÊÚ¿Îѧʱ£º2ѧʱ ½Ìѧ·½Ê½£º¶àýÌå½²ÊÚ ½ÌѧÄÚÈÝ£º

µÚËÄÕ´ʷ¨·ÖÎö 4.1 ´Ê·¨·ÖÎö³ÌÐòµÄÉè¼Æ

Ò»¡¢´Ê·¨·ÖÎö³ÌÐòµÄÉè¼ÆË¼Ïë

ͨ³£½«´Ê·¨·ÖÎö³ÌÐò£¨É¨ÃèÆ÷£©Éè¼ÆÎª×Ó³ÌÐòÐÎʽ£¬µ±Óï·¨·ÖÎö³ÌÐòÐèÒªµ¥´Êʱ£¬Ôòµ÷ÓøÃ×Ó³ÌÐò¡£

¶þ¡¢µ¥´Ê·ÖÀà

ͨ³£·ÖΪ5Àࣺ (1)»ù±¾×Ö(¹Ø¼ü×Ö¡¢±£Áô×Ö)£º¾ßÓÐÌØÊ⺬ÒåµÄ±êʶ·û£¬²»×÷ËûÓã¬ÓзָôÓï·¨µÄ×÷Óã» (2)±êʶ·û£º±íʾ¸÷ÖÖÃû×Ö£»

(3)³£Á¿£ºÕûÐÍ¡¢ÊµÐÍ¡¢²¼¶ûÐÍ¡¢×Ö·ûÐÍ£» (4)ÔËËã·û£ºËãÊõ¡¢Âß¼­¡¢¹ØÏµÔËËã·û£» (5)½ç·û£º°üÀ¨.£¬;£¬(£¬)£¬:£¬£¬µÈ£¬ÓÐʱҲ°ÑÔËËã·û³Æ×÷½ç·û¡£

Èý¡¢´Ê·¨·ÖÎö³ÌÐòµÄÉè¼ÆÔ­Ôò (1£©°ÑɨÃèÆ÷µ±×÷Óï·¨·ÖÎöµÄÒ»¸ö¹ý³Ì£¬µ±Óï·¨·ÖÎöÐèÒªÒ»¸öµ¥´Êʱ£¬±ãµ÷ÓÃɨÃèÆ÷¡£ (2)ɨÃèÆ÷´Ó³õ̬³ö·¢£¬µ±Ê¶±ðÒ»¸öµ¥´Êºó±ã½øÈëÖÕ̬£¬Í¬Ê±Êä³ö¶þÔª×é¡£

ËÄ¡¢´Ê·¨·ÖÎö³ÌÐòµÄÊä³ö

´Ê·¨·ÖÎö³ÌÐòɨÃèºóÊä³öµ¥´ÊÐòÁбíʾΪÈç϶þÔª×éÐÎʽ£º ¶þÔª×飺£¨µ¥´ÊÖֱ𣬵¥´Ê×ÔÉíÖµ»òÖ¸Õ룩

Àý£ºÈô¹æ¶¨±êʶ·û¡¢³£Êý¡¢»ù±¾×Ö¡¢ÔËËã·û¡¢½ç·ûµÄÖÖ±ðÓÃÕûÊý±àÂë·Ö±ðΪ1¡¢2¡¢3¡¢4¡¢5£¬Ôò¶Ô³ÌÐò¶Î £º ¡° if k=7 then a:=b ; ¡± £¬ÔòÆä¾­É¨ÃèÆ÷ɨÃèºóÊä³öµÄµ¥´Ê·ûºÅ¼°Æä¶þÔª×éΪ£º

»ù±¾×Öif (3£¬ ?if?)

±êʶ·ûk (1£¬?Ö¸ÏòkµÄ·ûºÅ±íÈë¿ÚµÄÖ¸Õë )

µÈºÅ= (4£¬ ?=?)? ³£Êý7 £¨2£¬?7?£© »ù±¾×Öthen (3£¬ ?then?)

±êʶ·ûa (1£¬ Ö¸ÏòaµÄ·ûºÅ±íÈë¿ÚµÄÖ¸Õë) ¸³ÖµºÅ:= (4£¬ ?:=?)

±êʶ·ûb (1£¬ Ö¸ÏòbµÄ·ûºÅ±íÈë¿ÚµÄÖ¸Õë) ·ÖºÅ£» (5£¬ ?;?)

Îå¡¢´Ê·¨·ÖÎö³ÌÐò¶ÀÁ¢Éè¼ÆµÄÓŵã

(1)ʹÕû¸ö±àÒë³ÌÐòµÄ½á¹¹¸ü¼Ó¼ò½à¡¢ÇåÎú¡¢ÌõÀí»¯£» (2)¸Ä½øÁ˱àÒë³ÌÐòµÄЧÂÊ£»

(3£©Ôö¼ÓÁ˱àÒë³ÌÐòµÄ¿ÉÒÆÖ²ÐÔ¡£

4.2?µ¥´ÊµÄÃèÊö¹¤¾ß

Ò»¡¢Õý¹æÎÄ·¨

3ÐÍÎÄ·¨£¬ÓÖ³ÆÓÒÏßÐÔÎÄ·¨»òÕý¹æÎÄ·¨(Regular Grammars)£¬Æä±í´ïʽÐÎÈ磺A¡úaB»ò

A¡úa¡£Õý¹æÎÄ·¨ÃèÊöµÄÓïÑÔÊÇVT*ÉϵÄÕý¹æ¼¯¡£¾ø´ó²¿·Ö³ÌÐòÉè¼ÆÓïÑԵĵ¥´Ê¶¼ÄÜÓÃÕý¹æÎÄ·¨À´ÃèÊö¡£

¶þ¡¢Õý¹æÊ½ºÍÕý¹æ¼¯ 1¡¢¶¨Òå

Õý¹æÊ½Ò²³ÆÕý¹æ±í´ïʽ£¬ÊDZíʾÕý¹æ¼¯µÄ¹¤¾ß£¬µÝ¹é¶¨ÒåÈçÏ£º

1)¦ÅºÍ¦Õ¶¼ÊÇ×Öĸ±í?ÉϵÄÕý¹æÊ½£¬±íʾÕý¹æ¼¯Îª{¦Å}ºÍ¦Õ£» 2)?a¡Ê?£¬aÊÇ?ÉϵÄÕý¹æÊ½£¬±íʾÕý¹æ¼¯{a}£»

3)¼Ù¶¨e1¡¢e2¶¼ÊÇ?ÉϵÄÕý¹æÊ½£¬¶ÔÓ¦Õý¹æ¼¯ÎªL(e1)¡¢L(e2)£¬Ôò(e1)¡¢e1|e2¡¢e1.e2¡¢e1*Ò²ÊÇÕý¹æÊ½£¬·Ö±ð±íʾµÄÕý¹æ¼¯ÎªL(e1)£¬L(e1)¡È L(e2)£¬L(e1).L(e2)£¬ºÍL(e1)*£»

4)½öÓÉÓÐÏÞ´ÎÔËÓÃÉÏÊö²½Öè²úÉúµÄ±í´ïʽ²ÅÊÇ?ÉϵÄÕý¹æÊ½£¬½öÓÉÕâЩÕý¹æÊ½²úÉúµÄ×Ö¼¯²ÅÊÇ?ÉϵÄÕý¹æ¼¯¡£

Àý: Éè?={0£¬1}£¬ÔòÓУº

Õý¹æÊ½ Õý¹æ¼¯ 0 {0}

0|1 01 1* (0|1)*

{0£¬1} {01}

{¦Å£¬1£¬11£¬111...} {¦Å£¬0£¬1£¬01£¬10......}

3¡¢Õý¹æÊ½·þ´ÓµÄ´úÊý¹æÔò

Éèr£¬s£¬tΪÕý¹æÊ½£¬ÔòÕý¹æÊ½·þ´ÓÈçϵĴúÊý¹æÔò£º

r|s=s|r ('»ò'Âú×ã½»»»ÂÉ) r|(s|t)=(r|s)|t ('»ò'Âú×ã½áºÏÂÉ) r(st)=(rs)t ('Á¬½Ó'Âú×ã½áºÏÂÉ) r(s|t)=rs | rt (·ÖÅäÂÉ)

r¦Å=¦År=r (¦ÅÊÇÁ¬½ÓµÄºãµÈÔªËØ)

×¢Ò⣺ rs?sr r|(st)?rs | rt

Èý¡¢Õý¹æÊ½ºÍÕý¹æÎÄ·¨µÄµÈ¼ÛÐÔ

ÈÎÒâÒ»¸öÕý¹æÓïÑԼȿÉÒÔÓÉÕý¹æÊ½¶¨Ò壬Ҳ¿ÉÓÉÕý¹æÎÄ·¨À´¶¨Òå¡£Õý¹æÊ½ºÍÕý¹æÎÄ·¨Ö®¼ä¿É½øÐеȼÛת»»¡£

1¡¢Õý¹æÊ½×ª»»³ÉÕý¹æÎÄ·¨

½«?=VTÉϵÄÕý¹æÊ½r»»³ÉÕý¹æÎÄ·¨G =(VN£¬ VT£¬P£¬S)·½·¨ÈçÏ£º

(1)ÁîS¡úr

(2)¶ÔÐÎÈçA¡úxyµÄ²úÉúʽ£¬¿É·Ö½â³ÉA¡úxB£¬B¡úy (3)¶ÔÐÎÈçA¡úx*yµÄ²úÉúʽ£¬¿É·Ö½â³ÉΪA¡úxA£¬ A¡úy (4)¶ÔÐÎÈçA¡úx|y µÄ²úÉúʽ£¬¿É·Ö½âΪ A¡úx £¬A¡úy ·´¸´ÀûÓÃÉÏÊö¹æÔò£¬Ö±ÖÁËùÓвúÉúʽÖÐ×î¶àÖ»º¬Ò»¸öÖÕ½á·û¡£ Àý£º½«R=a(a|d)*ת»»³ÉÏàÓ¦µÄÕý¹æÎÄ·¨¡£ ½â£º²½ÖèÈçÏ£º (1) S¡úa(a|d)*

(2) S¡úaB£¬ B¡ú(a|d)B£¬ B¡ú¦Å

(3) S¡úaB£¬ B¡úaB £¬B¡údB£¬ B¡ú¦Å

ÏàÓ¦µÄÕý¹æÎÄ·¨Èç(3)ʽËùʾ£¬¼´G[S]: S¡úaB B¡úaB|dB|¦Å 2¡¢Õý¹æÎÄ·¨×ª»»³ÉÕý¹æÊ½

½«Õý¹æÎÄ·¨G=(VN£¬ VT£¬P£¬S)»»³É?=VTÉϵÄÕý¹æÊ½rµÄת»»¹æÔò£º

1£©½«²úÉúʽA¡úxB B¡úy ºÏдΪA=xy£»

2£©½«²úÉúʽA¡úxA A¡úy ºÏдΪA=x*y£» 3£©½«²úÉúʽA¡úx A¡úy ºÏдΪA= x|y

·´¸´ÀûÓÃÉÏÊö¹æÔò£¬Ö±ÖÁֻʣÏÂÒ»¸öÓÉ¿ªÊ¼·û¶¨ÒåµÄ²úÉúʽ£¬ÇҸòúÉúʽÓÒ²¿²»º¬Ò»¸ö·ÇÖÕ½á·û¡£

Àý£º½«Õý¹æÎÄ·¨G[S]: S¡údA|eB A¡úaA|b B¡úbB|c»»³ÉÕý¹æÊ½¡£ ½â£º²½ÖèÈçÏ£º

(1)ÓÉA¡úaA|b£¬½«Aת»»³Éa*b£»ÓÉB¡úbB|c£¬½« Bת»»³Éb*c£» (2)ÓÉ S¡údA|eB£¬½«S¿Éת»»³É(da*b)|(eb*c) ¹ÊËùÇóÕý¹æÊ½ÎªR=(da*b)|(eb*c)¡£