最右推導

"最右推導"（Rightmost derivation）是形式語言理論中的一個概念，用於描述如何通過應用文法規則從文法的起始符號生成一個句子。在這種推導中，每一個應用文法規則的步驟都選擇最右邊的非終端符號來替換。

例如，考慮一個簡單的文法，其起始符號是S，有以下規則：

S -> Aa A -> bS | b

從起始符號S開始，我們可以有以下的最右推導來生成句子"ab"：

1. S -> Aa
2. A -> bS (這裡選擇最右邊的非終端符號S)
3. S -> Aa (回到起始符號S，應用剛才的規則)
4. A -> b (現在A是終端符號，所以選擇這個規則)
5. A -> bS (再次應用這個規則，因為S現在是終端符號)
6. S -> Aa (最後，生成完整的句子)

這樣，我們就從起始符號S通過一系列的規則應用生成了一句終端符號組成的句子"ab"。這個過程就是最右推導。