Derivation

推导（derivation） 是根据开始符号 $S$ 和产生式规则集 $P$ 不断展开生成式，最终判断句子是否属于 形式语言$L(G)$。

最左推导

最左推导（leftmost derivation）是对推导式右手端最左边第一个 非终结符 进行展开。

最右推导

最右推导（rightmost derivation）是对推导式右手端最右边第一个 非终结符 进行展开。