2 归约
归约
reduction，将与产生式右边匹配的串归约为左部符号，如有产生式 $$ A→sB $$ 现在有串 $$ asB $$ 则可归约为 $$ aA $$
归约是右推导的逆过程。
举例
把输入串归约成文法的开始符号，是最右推导的逆过程。
如有文法： $$ \begin{aligned} S&→aABe\newline A&→Abc|b\newline B&→d \end{aligned} $$ 输入串：abbcde
归约的做法是：寻找能匹配某产生式右部的子串。
下面的示例中，\Rightarrow 表示归约一步，→ 表示读取新的输入符号
a→ab\Rightarrow aA→aAb
此时可以将 aAb 归约成 aAA 吗？
—— 不能，因为 aAA 不是右句型！
—— 右句型：按最右推导推出的句型
aAbc\Rightarrow aA→aAd\Rightarrow aAB→aABe\Rightarrow S
体会自下而上的过程：
