形式语言与自动机 第五章

《形式语言与自动机 第五章》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、eígÄÅ/ªógÄůÌIKo°
ÇJJIIJI11
88®ÊÊUÆOÅÆ£¶w«lizj@buaa.edu.cn'4òÑeígÄÅ1ÊÙeígÄÅ5.1eígÄÅ/ª½Â¯Ì5.2þe©Ã'óÚeígÄÅIKJJII5.3þe©Ã'ó5JI5.42ÂSÅC12
88£5.5§SOóØ´cfl¶w«5.6üi1Lþþe©Ã'ó'45.7Baker½nòÑ5eígÄÅeígÄÅÙò0/ªónØ¥,«©ÅìXÚ,=eígÄÅ(PushDownAutomata).¯Ì?ØeígÄÅþe©Ã'óÚþ

2、e©Ã'©{m'X,=IK`²eígÄÅÂóaTþe©Ã'óa.,?ØJJIIþe©Ã'óaµ45.JI13
88y²§SOóØ´ýþe©Ã'ó,üi1Lþþe©£Ã'óÑ´58.¶w«'4y²aAÏ0.©{,=¤¢ªàÉ©{§§¤)óÑòÑ´þe©Ã'ó§ùÒ´Baker½n.eígÄÅ5.1.eeeííígggÄÄÄÅÅÅ///ªªª½½½ÂÂÂk¡gÄÅUÂ58,3ék¡gÄÅ«U?(X#N¯Ì(½§ÄÚ^ÞV£Ä)E,Xd§±ë©{üþIKnne©Ã'©{ó

3、L={01

4、n≥1}ÑØUÂ,ÙÏÌ´k¡JJIIgÄÅ"yvPÁUå§,k¡gÄÅU^§GPÁ&JIE§Ïk¡gÄÅkkG§¤±§UPÁ&Eoþ714
88k(þ§ÂóL={0n1n}Ò7LU£OÑz£i0n1n(n≥1),Ïdk¡gÄÅ7LP4i0n1n¥c¡0ê,϶w«n±?¿,¤±k¡gÄÅw,ÒÃUå.'4òÑeígÄůÌOrk¡gÄÅÂUå,¦§UÂþe©Ã'ó,éIKk¡gÄÅØv§§ONþÃPÁC–eíÒ.eJJIIíÒÒ[CØ÷,zgCÑlþC?JI

5、,rp5ÀÜÑeØ;zgUþ¡C15
88Àܧ¤±§kC?ÀÜUÑ.£¶w«'4òÑeígÄÅ¡Xe㤫keíÒÅCeígÄÅ.ѯÌa1a2···ai···an6-zIKmJJII...JIz216
88z1kì£eíÒ¶w«'4eígÄÅMòÑeígÄÅeígÄÅMdnÜ©

6、¤:1)ѯÌÑ©¤kü,züÑXÑIKÎÒ,[Ø2UC§^ÞéXü§¡×£JJIIü§¿¡ùü¥¤ÑÎÒMcJIÑ.XJÑþü¥¤ÑÎÒ,lmg17
88

7、a1,a2,···,an,Ò¡iw=a1a2···,anéMÑi½£ÑG,{¡éMÑ;MzgÄ,ѦÑ^Þm£¶w«ü½öØÄ.'4òÑeígÄÅ2)eíÒeíÒ´NþÃk?Ñ;ì,§1ü¡Ò.,¿¡k&EüÒº,ÏdÒº´XÒS¤&EêþUCØäUC.elÒ.Òºü¯Ì¤&Eg:z1,z2,···,zm,K¡iα=z1z2···zmIKÒSN.3m©,ÒSNz0,¡z0å©ÒÎÒ.eíÒ^Þ[JJIIéXÒºü,Ïd,ÒSNi,eígÄÅMÒÊJIÅ.Mzg

8、Ä,eíÒSNCz±k±eo«¹:18
881)eíÒSNØC;£2)=ÒºÎÒUC;¶w«3)ØÒº,#Òºe£ü;'44)ØeíÒºÎÒ,¿#ÒSÑk+1ÎÒ,ÒºþòÑ£kü(k≥1);eígÄÅ3)kì¯ÌeígÄÅMkì=kk¡SÜG,Ù¥¡åIK©G,~^q0L«.keZG(Uvk),¡MªGJJII½ÂG.MzgÄ,ѦMkìl«GCJI,«G.19
88eígÄÅMzgÄ,Ñd§cÑ,ÒºÎÒÚMc¤?£G(¡McG)¤û½.¶w«'4òѽ½

9、½ÂÂÂ5.1.1¡ÔóM=eígÄÅ,Ù¥eígÄÅK—-k¡8,¡MG8,¿¡zq∈KMG;Σ—-k¡8,¡MÑi1L,¿¡za∈ΣM¯ÌÑÎÒ;IKΓ—-k¡8,¡MÒÎÒ8,¿¡zZ∈ΓMJJIIÒÎÒ;JIK×Γ∗δ—-lK×Σ×Γ2k¡¼ê,¡Mļê110
88½C¼ê;£q0—-q0∈K,¡Må©G;¶w«Z0—-Z0∈Γ,¡Må©ÒÎÒ,½Ò.ÎÒ;'4F—-F⊆K,¡MªG8Ü(½ÂG8Ü),¿¡zòÑq∈ΓMªG

10、(½ÂG);eígÄÅM{PpdaM.eígÄůÌ'updaM=A:`²IK1)C¼êδk¡¼ê;JJIIJI2)q∈K,a∈Σ,Z∈Γ,δ(q,a,Z)={,...,<111
88pt,γt>}¿Â;£¶w«'4òÑeígÄÅ~~~1pdaM1=<{q0,q1,q2},{0,1