概念導讀CFG的完整production與推導witnessgrammar S→aSb或ε具有aaabbb與ε的有限推導witness。上下文無關文法derivation-mko-context-free-grammar-01