bison移进/归约分析

移进/归约分析

bison语法分析器通过查找能够匹配当前记号的规则来运作。

移进：语法分析器读取记号时，每当它读取的记号无法结束一条规则是，它将把这个记号压入一个内部堆栈，然后切换到一个新状态，这个状态能够反映出刚刚读取的记号。

归约：压入的所有语法符号已经可以组成规则的右部时，它将把右部符号全部从堆栈中弹出，然后把左部语法符号压入堆栈。

每当bison归约一条规则时，会执行该规则关联的用户代码