形式语言与自动机上下文无关语言新.pptx

形式语言与自动机 Formal Languages and Automata Theory;第六章 上下文无关语言;文法的乔姆斯基体系：语言之间的包含关系;关于乔姆斯基;上下文无关文法的提出;上下文无关文法的提出（续）;上下文无关文法的提出（续）;例：回文不是正则语言; 0和1上的回文语言 Lpal 不是正则语言;上下文无关文法的提出（续）;上下文无关文法的提出（续）;上下文无关文法;第六章 上下文无关语言及其性质;上下文无关文法的派生;上下文无关文法的派生;上下文无关文法的派生;定义6-1：设有 CFG G = （ V, T, P, S ）??G 的派生树是满足如下条件的有序树： 1、树的每个节点都有一个标记 X，且 X ∈ V ∪ T ∪｛ε｝ 2、树的根节点标记为 S 3、如果 X 是一个非叶节点的标记，则有 X ∈ V 4、如果一个非叶节点 v 的标记为 A，v 的子节点从左到右依此为 v1, v2, …, vn, 并且，它们分别标记为 X1,X2, …, Xn，则有 A? X1, X2, …, Xn ∈ P 5、如果一个节点 v 标记为ε，则 v 是该树的叶节点，并且，v 是其父节点的唯一子节点 ;派生树;定义6-1：设有 CFG G = （ V, T, P, S ），G 的派生子树是满足如下条件的有序树： 1、树的每个节点都有一个标记 X，且 X ∈ V ∪ T ∪｛ε｝ 2、树的根节点标记为 S 3、如果 X 是一个非叶节点的标记，则有 X ∈ V 4、如果一个非叶节点 v 的标记为 A，v 的子节点从左到右依此为 v1, v2, …, vn, 并且，它们分别标记为 X1,X2, …, Xn，则有 A? X1, X2, …, Xn ∈ P 5、如果一个节点 v 标记为ε，则 v 是该树的叶节点，并且，v 是其父节点的唯一子节点 ;派生树;证明：证一个更为一般的结论：对于任意A∈V，A?α的充分必要条件为G有一棵结果为α的A-子树。 充分性：设G有一棵结果为α的A-子树，对非叶子顶点的个数n进行归纳，证明A?α成立。 n=0时，A-子树只有一个叶子节点，显然结论成立； n=1时，A-子树是一个二级子树（只有一个根节点，其他均为叶子节点） ；假设所有叶子节点为X1,…, Xm, 则由A-子树的定义知，必有 A? X1… Xm ∈P 又由于该 A-子树的结果为α，故X1… Xm = α，因此有A?α ;证明（续） 假设当n≤k（k ≥ 1）时，结论成立 ，下面证明当n=k+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。由归纳假设知 ;证明（续）：证一个更为一般的结论：对于任意A∈V，A?α的充分必要条件为G有一棵结果为α的A-子树。 ;证明（续） 设n≤ k(k≥1)时结论成立，往证当n=k+1时结论也成立。令A?k+1α，则有 A?X1X2…Xm ?α1X2…Xm ?α1α2…Xm … ?*α1α2…αm 其中，对于任意的i， 1≤i≤m, 有Xi ?αi 显然，所用步数≤ k，由归纳假设知道，存在以αi为结果的Xi子树。 又由于 A? X1X2…Xm ∈ P,从而可以得到A子树的上半部分，把所有的Xi-子树对应地接在Xi所标识的顶点上，从而得到A-子树。所以结论对n=k+1成立 。 ;定义 6 – 5：设 CFG G =（ V, T, P, S ）， ? 是 G 的一个句型。如果在 ? 的派生过程中， 每一步都是对当前句型的最左变量进行替换，则该派生为最左派生，每一步所得到的句型叫做左句型。 每一步都是对当前句型的最右变量进行替换，则该派生为最右派生，每一步所得到的句型叫做右句型。;例：文法： Gexpl: 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 句子：x+x/y ↑ 2;对任意的? ? ?∈P, 均有以下形式：| ? | ≥ | ? |， ? ?V, ? ? ( V?T )? 一次替