上下文无关文法（Context-Free Grammar）

上下文无关文法由一系列生成式（production）组成。每个生成式有一个非终结符作为left-hand，一个或多个非终结符和终结符序列作为right-hand。每个文法的终结符由一个特定的字母表所表示。

注：部分词汇可能翻译不准确