人工語言/高階/語法/自然
本節討論了用於研究自然語言的各種高階（好吧，中等高階）理論框架。
在本書中，我們儘量不拘泥於特定的理論，並且我們在《中級》和《高階》的開頭都提醒過——不要過度依賴特定的理論框架。然而，在討論語言時，必須謹慎地依賴一些理論思想。語素是一種理論，它有時比其他時候更有用（正如我們在《中級語法》中提到的那樣）。甚至單詞、音節和音素也是分析語言的特定方式，偶爾人們可能希望跳出這些思考方式。不過，這些都是相對簡單的理論思想。還有更復雜的理論框架，瞭解它們是有用的——因為它們可以有時用於人工語言設計，這樣你遇到對它們的引用時就不會完全不知所措。這就是本書這一部分的目的。
語言理論可以過度約束或不足約束。或者兩者兼而有之；並且至少有三個不同的興趣範圍：自然語言中已知發生的事情的範圍，人類自然語言中可能發生的事情的範圍（無論我們是否知道例子），以及最廣泛的，人工語言設計者可能想要探索的範圍。因此，過度約束可以阻止已知發生的事情、我們不知道的事情以及我們想要想象的事情；而不足約束則可以允許一些事情，這些事情不僅沒有觀察到自然發生，而且在自然界中也不可能發生，在美學或邏輯上可能真的行不通。
一些理論框架主要是分析性的，描述如何將現有的語言分解成部分；正如我們前面提到的，這對於人工語言設計來說尤其成問題，因為它們特別容易導致不足約束，無法為構建語言提供指導，而不是將語言拆分。然而，本節中描述的更高階的框架通常在某種程度上是生成性的，旨在描述語言是如何組合在一起的；這當然使它們容易產生過度約束——或錯誤約束。
從積極方面來說，在人工語言中使用某些理論語言框架的選擇可以為人們原本需要手工做出的決策提供指導，並希望產生一種具有合理連貫性的感覺。
本節內容包括：
- 成分語法：圍繞短語結構組織的語法，即單詞的層次分組。
- 依存語法：圍繞單詞之間的依存關係而非短語結構組織的語法。
- 結構語法：圍繞形式和功能配對組織的語法。
- 最優性理論：從解決衝突約束的最優解中推匯出語言特徵。
- 對比層次：從語音特徵的層次結構中推匯出音系學。