程序设计语言——编译原理 第五章总结
CHP5.1自下而上语法分析基本问题
1.归约:是指根据文法的产生式规则,把产生式的右部替换成左部符号
在算符优先分析中,用最左素短语刻画可归约串,在规范规约中用句柄刻画可归约串
2.短语(条件:①句型由开始符号推出②短语是由非终结符号推出),直接短语(由非终结符号经一步推出),句柄(最左直接短语)
3.规范归约:
规范归约是关于是一个最右推导的逆过程
由规范推导推出的句型称为规范句型
4.修建语法树(使用修剪语法树的方法来加深对自下而上语法分析的理解)
①每个句型都有一棵语法树与之对应②每棵语法树的叶结点自左至右排列就组成一个句型③每棵子树(同一个子
树)的叶结点自左至右排列就组成一个短语④每棵简单子树的叶结点自左至右排列就组成一个直接短语⑤每棵最
左简单子树的叶结点自左至右排列就组成一个句柄
5.用符号栈进行自下而上的语法分析
①在分析开始时,将“#”预先进栈,作为栈底符号②将“#”作为输入串的结束符③自左向右对输入串ω不断向
栈中进行移进——归约④一旦发现栈顶形成一个可归约串时,就替换这个串为相应的归约符号(在规范归约的情
况下用相应产生规则的左部符号)代替。