编译原理-第4章-第2节-LL(1)分析法.pptVIP

Iwillgreetthislecturewithloveinmyheart.主讲人：韩士元Email:shiyuanhan@126.comTel:+86非终结符号集合FIRST(x)定义：FIRST(x)={a|x?a…,a?VT},特别地，若x?ε成立，则规定ε?FIRST(α)**如果非终结符A的任何两个候选式αi和αj(不考虑ε的情况)，有FIRST(αi)∩FIRST(αj)=Φ，那么要求A匹配输入串时，A就能根据它所面临的第一个输入符号a，准确的指派某个候选去执行匹配任务。4.2.1LL(1)文法FIRST集合4.2.1LL(1)文法文法G=({S,A},{x,y,z,*},{S?xAy|z,A?*|ε},S)xySxAyε当前输入符号为a，A?α1|α2|…|αn，a?FIRST(αi)，ε?FIRST(αj)，是否可以用ε匹配A?只有a是跟在A后面的终结符时，才能运行A自动匹配，否则，a在这里的出现就是一种语法错误。定义：FOLLOW(A)={a|S?…Aa…,A?VN，a?VT,S是开始符号}，特别地，若S?…A，则#?FOLLOW(A)。**4.2.1LL(1)文法当前输入符号为a，A?α1|α2|…|αn，a?FIRST(αi)，ε?FIRST(αj)，是否可以用ε匹配A?（1）若a?FOLLOW(A)，则可以用ε匹配A（2）若a?FOLLOW(A)，则不可以用ε匹配AFOLLOW集合4.2.1消除回溯、提左因子为了消除回溯就必须保证：对文法的任何非终结符，当要它去匹配输入串时，能够根据它所面临的输入符号准确地指派它的一个候选去执行任务，并且此候选的工作结果应是确信无疑的。A→?1|?2|…|?nSa….IPA......4.2.1消除回溯、提左因子P?αA1|αA2|…|αAn|β1|β2|…|βmP?αA|β1|β2|…|βmA?A1|A2|…|An例：S?ifBthenS1elseS2;|ifBthenS1;S?ifBthenS1S3S3?elseS2;|;例：S?ifBthenS1elseS2|ifBthenS1S?ifBthenS1S3S3?elseS2|ε经过反复提取左因子，就能够把每个非终结符(包括新引进者)的所有候选首符集变成为两两不相交。（1）文法不含左递归。（2）对每个非终结符A，若A?α1|α2|…|αn，有FIRST(αi)∩FIRST(αj)=Φ(i≠j)。（3）对每个非终结符A，若A?α1|α2|…|αn，ε?FIRST(αi)，有FIRST(αi)∩FOLLOW(A)=Φ。如果文法G满足以上条件，则该文法称为LL(1)文法。第一个L表示从左到右扫描输入串，第二个L表示最左推导，1表示分析时每步只需向右查看一个符号。构造不带回溯的自上而下分析的文法条件：4.2.1LL(1)文法构造无回溯文法算法的问题如何构造FIRST(α)？如何构造FOLLOW(A)？如何根据当前输入符号a决定A的匹配式？文法G[S]中的产生式S?xAyS?zA?*A?εx*ySxAy**y（a）若x?VT，则FIRST(x)={x}；（b）若x?VN，且有产生式x?a…，a?VT，则a?FIRST(x)；当产生式为x?ε时，ε?FIRST(x)；（c）若x?Y…，Y?VN，则FIRST(Y)-{ε}?FIRST(x)；若x?Y1Y2…Yk，且对1≤j≤i-1，都有Yj?ε，则FIRST(Yi)-{ε}?FIRST(x)；特别地，若Y1Y2…Yk?ε，则ε?FIRST(x)。**4.2.2求FIRST(x)4.2.2求FIRST(x)（1）若x?(VN∪VT)（a）若x?VT，则FIRST(x)={x}；（b）若x?VN，且有产生式x?a…，a?VT，则a?FIRST(x)；当产生式为x?ε时，ε?FIRST(x)；（c）若x?Y…，Y?VN，则FIRST(Y)-{ε}?FIRST(x)；若x?Y1Y2…Yk，且对1≤j≤i-1，都有Yj?ε，则FIRST(Yi)-{ε}?FIRST