上下文無關文法CFG由有限且不交的nonterminals、terminals、start與單一nonterminal左側的finite productions生成語言。atlas-context-free-grammar · canonical_mko上下文無關文法前置節點抽象計算模型集合數列