编译原理 推导和归约

1. 推导

        我们还是从一个英文句子来入手：

        从上面一张图，我们看出文法是如何 推导 出一个英文句子的。从上往下看，从句子开始，句子可以被替换成<名词短语><动词短语>。而<名词短语>又可以被替换成<形容词><名词短语>。对于文法中的每一个产生式，都可以把左部替换成右部。这样一步一步递推，就把一个文法从开始符号最终替换成了具体的句子。

                                

        所以从推导的直接定义来说，如果有产生式 α->β 能把 γαδ => γβδ 那么就说 γβδ是由γαδ 一步推导出来的。

2. 归约

        归约正好是推导的逆过程。如果有产生式 α->β 那么能把   γβδ 归约成γαδ。这一过程叫做归约。我们可以看上面那张图进一步对比一下。