4 小结

• 上下文无关语法的传统分类是原子符号。特征结构的一个重要的作用是捕捉精细的区分，否则将需要数量翻倍的原子类别。
• 通过使用特征值上的变量，我们可以表达语法产生式中的限制，允许不同的特征规格的实现可以相互依赖。
• 通常情况下，我们在词汇层面指定固定的特征值，限制短语中的特征值与它们的孩子中的对应值统一。
• 特征值可以是原子的或复杂的。原子值的一个特定类别是布尔值，按照惯例用[+/- f]表示。
• 两个特征可以共享一个值（原子的或复杂的）。具有共享值的结构被称为重入。共享的值被表示为 AVM 中的数字索引（或标记）。
• 一个特征结构中的路径是一个特征的元组，对应从图的根开始的弧的序列上的标签。
• 两条路径是等价的，如果它们共享一个值。
• 包含的特征结构是偏序的。FS₀包含 FS₁，当包含在 FS₀中的所有信息也出现在 FS₁中。
• 两种结构 FS₀和 FS₁的统一，如果成功，就是包含 FS₀和 FS₁的合并信息的特征结构 FS₂。
• 如果统一在 FS 中指定一条路径π，那么它也指定等效与π的每个路径π’。
• 我们可以使用特征结构建立对大量广泛语言学现象的简洁的分析，包括动词子类别，倒装结构，无限制依赖结构和格支配。