陈火旺 编译原理 chapter4.pptVIP

LL(1) 文法 五、实例 已知文法G：A→aABl|a B→Bb|d ①试给出与Ｇ等价的LL(1)文法G’ ②构造文法G’的预测分析表,并给出输入串aadl的分析过程 解: 对A→aABl|a 来说: First(aABl) First(a)={a}≠φ. 对B→Bb|d 存在有左递归. 故文法G不是LL(1)文法. 提取公共左因子及消除左递归得 A→aT T→ABl|ε B→dB’ B’→bB’|ε 此时 First(A)={a} Follow(A)={d,#} First(T)={a,ε} Follow(T)={d,#} First(B)={d} Follow(B)={l} First(B’)={b,ε} Follow(B’)={l} G‘满足（1）不含左递归，（2）每个产生式的候选首符集两两不相交（First(ABl)={a}） ，和（3）如下 对于T→ABl|ε来说， First(T) Follow(T)= φ B’→bB’|ε First(B’) Follow(B’)= φ 故有文法G’为所求等价的LL(1)文法 复习题 1. 名词解释 自上而下分析 自下而上分析 2. 预测分析表的构造 (1) 消除文法左递归,消除回溯 (2) 求出FIRST和FOLLOW (3) 判断是否为LL(1)文法 (4) 若是构造LL(1)分析表 (5) 给出一个句子,利用分析表进行预测分析 假定要用非终结符A进行匹配，面临的输入符号为a，A的所有产生式为： A→ ? 1| ? 2|……| ? n (1) 若a∈FIRST(? i)，则指派? i去执行匹配任务； (2) 若a不属于任何一个候选首符集，则： (a) 若ε属于某个FIRST(? i)且a∈FOLLOW(A),则让A与ε自动匹配; (b) 否则，a的出现是一种语法错误。 根据LL(1)文法的条件，每一步这样的工作都是确信无疑的。 4.4 递归下降分析程序的构造 递归下降分析器：当一个文法满足LL(1)条件时，可以为它构造一个不带回溯的自上而下分析程序，由一组递归过程组成，每一个过程对应文法的一个非终结符。 我们考虑以下文法G(4.2)： E→TE E→+TE|ε T→FT T→﹡FT|ε F→(E)|i 构造它的递归子程序。其中advance是指把输入串指示器IP调至指向下一个输入符号；sym是指IP当前所指向的那个输入符号；error( )为出错处理程序。 void E( ) { T( ); E( );} void E( ) { if(sym == +) { advance; T( );E( );} } void T( ) { F( ); T( );} void T() { if(sym == *) { advance; F( );T( );} } void F( ) { if(sym == i) advance; else if(sym == ( ) { advance; E ( ); if(sym == ) ) advance; else error( ); } else error( ); } 如：i＋i 其程序执行情况为？ 前面的上下文无关文法产生式(BNF)中只用了两个元符号：→和|。下面扩充几个元语言符号： (1){?} 表示?*； (2){?}0n表示?可任意重复0次至n次，{?}00=?0=ε； (3)[?]表示{?}01即表示?的出现可有可无即? |ε； 引入上述元符号后的文法称为扩充的巴克斯范式。 例如：实数可定义为： decimal→[sign]integer.{digit}[exponent] exp