[論文レビュー] Guided Grammar Convergence. Full Case Study Report. Generated by converge::Guided

Vadim Zaytsev|arXiv (Cornell University)|Jul 27, 2012

Natural Language Processing Techniques参考文献 10被引用数 5

ひとこと要約

本論文では、双方向変換言語を用いて、多様な文法表現を一貫性のある正規化形式に自動的に整列・変換するガイド付き文法収束手法を提示する。変異適用、抽象正規形（ANF）への正規化、名前的および構造的差異の解消を通じて、サーヴァント文法からマスターテキストへの正確な変換スクリプトを生成する。本手法は、ANTLR、SDF、XMLスキーマを含む11種類の多様な言語表現において実証された。

ABSTRACT

This report is meant to be used as auxiliary material for the guided grammar convergence technique proposed earlier as problem-specific improvement in the topic of convergence of grammars. It contains a narrated MegaL megamodel, as well as full results of the guided grammar convergence experiment on the Factorial Language, with details about each grammar source packaged in a readable form. All formulae used within this document, are generated automatically by the convergence infrastructure in order to avoid any mistakes. The generator source code and the source of the introduction text can be found publicly available in the Software Language Processing Suite repository.

研究の動機と目的

• 異なる形式論法から得られる多様な文法表現を、共通の正規化形式に整列・変換する課題に対処すること。
• サーヴァント文法からマスターテキストへの変換スクリプトを自動で導出すること。
• 形式的正規化と同等性チェックを用いて、文法間の名前的および構造的差異を体系的に解消すること。
• 多様な言語記述形式に適用可能な再利用可能で拡張可能な文法収束フレームワークを提供すること。
• 因子言語（Factorial Language）を対象とした実世界の事例を通じて、ガイド付き文法収束の実現可能性と正確性を示すこと。

提案手法

• 本手法は、ソース文法を一様処理可能にするために、BGF（BNFに類似した文法形式）にパースするガイド付き文法収束プロセスを採用する。
• サーヴァント文法とマスターテキストの間の構文的および意味的差異を解消するために、文法設計の変異を適用する。
• 抽象正規形（ANF）への正規化により、構文的ノイズの除去と構造の標準化を通じて同等性を保証する。
• 弱プロダクションシグネチャ同等性（$\Bumpeq$）クラスを構築し、文法間で同等の生成規則を同定する。
• 名前的解消では、形式化されたマッピング関数を用いて同等の非終端記号をマッピングし、名前の違いを解消する。
• 構造的解消では、ルートの再設定、順序の入れ替え、ルールの導入／削除などの操作を実行し、文法構造を整える。

実験結果

リサーチクエスチョン

• RQ1 多様な形式論法に跨る文法間で、サーヴァント文法をマスターテキストに変換するための文法収束を体系的かつガイド付きで行う方法は何か？
• RQ2 文法表現間の名前的および構造的差異を解消するための有効な技法は何か？
• RQ3 抽象正規形（ANF）への正規化は、異種の文法間で信頼性のある同等性チェックを可能にするか？
• RQ4 意味的同等性を保持するように、自動生成された変換スクリプトはどのように生成できるか？
• RQ5 ガイド付き文法収束手法は、11種類の異なる文法ソースに対してスケーラビリティと表現力の両面でどの程度有効か？

主な発見

• ガイド付き文法収束プロセスは、ANTLR文法からマスターテキストへの変換スクリプトを正常に生成し、全7つの非終端記号の再書き換えが正しく解決された。
• 名前的解消フェーズでは、`Expr_1` から `binary`、`Function` から `function` といった重要な構造を含む9組の非終端記号ペアの正確なマッピングが得られた。
• 構造的解消により、文法構造が正常に再編集され、`[program, Fragment]` から `[program]` へのルートの再設定や、`binary`生成規則内の要素順序の入れ替えが成功した。
• 本手法は、抽象正規形への完全な正規化を達成し、すべての11種類の文法ソースで一貫した同等性チェックが可能になった。
• 変換スクリプトは自動生成され、意味的同等性が保持されていることが検証された。初期設定後は手動介入が一切不要であった。
• SDF、TXL、XMLスキーマ、Rascalを含む多様な形式論法において、エンドツーエンドの正しさが確認され、本手法の広範な適用可能性が裏付けられた。