语法分析自上而下分析.pptVIP

文法的另一种表示法和转换图国防科技大学计算机系602教研室在元符号“→”和“|”的基础上，扩充几个元语言符号：1.用花括号{?}表示闭包运算?*。2.用表示{?}0n可任意重复0次至n次，。3.用方括号[?]表示{?}01，即表示?的出现可有可无(等价于?|?)。引入上述元符号的文法亦称扩充的巴科斯范式。国防科技大学计算机系602教研室例如，通常的“实数”可定义为：decimal→[sign]integer.{digit}[exponent]exponent→E[sign]integerinteger→digit{digit}sign→+|-用扩充的巴科斯范式来描述语法，直观易懂，便于表示左递归消去和因子提取。国防科技大学计算机系602教研室E→T|E+TT→F|T*FF→i|(E)例4.5文法E→T{+T}T→F{*F}F→i|(E) (4.6)可表示成国防科技大学计算机系602教研室i+iIPETE’FT’国防科技大学计算机系602教研室i+iIPETE’FT’i国防科技大学计算机系602教研室i+iIPETE’FT’i国防科技大学计算机系602教研室i+iIPETE’FT’i?国防科技大学计算机系602教研室i+iIPETE’FT’i?+TE’国防科技大学计算机系602教研室i+iIPETE’FT’i?+TE’国防科技大学计算机系602教研室i+iIPETE’FT’i?+TE’FT’i+i国防科技大学计算机系602教研室IPETE’FT’i?+TE’FT’ii+i国防科技大学计算机系602教研室IPETE’FT’i?+TE’FT’i国防科技大学计算机系602教研室i+iIPETE’FT’i?+TE’FT’i?国防科技大学计算机系602教研室i+iIPETE’FT’i?+TE’FT’i??国防科技大学计算机系602教研室构造不带回溯的自上而下分析的文法条件1.文法不含左递归，2.对于文法中每一个非终结符A的各个产生式的候选首符集两两不相交。即，若A→?1|?2|…|?n则FIRST(?i)∩FIRST(?j)＝? (i?j)3.对文法中的每个非终结符A，若它存在某个候选首符集包含?，则FIRST(?i)∩FOLLOW(A)=?i=1,2,...,n如果一个文法G满足以上条件，则称该文法G为LL(1)文法。 国防科技大学计算机系602教研室对于一个满足上述条件的文法，可以对其输入串进行有效的无回溯的自上而下分析。假设要用非终结符A进行匹配，面临的输入符号为a，A的所有产生式为A→?1|?2|…|?n1.若a?FIRST(?i)，则指派?i执行匹配任务；2.若a不属于任何一个候选首符集，则：(1)若?属于某个FIRST(?i)且a?FOLLOW(A)，则让A与?自动匹配。(2)否则，a的出现是一种语法错误。构造FIRST(?)国防科技大学计算机系602教研室国防科技大学计算机系602教研室对每一文法符号X?VT∪VN构造FIRST(X)连续使用下面的规则，直至每个集合FIRST不再增大为止：1.若X?VT，则FIRST(X)＝{X}。2.若X?VN，且有产生式X→a…，则把a加入到FIRST(X)中；若X→?也是一条产生式，则把?也加到FIRST(X)中。国防科技大学计算机系602教研室3.若X→Y…是一个产生式且Y?VN，则把FIRST(Y)中的所有非?-元素都加到FIRST(X)中；若X→Y1Y2…Yk是一个产生式，Y1，…，Yi-1都是非终结符，而且，对于任何j，1?j?i-1，FIRST(Yj)都含有?(即Y1…Yi-1?)，则把FIRST(Yi)中的所有非?-元素都加到FIRST(X)中；特别是，若所有的FIRST(Yj)均含有?，j＝1，2，…，k，则把?加到FIRST(X)中。国防科技大学计算机系602教研室对文法G的任何符号串?=X1X2…Xn构造集合FIRST(?)。1.