1. 推导
我们还是从一个英文句子来入手:
从上面一张图,我们看出文法是如何 推导 出一个英文句子的。从上往下看,从句子开始,句子可以被替换成<名词短语><动词短语>。而<名词短语>又可以被替换成<形容词><名词短语>。对于文法中的每一个产生式,都可以把左部替换成右部。这样一步一步递推,就把一个文法从开始符号最终替换成了具体的句子。
所以从推导的直接定义来说,如果有产生式 α->β 能把 γαδ => γβδ 那么就说 γβδ是由γαδ 一步推导出来的。
2. 归约
归约正好是推导的逆过程。如果有产生式 α->β 那么能把 γβδ 归约成γαδ。这一过程叫做归约。我们可以看上面那张图进一步对比一下。