形式语言_第6章_上下文无关语言教材教学课件.ppt

2018-3-12 1 第6章 上下文无关语言 主要内容 关于CFL的分析 派生和归约、派生树 CFG的化简 无用符、单一产生式、空产生式 CFG的范式 CNF GNF CFG的自嵌套特性 2018-3-12 2 第6章 上下文无关语言 重点 CFG的化简。 CFG到GNF的转换。 难点 CFG到GNF的转换，特别是其中的用右递归替换左递归的问题。 2018-3-12 3 6.1 上下文无关语言 文法G=(V，T，P，S)被称为是上下文无关的。 如果除了形如Aε的产生式之外，对于αβ∈P，均有|β|≥|α|，并且α∈V成立。 关键：对于A∈V，如果Aβ∈P，则无论A出现在句型的任何位置，我们都可以将A替换成β，而不考虑A的上下文。 2018-3-12 4 6.1.1 上下文无关文法的派生树 算术表达式的文法 Gexp1：EE+T|E-T|T TT*F|T/F|F FF↑P|P P(E)|N(L)|id Nsin|cos|exp|abs|log|int LL,E|E 2018-3-12 5 6.1.1 上下文无关文法的派生树 算术表达式x+x/y↑2的不同派生 EE+TT+TF+TP+Tx+Tx+T/Fx+F/F x+P/Fx+x/Fx+x/F↑Px+x/P↑Px+x/y↑P x+x/y↑2 EE+TE+T/FE+T/F↑PE+T/F↑2E+T/P↑2 E+T/y↑2 E+F/y↑2 E+P/y↑2 E+x/y↑2  T+x/y↑2 F+x/y↑2 P+x/y↑2x+x/y↑2 EE+TT+TT+T/FF+T/FF+T/F↑P P+T/F↑Px+T/F↑Px+F/F↑Px+F/F↑2 x+F/P↑2x+P/P↑2x+P/y↑2x+x/y↑2 2018-3-12 6 6.1.1 上下文无关文法的派生树 文法Gexp1句子x+x/y↑2的结构。 2018-3-12 7 6.1.1 上下文无关文法的派生树 派生树(derivation tree) 一棵(有序)树(ordered tree) 树的每个顶点有一个标记X，且X∈V∪T∪{ε} 树根的标记为S； 如果非叶子顶点v标记为A，v的儿子从左到右依次为v1，v2，…，vn，并且它们分别标记为X1，X2，…，Xn，则AX1X2…Xn∈P； 如果X是一个非叶子顶点的标记，则X∈V； 如果顶点v标记为ε，则v是该树的叶子，并且v是其父顶点的惟一儿子。 2018-3-12 11 6.1.1 上下文无关文法的派生树 定理6-1 设CFG G=(V，T，P，S)，S*α的充分必要条件为G有一棵结果为α的派生树。 证明： 证一个更为一般的结论：对于任意A∈V，A*α的充分必要条件为G有一棵结果为α的A-子树。 充分性：设G有一棵结果为α的A-子树，非叶子顶点的个数n施归纳，证明A*α成立。 2018-3-12 12 6.1.1 上下文无关文法的派生树 设A-子树有k+1个非叶子顶点，根顶点A的儿子从左到右依次为v1，v2，…，vm，并且它们分别标记为X1，X2，…，Xm 。 AX1X2…Xm∈P 。 以X1，X2，…，Xm为根的子树的结果依次为α1，α2，…，αm 。 X1，X2，…，Xm为根的子树的非叶子顶点的个数均不大于k。 2018-3-12 13 6.1.1 上下文无关文法的派生树 X1*α1 X2*α2 … Xm*αm 而且 α=α1α2…αm 2018-3-12 14 6.1.1 上下文无关文法的派生树 AX1X2…Xm *α1X2…Xm *α1α2…Xm … *α1α2…αm 2018-3-12 15 6.1.1 上下文无关文法的派生树 2018-3-12 16 6.1.1 上下文无关文法的派生树 必要性 设Anα，现施归纳于派生步数n，证明存在结果为α的A-子树。 设n≤k(k≥1)时结论成立，往证当n=k+1时结论也成立：令Ak+1α，则有： AX1X2…Xm *α1X2…Xm *α1α2…Xm … *α1α2…αm 2018-3-12 17 6.1.1 上下文无关文法的派生树 2018-3-12 18 6.1.1 上下文无关文法的派生树 例6-1设Gbra：SS(S)|ε，(()(()))和(S)((S))的派生树。 2018-3-12 19 6.1.1 上下文无关文法的派生树 关于标记ε的结点 2018-3-12 20 6.1.1 上下文无关文法的派生树 最左派生(leftmost derivation) α的派生过