形式语言与自动机文法的一般理论案例.ppt

* 正则文法 对应G中的产生式S→a1B1，G’中有S→B1a1，对应G中的产生式B1→a2B2,G’中有B1→B2a2 ,…, 对应G中的产生式Bn-2→an-1Bn-1 , G’中有Bn-2→Bn-1an-1 , 对应G中的产生式Bn-1→anBn ,G’中有Bn-1→Bnan 。至于G中的产生式Bn-1→an和Bn→ε，G’中也有同样的产生式。 S B1a1 （用产生式S→B1a1） B2a2a1 （用产生式B1→B2a2） ┆ Bn-1an-1…a2a1 （用产生式Bn-2→Bn-1an-1） anan-1…a2a1 （用产生式Bn-1→an） 或者有 Bn-1an-1…a2a1 Bnanan-1…a2a1 （用产生式Bn-1→Bnan） anan-1…a2a1 （用产生式Bn→ε） 所以总起来有 S anan-1…a2a1=xR ，即xR ∈L(G’)。 * 南京航空航天大学计算机学院 胡军 * 正则文法 另一方面，设x=a1a2…an∈L(G′),要证xR =an…a2a1∈L(G)。 对于n≤1，根据与前面同样的理由，结论显然成立。 对于n≥2，在G′中要用一系列直接推导 S B1an