以 while 剖析重複規則

Author: MROS

book/零．一版/剖析（語法分析）.md

@@ -363,7 +363,7 @@ fn 剖析變數宣告(&self, 游標: usize) -> Option<(Ｏ變數宣告, usize)>
 
 語法展開也不外乎這兩個結構，一個在語法規則裡用 `|` 來表示「或」，用 `・` 來表示「且」。
 
-最後來看個「或」、「且」結構都用上的語法規則`原子式`，其實作不外乎這兩種結構的組合。
+來看個「或」、「且」結構都用上的語法規則`原子式`，其實作不外乎這兩種結構的組合。
 
 ```rust
 // 原子式    = 數字
@@ -393,7 +393,40 @@ fn 剖析原子式(&self, 游標: usize) -> Option<(Ｏ算式, usize)> {
 }
 ```
 
-其他規則基本按照這兩結構依樣畫葫蘆就行，但`重複原子式`、`重複乘除式`要處理一下左結合的問題。
+其他規則基本按照這兩結構依樣畫葫蘆就行，但`重複原子式`、`重複乘除式`需要額外處理左結合的問題，用遞迴來寫比較冗長麻煩（尤其 Rust 還要處理所有權），但其實形如：
+
+```
+算式      = 乘除式・重複乘除式
+
+重複乘除式 = ＋・重複乘除式
+         | −・重複乘除式
+         | e
+```
+用如下形式表示更加簡單，期中的 (x)* 表示 x 可重複零或多次：
+```
+算式      = 乘除式・(＋・重複乘除式)*
+         | 乘除式・(−・重複乘除式)*
+
+```
+
+在實作中用一個 `while` 迴圈就能輕鬆實作：
+
+```rust
+fn 剖析算式(&self, 游標: usize) -> Option<(Ｏ算式, usize)> {
+    let (mut 算式, mut 游標) = self.剖析乘除式(游標)?;
+    while let Some((運算子, 新游標)) = self.消耗加減(游標) {
+        let (右算元, 新游標) = self.剖析乘除式(新游標)?;
+
+        算式 = Ｏ算式::二元運算(Ｏ二元運算 {
+            左: Box::new(算式),
+            右: Box::new(右算元),
+            運算子,
+        });
+        游標 = 新游標
+    }
+    Some((算式, 游標))
+}
+```
 
 音界咒的 9 條語法展開規則都寫成函式後，就可以調用
 ```