知识点
自上而下分析法是从输入串开始,逐步进行规约,知道规约到文法的开始符号,即从语法书的末端开始,向上规约到根部。自上而下分析采用了移进-规约的方法进行语法分析,用一个寄存符号的栈,从输入串中将符号一个个移进栈中,使栈顶形成某一候选式的产生式,再将这部分产生式规约成该产生式左部的符号。 自上而下分析中有两种分析方法,算符优先方法和规范规约方法,分别使用最左素短语和句柄来描述可规约串。
一 规范规约:
如果在一个文法中 S=>* αAγ且A=>+ β 则称β是句型αβγ相对于非终结符A的短语,两个条件缺一不可。如果A可以直接推出β则称β是句型αβγ相对于规则A->β的直接短语。而一个举行的最左直接短语测成为该举行的句柄。
规范规约的定义:
定义:假定a是文法G的一个句子,我们称序列
an, an-1,... ,a0
是a的一个规范归约,如果此序列满足:
(1) an= a
(2) a0为文法的开始符号,即a0=S
(3) 对任何i,0 < i £ n, ai-1是从ai经把句柄替换成为相应产生式左部符号而得到的。
规范规约是规范推导(最右推导)的逆过程。
二 算符优先:
算符优先定义了算符之