[論文レビュー] Adjunction As Substitution: An Algebraic Formulation of Regular, Context-Free and Tree Adjoining Languages

Uwe Mönnich|arXiv (Cornell University)|Jul 22, 1997

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

ひとこと要約

この論文は、木接続言語（TAG）を言語的階層の第3階層として再定義し、接続（adjunction）が1階の置換ではなく2階の操作である、すなわち置換の対象が記号ではなく操作自体であると提唱する。代数的台（carrier）上の関数としての置換を高階化することで、正則言語、文脈自由言語、および木接続言語を統一的な代数的枠組みで扱えるようにする。

ABSTRACT

This note presents a method of interpreting the tree adjoining languages as the natural third step in a hierarchy that starts with the regular and the context-free languages. The central notion in this account is that of a higher-order substitution. Whereas in traditional presentations of rule systems for abstract language families the emphasis has been on a first-order substitution process in which auxiliary variables are replaced by elements of the carrier of the proper algebra - concatenations of terminal and auxiliary category symbols in the string case - we lift this process to the level of operations defined on the elements of the carrier of the algebra. Our own view is that this change of emphasis provides the adequate platform for a better understanding of the operation of adjunction. To put it in a nutshell: Adjoining is not a first-order, but a second-order substitution operation.

研究の動機と目的

• 形式的言語の整合的な代数的階層を確立し、正則言語、文脈自由言語、および木接続言語を統一的な基盤の上に位置づける。
• 従来の形式的言語理論における概念的ギャップに応えること、すなわち、構造的複雑さにもかかわらず接続が1階の操作として扱われるという点である。
• 接続のメカニズムを高階の置換プロセスとして再定式化し、記号の置換から操作の置換へと視点を移す。
• 木接続言語が文脈自由言語をどのように構造的演算を通じて拡張するかを、より自然で数学的に整合性のある説明を提供する。

提案手法

• 代数的台における操作が1階の記号置換に代わって機能する高階の置換メカニズムを導入する。
• 言語族を代数的構造としてモデル化し、台が句読点と補助的カテゴリからなる構文的要素から成る。
• 接続を項の置換ではなく操作の置換として表現し、構文規則を他の関数に作用する関数として扱う。
• この枠組みを正則言語（1階の置換）、文脈自由言語（ネストされた1階の置換）、およびTAG（2階の置換）に適用する。
• 代数的演算を用いて言語族の接続に関する閉包性を形式化する。
• 文脈自由言語からTAGへの移行が、代数的システムにおける1階から2階の置換へのシフトに対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 木接続言語における接続を、代数的枠組み内での置換プロセスとして形式的に捉えるにはどうすればよいか？
• RQ2 なぜ接続を1階の置換ではなく2階の置換として扱うべきなのか、その構造的根拠は何か？
• RQ3 置換の順序を段階的に高めるプロセスを通じて、正則言語、文脈自由言語、および木接続言語を含む統一的な代数的階層を構築できるか？
• RQ4 代数の台上で項から操作への置換が高階化された際に、どのような代数的性質が生じるか？

主な発見

• 木接続言語における接続は、従来の仮定とは異なり、本質的に1階の置換ではなく2階の置換操作である。
• 代数的表現により、TAGが置換の順序が高まるにつれて定義される言語族の階層の第3レベルとして自然に生じることが明らかになった。
• 1階から2階の置換への移行は、文脈自由言語を超えるTAGの生成的パワーを数学的に整合性のある形で説明する。
• この枠組みにより、正則言語、文脈自由言語、および木接続言語の取り扱いが、置換のレベルに基づく単一の代数的原理によって統一された。
• 補助木の役割とその挿入の仕組みが、それらを他の操作に作用する操作として再解釈することにより明確化された。
• このアプローチにより、ややこしい文脈に依存しない言語の生成メカニズムをより自然で概念的に統一された基盤で理解できるようになった。