之前学过的自上而下的分析是递归,这周学习的是自下而上的分析是一种归约的算法,感觉比上一章的难度有所加大,理解起来也比较的困难,在学习的过程中我也遇到过一些困难,在老师和同学的帮助下得到了解决,下面,我将把这一章所所学的内容做一下总结。
首先规约的基本思想是:用一个寄存符号的先进后出栈,把输入符号一个一个地移进到栈里,当栈顶形成某个产生式的候选式时,即把栈顶的这一部分替换成(归约为)该产生式的左部符号。自下而上分析过程:边输入单词符号,边归约。其核心问题是识别可归约串。
在这里我要介绍几个规范规约的概念:(附加例题展示具体的判断过程)
1.短语:定义:令G是一个文法,S是文法的开始符号,假定abd是文法G的一个句型
其中α,β,d∈(VN∪VT)*,A∈VN ,如果有
则b称是句型abd相对于非终结符A的短语。
2.直接短语:特别是,如果有AÞb,则称b是句型abd相对于规则A®b的