[论文解读] 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

一句话总结

本文将树 adjoining 语言（TAG）重新定义为语言学层级中的第三级，提出附加（adjunction）并非一阶替换，而是一种二阶操作——即替换整个操作而非符号。通过将替换提升至代数载体上的函数层面，该研究为正则语言、上下文无关语言和树 adjoining 语言提供了统一的代数框架。

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.

研究动机与目标

• 建立形式语言的连贯代数层级，将正则语言、上下文无关语言和树 adjoining 语言置于统一基础之上。
• 弥合传统形式语言理论中的概念鸿沟，即尽管附加具有结构复杂性，却仍被视作一阶操作。
• 将附加机制重新表述为高阶替换过程，将关注点从符号替换转向操作替换。
• 提供一种更自然且数学上一致的解释，说明树 adjoining 语言如何通过结构操作扩展上下文无关语言。

提出的方法

• 引入高阶替换机制，其中作用于代数载体的操作取代一阶符号替换。
• 使用代数结构建模语言家族，其中载体由句法元素（终结符和辅助类别）构成。
• 将附加表示为对操作的替换而非对项的替换，将句法规则视为作用于其他函数的函数。
• 将此框架应用于正则语言（一阶替换）、上下文无关语言（嵌套的一阶替换）和 TAG（二阶替换）。
• 使用代数运算形式化语言家族在附加下的封闭性质。
• 证明从上下文无关语言到 TAG 的转变，对应于代数系统中从一阶到二阶替换的跃迁。

实验结果

研究问题

• RQ1 如何在代数框架内正式捕捉树 adjoining 语言中附加作为替换过程的机制？
• RQ2 何种结构差异可证明将附加视为二阶而非一阶替换是合理的？
• RQ3 能否构建一个统一的代数层级，通过逐步提升替换阶次，涵盖正则语言、上下文无关语言和树 adjoining 语言？
• RQ4 当替换从项提升至代数载体上操作时，会涌现出何种代数性质？

主要发现

• 树 adjoining 语言中的附加本质上是二阶替换操作，而非传统所假设的一阶操作。
• 代数表述揭示了 TAG 自然地构成以替换阶次递增为特征的语言家族层级中的第三级。
• 从一阶到二阶替换的转变，为 TAG 在生成能力上超越上下文无关语言提供了数学上一致的解释。
• 该框架通过基于替换阶次的单一代数原理，统一了对正则语言、上下文无关语言和树 adjoining 语言的处理。
• 该方法通过将辅助树及其插入重新解释为作用于其他操作的函数，阐明了其作用。
• 该方法为理解适度上下文有关语言的生成机制提供了更自然且概念统一的基础。