计算理论3章 文法与语言2.pptxVIP

计算理论第三章 文法与语言上下文无关语言 上下文无关文法定义： G(V, T, P, S), P中的产生式形如: A??? .A∈V，??(V?T)*.例： 上下文无关文法G = ( V, T, P, S), 其中： V={S}, T={a, b}, P={S ?aSb, S?e}上下文无关文法识别：对给定的字符串是否能由文法的开始符和产生式推导出。例：上例中的文法G，是否能识别字符串aaaebbb.语法树 二义性 E ? I E ? E + E E ? E * E E ? （E） I ? aa + a * a E ? T | E + T T ? F | T* F F ? I | （E） I ? a有些可手动消除；无自动消除算法 有些甚至是不可消除的。上下文无关文法 乔姆斯基范式如果一个上下文无关文法中产生式形如： A ? BC或A ? a ， 其中a?T，A,B,C?V，且B,C不允许是文法的开始符，允许有空产生式S ??（S是文法的开始符），则称该文法为乔姆斯基范式。上下文无关文法 定理： 任一上下文无关文法都可等价转换为乔 姆斯基范式形式。 范式是二叉树形式，对于任意给定的串，将非终极符为树枝，终极符为树叶，则该串可以认为是树，根据树的理论，可以将任何树转换为二叉树。上下文无关文法证明：替换开始符S。增加一个新开始符S’和新产生式S’? S。 消除空产生