树-邻接文法
维基百科，自由的百科全书
树-邻接文法(TAG)是 Aravind Joshi 定义的文法形式化。树-邻接(adjoining)文法在某种意义上类似于上下文无关文法，但是基本的重写单位是树而不是符号。上下文无关文法有把符号重写为其他符号的规则，而树-毗连文法有把树的节点重写为其他树(参见树 (图论)和树 (数据结构))的规则。
TAG 中的规则是带有叫做“足节点”的特殊叶子的树，它们锚接(anchor)到一个字。在 TAG 中有两个种类的基本树: “初始”树(经常被表示为 'α') 和“辅助”树('β')。初始树表示基本的价(valency)关系，而辅助树允许递归。[1] 辅助树有标记(label)上同样符号的根(顶)节点和足节点。推导开始于初始树，通过要么“代换”要么“附加”来结合。代换把末梢节点替换为其顶节点有同样符号的另一个树。附加把一个辅助树插入到另一个树的中心。[2] 辅助树的根/足标记必须匹配它所邻接的节点的标记。
其他 TAG 的变体允许多种成分的树，带有多个足节点的树，和其他扩展。
树-邻接文法经常被描述为“适度上下文有关的”，这意味着它们有(在弱生成能力方面上)特定性质使其有比上下文无关文法更强力，但有比附标文法或上下文有关文法更弱的能力。适度上下文有关文法被推测为足够强力可以建模自然语言，而仍保持在一般情况下有效解析。[3]
由于它们的形式软弱，TAG 经常被用于计算语言学和自然语言处理。
TAG 起源于 Joshi 和他的学生对附加文法(AG)家族和 Zellig Harris 的“字符串文法”的研究 [4] 。AG 以自然和高效的方式处理语言的向心性质，但是没有对离心构造的好特征描述；重写文法或短语-结构文法(PSG)正好反过来。在 1969 年，Joshi 通过混合两种类型的规则介入了开拓出这种补足的文法家族。一些非常简单的重写规则足够生成附加规则的字符串的词汇表。这个家族不同于乔姆斯基层级，但是有所交叠。[5]
TAG 可以描述有平方的语言(在其中某个任意字符串被重复)，和语言 
。
有立方的语言(就是三倍的字符串)或有相等长度的多于四个不同字符的字符串的语言不可以被树-邻接文法所生成。
为此，树-毗连文法生成的语言被称为“适度上下文有关语言”。
[编辑] 引用
- ^ Jurafsky, Daniel，James H. Martin（2000）．Speech and Language Processing．Upper Saddle River, NJ：Prentice Hall，354．
- ^ Joshi, Aravind; Owen Rambow (2003). "A Formalism for Dependency Grammar Based on Tree Adjoining Grammar". Proceedings of the Conference on Meaning-Text Theory.
- ^ Joshi, Aravind（1985）．“How much context-sensitivity is necessary for characterizing structural descriptions”，D. Dowty, L. Karttunen, and A. Zwicky, (eds.) 编：Natural Language Processing: Theoretical, Computational, and Psychological Perspectives．New York, NY：Cambridge University Press，206–250．
- ^ . "String Adjunct Grammars". Proceedings Tenth Annual Symposium on Automata Theory, Waterloo, Canada.
- ^ . "Properties of Formal Grammars with Mixed Types of Rules and Their Linguistic Relevance". Proceedings Third International Symposium on Computational Linguistics, Stockholm, Sweden.
[编辑] 外部链接
- The XTAG project, which uses a TAG for natural language processing.
- A tutorial on TAG
- SemConst Documentation A quick survey on Syntax and Semantic Interface problematic within the TAG framework.
| 自动机理论: 形式语言和形式文法 | |||
|---|---|---|---|
| 乔姆斯基层级 | 文法 | 语言 | 极小自动机 |
| 类型 0 | 无限制 | 递归可枚举 | 图灵机 |
| n/a | (无公用名) | 递归 | 判定器 |
| 类型 1 | 上下文有关 | 上下文有关 | 线性有界 |
| n/a | 附标 | 附标 | 嵌套堆栈 |
| n/a | 树-邻接 | 适度上下文有关 | 嵌入下推 |
| 类型 2 | 上下文无关 | 上下文无关 | 非确定下推 |
| n/a | 确定上下文无关 | 确定上下文无关 | 确定下推 |
| 类型 3 | 正则 | 正则 | 有限 |
| 每个语言或文法范畴都是其直接上面的范畴的真子集。 | |||
