自底向上语法分析的本质与原理

       语法分析的本质就是是否可以生成一颗语法树，它的叶子节点及终结符与我们程序的符号流一致，存在的正确，不存在的错误。

       我们可以这样思考，我们将程序的符号表看做是语法树的叶子节点，按照文法进行反向推到，就是根据叶子节点向上推到根节点。如果我们能成功推到出根节点的话，那么从上往下推导肯定也能推导出来。

       我们要按照产生式来推导，就是根据知道了产生式的体，就可以确定它的头，在语法树上就是知道了所有的孩子节点，就可以反推出父节点。这里的关键在于如何知道有哪些孩子节点，以及这些孩子节点的顺序。这个需要状态机来帮忙了。从初始状态开始，一个特定状态和一个特定输入决定了要到达的下一个状态。反过来如果知道现在的状态了，那么之前一定经过了特定的状态，进而可以确定，之前一定按照特定的顺序输入了特定的字符。下图就是状态机

       通过状态机可以根据当前状态直到之前输入了什么以及顺序，我们就在特定的状态（这些状态意味着之前输入的是某个产生式的体）进行操作。做什么？根据产生式的体推出头，在语法树上就是根据孩子节点推导出父节点。我们的做法是从当前状态回退到输入第一个孩子节点前的状态，然后将得到的产生式的头输入，到达新的状态。为什么这样？因为语法树有很多层，父节点很可能还有父节点，也需要反向推到，所以需要继续输入。就这样利用状态机记录到目前输入了哪些节点，以及这些节点的顺序，再根据产生式推导父节点，不断向上推导，最终得到根节点。若中间出现问题，则说明程序不符合语法。

       这个过程中每一个特定的时刻，输入的符号构成一条线，一段为初始状态，我们暂且称为A端，另一端暂且称为B端，每输入一个符号，这条线就会在B增长，要根据子节点推导父节点时，就会将子节点删除，B端就会变短，输入父节点时B端又变长。我们看到A端不会改变，一直B端在伸缩变化，所以我们可以考虑利用栈来存储这条线。