资源描述:
《形式语言与自动机 第三章》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、5©{k¡gÄÅ/ªógÄůÌIKo°ÇJJIIJI11111®ÊÊUÆOÅÆ£¶w«lizj@buaa.edu.cn'4òÑ1nÙ5©{k¡gÄÅ5©{k¡gÄÅ3.1585Lª3.2k¡gÄÅ3.34k¡gÄůÌ3.4ÓÓIKJJII3.5k¡gÄÅ5óJI3.65ó5121113.7C㣶w«3.8PumpingÚn'43.9Vk¡gÄÅòÑ3.10±Ï8Ü3.11ÑÑk¡gÄÅ5©{k¡gÄÅ35©{k¡gÄůÌ3.1.555888555LLLªªªIK58´äkûÐê5aó.JJIIJI£ã58*kêÆó
2、äÒ´5Lª.13111!òÚ?58Ú5LªVg,¿y²ó58£=§U,5Lª¤L§± y²,58Ò´¶w«5ó.'4òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L,Σ=Σ∪{}i)∅Σþ58.¯ÌIKJJIIJI14111£¶w«'4òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L,Σ=Σ∪{}i)∅Σþ58.ii)ea∈Σ,K{a}Σ58;¯ÌIKJJIIJI14111£¶w«'4òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L,Σ=Σ∪{}i)∅Σþ58.ii)ea∈Σ,K{a}Σ58;¯Ì
3、iii)eSΣþ58,KS∗´Σþ58IKJJIIJI14111£¶w«'4òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L,Σ=Σ∪{}i)∅Σþ58.ii)ea∈Σ,K{a}Σ58;¯Ìiii)eSΣþ58,KS∗´Σþ58IKiv)eS1ÚS2Ñ´Σþ58,KS1∪S2ÚS1·S2´Σþ58;JJIIv)Σþz58ѱÏLkgA^i)∼ii);JIÏ~^R(Σ)L«Σþ¤k588Ü.14111£dþã½Â:¶w«1eS⊆Σ,KS∈R(Σ),ÏdS∗∈R(Σ);'4òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L
4、,Σ=Σ∪{}i)∅Σþ58.ii)ea∈Σ,K{a}Σ58;¯Ìiii)eSΣþ58,KS∗´Σþ58IKiv)eS1ÚS2Ñ´Σþ58,KS1∪S2ÚS1·S2´Σþ58;JJIIv)Σþz58ѱÏLkgA^i)∼ii);JIÏ~^R(Σ)L«Σþ¤k588Ü.14111£dþã½Â:¶w«1eS⊆Σ,KS∈R(Σ),ÏdS∗∈R(Σ);'42eL⊆Σ∗#L<∞,KL∈R(Σ);òÑ5©{k¡gÄŽ½½ÂÂÂ3.1.1Σi1L,Σ=Σ∪{}i)∅Σþ58.ii)ea∈Σ,K{a}Σ58;¯Ìiii)eSΣþ58
5、,KS∗´Σþ58IKiv)eS1ÚS2Ñ´Σþ58,KS1∪S2ÚS1·S2´Σþ58;JJIIv)Σþz58ѱÏLkgA^i)∼ii);JIÏ~^R(Σ)L«Σþ¤k588Ü.14111£dþã½Â:¶w«1eS⊆Σ,KS∈R(Σ),ÏdS∗∈R(Σ);'42eL⊆Σ∗#L<∞,KL∈R(Σ);òÑ5©{k¡gÄÅ~~~1Σ={a,b},K:i){a},{b},{c}Ñ´Σþ58.¯ÌIKJJIIJI15111£¶w«'4òÑ5©{k¡gÄÅ~~~1Σ={a,b},K:i){a},{b},{c}Ñ´Σþ58.ii)ew∈{a,b}∗
6、,K{w}Σ58;¯ÌIKJJIIJI15111£¶w«'4òÑ5©{k¡gÄÅ~~~1Σ={a,b},K:i){a},{b},{c}Ñ´Σþ58.ii)ew∈{a,b}∗,K{w}Σ58;nm¯Ìiii){ab
7、n,m∈N}´Σþ58IKJJIIJI15111£¶w«'4òÑ5©{k¡gÄÅ~~~1Σ={a,b},K:i){a},{b},{c}Ñ´Σþ58.ii)ew∈{a,b}∗,K{w}Σ58;nm¯Ìiii){ab
8、n,m∈N}´Σþ58IKiv){a2n
9、n∈N}Ú{a2n+1
10、n∈N}Ñ´Σþ58;JJIIv){aw
11、w∈{a,
12、b}∗}´Σþ58JIÏ~^R(Σ)L«Σþ¤k588Ü.15111´,¿Ø´{a,b}∗¤kf8Ñ´{a,b}þ58.± òy²µ£ó¶w«nnPn2{ab
13、n∈N},{a
14、Pê},{a
15、n∈N}'4òÑÑØ´Σ58.5©{k¡gÄŽ½½nnn3.1.1Σi1L,XJS⊆R(Σ)÷v±e^:¯Ì1)∅∈S.IK2)ea∈Σ,K{a}∈S.JJII3)eL∈S,KL∗∈S.JI4)eL,L∈S,KL∪L