介紹抽象語法樹

Author: MROS

book/image/變數宣告式具體語法樹.png

@@ -216,3 +216,48 @@
 ```
 
 算式被改寫了真多次，由此可見寫出易於剖析的語法不是一件易事。所幸，這是零・一版最後一次重寫語法了。
+
+零・一版語法規則整理如下：
+```
+音界咒檔 = 音界咒・檔案結尾
+
+音界咒     = 句
+          | 句・音界咒
+
+句        = 變數宣告式
+          | 算式
+
+變數宣告式 = "元"・"・"・變數・"＝"・算式
+
+算式      = 乘除式・重複乘除式
+
+重複乘除式 = ＋・重複乘除式
+         | −・重複乘除式
+         | e
+
+乘除式    = 原子式・重複原子式
+
+重複原子式 = ＊・重複乘除式
+         | ／・重複乘除式
+         | e
+
+原子式    = 數字
+         | 變數
+         | "（"・算式・"）"
+```
+
+## 抽象語法樹
+
+依照回溯剖析算法（或是其他剖析算法），吾人能得到一棵紀錄了所有生成符展開點的語法樹。然而，語法樹中的許多細節並無實際意義。
+
+以`變數宣告式`為例，`元・甲＝（１）`，若嚴格按照展開規則，會得到如下繁複的語法樹：
+
+![變數宣告式具體語法樹](../image/變數宣告式具體語法樹.png)
+
+這種嚴格按照語法規則展開的語法樹，吾人稱其為「具體語法樹」，然而，具體語法樹中，某些節點含有的資訊對接下來的編譯器後端毫無用處，例如`元`、`・`、`＝`這些協助詞法分隔的符號，在任何`變數宣告式`裡都有，所以沒有紀錄的意義。另外，以如此深的樹來紀錄`（１）`這個`算式`也是極度冗餘的。
+
+真正有意義的內容只有：
+
+![變數宣告式抽象語法樹](../image/變數宣告式抽象語法樹.png)
+
+這種精簡後，但在語義上沒有損失的語法樹，又被稱為抽象語法樹。在明確的語境中，也可能直接叫語法樹。