计算机数学基础第六章.pptVIP

第六章 上下文无关语言的性质 CFL的泵作用引理 CFL有与正规集类似的泵作用引理。 引理6.1：设L为任何CFL，则存在一个只依赖于L的常数n，使得若z?L，且|z| ≥ n，则可以把z写成z = uvwxy，使得 (1) |vx| ? 1， (2) |vwx| ? n (3) 对任何 i ? 0，uviwxiy在L中。 CFL的泵作用引理 证明：设G为产生L-{ε}的Chomsky范式的文法。 {ai bj ci dj | i, j ?1}?CFL 例6.2：设L2 = {ai bj ci dj | i, j ?1}。 假设L2?CFL，令n为引理中常数。取z = anbncndn。设z = uvwxy满足泵作用引理条件。 由于|vwx|≤n，vx最多含有两种不同的符号。 若vx?a+，则uwy含的a少于c， uwy ?L2，矛盾。 若vx?b+， vx?c+ 或vx?d+，我们作类似的处理。 若vx含有a和b，则uwy显然含有少于c的a。如果vx含有b和c或c和d，也会发生同样的矛盾。 无论如何都与引理矛盾，故L2?CFL。 CFL不含交叉结构 从这个例子中我们可以看到CFL不含交叉结构的。CFG可以描述并列结构和嵌套结构，但是不能描述交叉结构。 Ogden引理 引理6.2：设L为CFL，则存在一个常数n（事实上它可以和泵作用引理中一样），使得如果z是L中的任意一个字，