上下文无关语言性质.pptVIP

* 形式语言与自动机 * 主要内容 CFL 的泵引理及其应用 CFL 的封闭性 封闭运算：并、乘、闭包 不封闭运算：交、补 CFL 的判定算法。 判定 CFG 产生的语言是否为空、有穷、无穷。 一个给定的符号串是否为该文法产生的语言的一个句子等问题。 * 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 也有类似性质？ * 上下文无关语言的泵引理 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