[论文解读] A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata

Antoine Amarilli, Marc Jeanmougin|arXiv (Cornell University)|Jul 12, 2012

semigroups and automata theory参考文献 3被引用 9

一句话总结

本文提出了一种基于下推自动机（PDA）而非上下文无关文法或Ogden引理的上下文无关语言泵引理的直接证明。通过分析栈行为，并将鸽巢原理应用于配置和完整状态，作者建立了一个保证可分解字符串的泵长度，提供了一种原生基于PDA的替代传统基于文法的证明方法。

ABSTRACT

The pumping lemma for context-free languages is a result about pushdown automata which is strikingly similar to the well-known pumping lemma for regular languages. However, though the lemma for regular languages is simply proved by using the pigeonhole principle on deterministic automata, the lemma for pushdown automata is proven through an equivalence with context-free languages and through the more powerful Ogden's lemma. We present here a proof of the pumping lemma for context-free languages which relies on pushdown automata instead of context-free grammars.

研究动机与目标

• 提供一种直接的、基于PDA的上下文无关语言泵引理的证明，独立于上下文无关文法或Ogden引理。
• 解决正则语言与上下文无关语言泵引理证明技术之间的不对称性，后者传统上依赖于语法形式化。
• 证明泵引理可从PDA结构与栈动态中推导，使其证明风格与正则语言泵引理的证明风格保持一致。
• 基于状态与栈字母表大小的形式化一个泵长度，确保上下文无关语言中长字符串的可分解性。

提出的方法

• 定义一种归一化的PDA模型，其中每个转移操作弹出栈顶符号，并且要么不推送任何内容，要么推送前一个栈顶符号加一个符号。
• 引入PDA路径中N级的概念，表示栈增长N个单位后对称减少。
• 将路径的层级l定义为存在N级的最大N值，并据此将分析分为两种情况：l < p′ 或 l ≥ p′。
• 在情况1（低层级）中，对前p+1步内的配置（状态，栈顶l个符号）应用鸽巢原理，以找到重复的配置。
• 在情况2（高层级）中，对栈大小范围内完整状态（最后一次推送时的状态、栈顶符号、第一次弹出时的状态）应用鸽巢原理，以找到重复的完整状态。
• 通过识别对应于重复完整状态的区间，构建分解w = uvxyz，确保|vxy| ≤ p且vy ≠ ε，并通过PDA中的路径重构证明泵的不变性。

实验结果

研究问题

• RQ1 能否在不引用上下文无关文法或Ogden引理的前提下，直接从下推自动机推导出上下文无关语言的泵引理？
• RQ2 下推自动机的哪些结构性质可用于推导出长字符串在上下文无关语言中的泵长度与分解？
• RQ3 如何在PDA中对栈配置和完整状态应用鸽巢原理，以确保泵引理所需的重复行为？
• RQ4 是否存在一种原生基于PDA的构造，其直观证明风格与正则语言泵引理的证明风格相匹配？

主要发现

• 本文建立了泵长度p = |A|(|Γ|+1)^{|A|²|Γ|}，其依赖于PDA的状态数与栈字母表大小。
• 对于任意属于L的字符串w ∈ L，若|w| > p，则存在分解w = uvxyz，使得|vxy| ≤ p，|vy| ≥ 1，且对所有n ≥ 0，有uvⁿxyⁿz ∈ L。
• 该证明分为两种情况：一种基于低栈层级（利用配置重复），另一种基于高栈层级（利用完整状态重复），两者均依赖于鸽巢原理。
• 在情况1中，前p+1步内重复的配置允许泵操作，而不会使栈深度超过层级l。
• 在情况2中，跨栈大小重复的完整状态使得通过重复v和y段实现泵操作成为可能，同时保持栈行为不变。
• 通过反证法确保vy ≠ ε：若v和y均为零，则存在一条更短的接受路径，与最小性矛盾。