[論文レビュー] Dyck-based characterizations of Indexed Languages

Séverine Fratani, El Makki Voundy|arXiv (Cornell University)|Sep 22, 2014

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

ひとこと要約

この論文は、文脈自由言語の主要な特徴づけ—有理的トランスダクション、Chomsky-Schützenberger表現、論理的定義可能性—をインデックス言語へ一般化する。Nivatのトランスダクション枠組み、Chomsky-Schützenberger定理、およびLautemannらの論理的アプローチをインデックス言語へ拡張することで、Dyck語上のスタックオートマトンを用いたDyck語に基づく基盤を確立し、インデックス言語の構造を一貫して捉える。これにより、一様な代数的および論理的特徴づけが得られる。

ABSTRACT

Indexed languages are a generalization of context-free languages and form a proper subset of context-sensitive languages. We propose to generalize to indexed languages several well known characterizations of context-free languages: namely, the characterization by rational transductions defined by Nivat, the Chomsky-Schützenberger theorem, and the logical characterization proved by Lautemann et al.

研究の動機と目的

• 文脈自由言語のよく知られた特徴づけ—有理的トランスダクション、Chomsky-Schützenberger定理、論理的定義可能性—をインデックス言語へ拡張すること。
• Dyck言語を構造的基盤として用いる一貫した枠組みをインデックス言語に確立すること。
• Dyck語変換を介して、Nivatの有理的トランスダクション特徴づけをインデックス言語へ一般化すること。
• インデックス言語が有理的トランスダクションによるDyck言語の逆像として表現可能であることを示すこと。
• Lautemannらによる文脈自由言語の結果に類似する、インデックス言語の論理的特徴づけを提供すること。

提案手法

• Dyck語上のトランスダクションを定義することで、Nivatの有理的トランスダクション枠組みをインデックス言語に適応する。
• Dyck語上のスタックオートマトンを用いて、インデックス言語のDyckに基づく表現を構築する。
• Chomsky-Schützenberger定理を適用し、インデックス言語を有理的トランスダクションによるDyck言語の逆像として表現する。
• ネストされた構造を持つ語のモノディック第二階理論論理に基づく論理形式主義を導入し、インデックス言語を捉える。
• 有理的トランスダクションの代数的閉包性を用いて、変換下でのインデックス言語構造の保存を保証する。
• Dyckに基づく表現とインデックス言語の標準的生成的定義との間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 文脈自由言語に用いられる有理的トランスダクションを、インデックス言語の特徴づけに拡張できるか？
• RQ2 文脈自由言語のChomsky-Schützenberger定理に類似した、Dyckに基づくインデックス言語の代数的表現は存在するか？
• RQ3 ネストされた依存関係を持つ構造的語のモノディック第二階論理を用いて、インデックス言語を論理的に定義可能か？
• RQ4 Dyck言語の構造的性質は、文脈自由言語の特徴づけをインデックス言語へ一般化するためにどのように寄与するか？
• RQ5 有理的トランスダクション、Dyck言語、およびインデックス文法の生成的パワーの間にはどのような関係があるか？

主な発見

• インデックス言語は、有理的トランスダクションによるDyck言語の逆像として特徴づけられ、文脈自由言語に対するNivatの結果を一般化する。
• インデックス言語に対してDyckに基づくChomsky-Schützenberger表現が確立され、有理的トランスダクションによるDyck言語の同型前像としてインデックス言語が生じることを示した。
• ネストされた括弧構造を持つ語のモノディック第二階論理を用いた論理的特徴づけが、Lautemannらによる文脈自由言語の結果に類似してインデックス言語へ拡張された。
• Dyck語の意味論を基盤として、代数的、自動機的、論理的特徴づけが統合された枠組みが構築された。
• Dyck言語の構造的性質が、文脈自由言語理論をインデックス言語へ一般化する自然な基盤を提供することが示された。
• 提案された特徴づけが有理的トランスダクションに関して閉じており、インデックス言語の代数的構造が保存されることを示した。