形式语言学_Ch8_上下文无关语言的性质.pdfVIP

形式语言学 Introduction to Formal Languages 第8章上下文无关语言的性质 本章讨论CFL的性质 主要内容 CFL的泵引理及其应用、Ogden引理。 CFL的封闭性 • 封闭运算：并、乘、闭包、代换、同态映射、逆 同态映射 • 不封闭运算：交、补 第8章上下文无关语言的性质 CFL的判定算法。 判定CFG产生的语言是否为空、有穷、无穷。 一个给定的符号串是否为该文法产生的语言的一个句 子等问题。 重点 CFL的封闭性、CFL的泵引理。 难点 CFL的泵引理的应用、CFL的同态原象是CFL。 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，使得如下派生 成立： * * * * i * i S uA uvA …… uv A uv w V是可以被重复任意多次的字串！ CFL也有类似性质？ 8.1 上下文无关语言的泵引理 CFL的自嵌套特性：如果L是一个CFL，CFG G=(V，T， P ，S)是产生L 的文法。当L是一个无穷语言时，必存在 * w ∈L，A ∈V ，α，β ∈(V ∪T) ，且α和β 中至少有一个不 为ε，使得如下派生成立 * + + S γAδγαAβδ z 文法G 中存在有如下形式的派生 + A αAβ 8.1 上下文无关语言的泵引理 这种类型的派生预示着 * + + S γAδγαAβδ z 并且 * + n n + S γAδγα Aβ δ z′ * * * * S γAδ 设α v ，β x ，γ u ， *  uαAβδ * * A w ，δ y *  uαAβy 可以得到如下派生 … * n n  uα Aβ y * n n  uv Ax y