上下文无关语言的性质.pptVIP

* 形式语言与自动机 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 主要内容 CFL 的泵引理及其应用 CFL 的封闭性 封闭运算：并、乘、闭包 不封闭运算：交、补 CFL 的判定算法。 判定 CFG 产生的语言是否为空、有穷、无穷。 一个给定的符号串是否为该文法产生的语言的一个句子等问题。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 8.1 上下文无关语言的泵引理 回顾 RG G=( V, T, P, S )，使得 L(G)=L，当 x 足够长时，如|x|≥|V|+1 时，存在 u, v, w∈T *，|v|≥1，使得 x=uvw，当 G 为右线性文法时，必定存在语法变量 A，使得如下派生成立： S ?* uA?* uvA ?* … ?* uviA?* uviw v 是可以被重复任意多次的字串！ CFL 也有类似性质？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 上下文无关语言的泵引理 CFL 的自嵌套特性 如果 L 是一个 CFL，CFG G=( V, T, P, S )是产生 L 的文法。当L一个无穷语言时，必存在z∈L，A∈V，α,β∈(V∪T)*，且α 和 β 中至少有一个不为 ε，使得如下派生成立 S?* γAδ?+γαAβδ?+ z 即在文法 G 中，存在有如下形式的派生 A ?+αAβ 设α?* v ，β?* x ，γ?* u ，A?* w ，δ?* y 可以得到如下派生 S ?* γAδ?* uαAβδ?* uαAβy… ?* uαn Aβn y ?* uvnAxny ?* uvnwxny Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 上下文无关语言的泵引理 引理 8-1 （CFL的泵引理）对于任意的 CFL L，存在仅仅依赖于 L 的正整数 N，对于任意的 z∈L，当 | z |≥N时，存在 u, v, w, x, y，使得 z = uvwxy，同时满足： (1) | vwx |≤N； (2) | vx |≥1； (3) 对于任意的非负整数 i ，uviwxiy∈L。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 上下文无关语言的泵引理 用 CNF 作为 CFL 的描述工具。 对于任意的 z∈L，当 k 是 z 的语法树的最大路长时，必有|z|≤2k-1 成立。 仅当 z 的语法树呈上图所示的满二元树时，才有|z|=2k-1，其他时候均有|z|2k-1。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 上下文无关语言的泵引理 取 N=2|V|=2|V|+1-1，z∈L，|z|≥N。 取 z 的语法树中的最长的一条路 p，p 中的非叶子结点中必定有不同的结点标有相同的语法变量。 p 中最接近叶子且都标有相同的语法变量 A 的两个结点为v1,v2。 u v w x y Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 上下文无关语言的泵引理 z = uvwxy 注意到 v1-子树的最大路长小于等于 |V|+1， 所以，v1 的结果 vwx 满足：| vwx |≤2 (|V|+1)-1 = 2|V| = N