第三章第二讲上下文无关文法的变换.ppt

结论： 定理12：有单生成式的上下文无关文法G，则必存在一个与G等效的无单生成式的文法G1。 思考：考虑如何结合算法4采用类似于证明定理10的方法，对定理12进行证明？ 总结： 通过算法1和算法2：可以删除上下文无关文法G中的所有无用的非终结符和终结符； 通过算法3：可以删除上下文无关文法G中的所有形如A →ε的生成式（若 ε∈ L(G),则仅有S →ε是文法G的一个生成式，S是起始符，且S不出现在任何生成式的右边； 通过算法4：可以删除上下文无关文法G中的所有形如A →B的单生成式 。 END RETURN 第三章上下文无关文法与下推自动机第二讲上下文无关文法的等价变换 一、对文法进行等价变换的基本概念 1、变换问题 引例：上下文无关文法G=(N,T,P,S),其中： N={S,A,B} , T={0,1} , P={S→0 , A→1 , B→0}, 容易看出，上述文法中的非终结符A、B和终结符1不可能出现在从S出发的推导的句型中，同时，生成式A→1,B→0 也是无用生成式。因此，从文法G中删除这些无用终结符、非终结符和生成式，不会改变原文法所生成的语言。 文法变换的定义：当给定一个文法G之后，为删除G中所有的无用符号及其所涉及到的无用生成式（或为使所有生成式满足某种标准形式）而对文法G做等价变换，这种等价变换不改变原文法G的生成能力(或描述能力)