[論文レビュー] 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）を用いた文脈自由言語のポンプ補題の直接的証明を提示する。著者らは、配置と完全状態の反復に基づく鳩の巣原理を用いて、分解可能な文字列を保証するポンプ長を確立し、従来の文法ベースの証明とは対照的に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ベースの文脈自由言語のポンプ補題の証明を提供すること。
• 正規言語のポンプ補題とは対照的に、文脈自由言語のポンプ補題が従来文法的形式主義に依存するという証明技法の非対称性を是正すること。
• ポンプ補題がPDAの構造とスタックのダイナミクスから導出可能であることを示し、正規言語のポンプ補題と同等の証明スタイルを実現すること。
• 状態とスタックアラベットのサイズに基づいて形式化されたポンプ長を定義し、文脈自由言語における長い文字列の分解可能性を保証すること。

提案手法

• 各遷移がスタックのトップシンボルをポップし、何もプッシュしないか、または直前のトップに1つのシンボルを追加してプッシュするという正規化されたPDAモデルを定義する。
• PDAのパスにおけるN段階の概念を導入し、これはNのスタック増加に続いて対称的な減少を表す。
• パスのレベルlを、N段階が存在する最大のNとして定義し、l < p′ か l ≥ p′ に基づいて解析を2つのケースに分割する。
• ケース1（低レベル）では、最初のp+1ステップにおける配置（状態、スタック上位lシンボル）に対して鳩の巣原理を適用し、繰り返しの配置を特定する。
• ケース2（高レベル）では、スタックサイズ全体にわたる完全状態（最後のプッシュ時の状態、トップシンボル、最初のポップ時の状態）に対して鳩の巣原理を適用し、繰り返しの完全状態を特定する。
• 繰り返しの完全状態に対応する区間を特定することで、w = uvxyz の分解を構築し、|vxy| ≤ p および vy ≠ ε を満たすようにし、PDAにおけるパス再構築によりポンピング不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 文脈自由言語のポンプ補題を、文脈自由文法やオーゲンの補題に言及せずに、プッシュダウンオートマトンから直接証明することは可能か？
• RQ2 プッシュダウンオートマトンのどのような構造的性質が、文脈自由言語における長い文字列のポンプ長と分解を導出できるか？
• RQ3 鳩の巣原理をPDAのスタック構成と完全状態にどのように適用し、ポンピングに必要な繰り返し行動を保証できるか？
• RQ4 正規言語のポンプ補題の直感的な証明スタイルを模倣するPDAネイティブな構成は存在するか？

主な発見

• 論文は、PDAの状態数とスタックアラベットサイズに依存するポンプ長 p = |A|(|Γ|+1)^{|A|²|Γ|} を確立した。
• 任意の文字列 w ∈ L について |w| > p であれば、|vxy| ≤ p、|vy| ≥ 1 かつ すべての n ≥ 0 に対して uvⁿxyⁿz ∈ L を満たす分解 w = uvxyz が存在する。
• 証明は2つのケースに分かれる：低スタックレベルに基づくケース（配置の反復）と高スタックレベルに基づくケース（完全状態の反復）、両者とも鳩の巣原理に依存する。
• ケース1では、最初のp+1ステップにおける繰り返しの配置により、レベルlを超えるスタック深さの変化なしにポンピングが可能である。
• ケース2では、スタックサイズ全体にわたる繰り返しの完全状態により、v と y のセグメントを繰り返すことで、スタック挙動を保持したままポンピングが可能である。
• vy ≠ ε であることは背理法により保証される：もしvとyが両方とも空であれば、最小性に反するより短い受理パスが存在することになる。