人工语言/高级/语法/自然
本节讨论了用于研究自然语言的各种高级（好吧，中等高级）理论框架。
在本书中，我们尽量不拘泥于特定的理论，并且我们在《中级》和《高级》的开头都提醒过——不要过度依赖特定的理论框架。然而，在讨论语言时，必须谨慎地依赖一些理论思想。语素是一种理论，它有时比其他时候更有用（正如我们在《中级语法》中提到的那样）。甚至单词、音节和音素也是分析语言的特定方式，偶尔人们可能希望跳出这些思考方式。不过，这些都是相对简单的理论思想。还有更复杂的理论框架，了解它们是有用的——因为它们可以有时用于人工语言设计，这样你遇到对它们的引用时就不会完全不知所措。这就是本书这一部分的目的。
语言理论可以过度约束或不足约束。或者两者兼而有之；并且至少有三个不同的兴趣范围：自然语言中已知发生的事情的范围，人类自然语言中可能发生的事情的范围（无论我们是否知道例子），以及最广泛的，人工语言设计者可能想要探索的范围。因此，过度约束可以阻止已知发生的事情、我们不知道的事情以及我们想要想象的事情；而不足约束则可以允许一些事情，这些事情不仅没有观察到自然发生，而且在自然界中也不可能发生，在美学或逻辑上可能真的行不通。
一些理论框架主要是分析性的，描述如何将现有的语言分解成部分；正如我们前面提到的，这对于人工语言设计来说尤其成问题，因为它们特别容易导致不足约束，无法为构建语言提供指导，而不是将语言拆分。然而，本节中描述的更高级的框架通常在某种程度上是生成性的，旨在描述语言是如何组合在一起的；这当然使它们容易产生过度约束——或错误约束。
从积极方面来说，在人工语言中使用某些理论语言框架的选择可以为人们原本需要手工做出的决策提供指导，并希望产生一种具有合理连贯性的感觉。
本节内容包括：
- 成分语法：围绕短语结构组织的语法，即单词的层次分组。
- 依存语法：围绕单词之间的依存关系而非短语结构组织的语法。
- 结构语法：围绕形式和功能配对组织的语法。
- 最优性理论：从解决冲突约束的最优解中推导出语言特征。
- 对比层次：从语音特征的层次结构中推导出音系学。