LR分析法是一种规范归约分析法,规范归约是(29)的逆过程。A.最左推导B.最右推导C.自上而下D.自下而

Question

LR分析法是一种规范归约分析法，规范归约是(29)的逆过程。

A．最左推导

B．最右推导

C．自上而下

D．自下而上

Answer 1

正确答案：B
解析：LR分析法的第1个字母L表示从左至右读输入串，第2个字母R表示为输入串构造一个最右推导，不过，构造过程是按最右推导的逆过程进行的。所谓文法G的一个句子α的规范归约，就是α的最右推导的逆过程。规范归约的定义如下：设α是文法G的一个句子，称右句型序列αn,αn-1,…,α0是α的一个规范归约，若这个右句型序列满足：(1)αn=α,α0=S(2)对任何i(0i≤n)，αi-1是把αi中的句柄替换成相应产生式的左部符号而得到的。下面举例说明。对于文法G2=(VT={a,',',(,)},VN={S,L},S,P)，其中P为，S→(L)|aL→L,S|S句子(a,a)的最右推导是：其规范归约是(a,a)，(S,a)，(L,a)，(L,S)，(L)，S。LR分析过程由下表给出。从表中看出，LR分析过程是一个移进—归约过程。LR分析法一般称为LR(k)分析法，k表示根据当前分析栈中的符号串(通常以状态表示)和向右顺序查看输入串的k个(k0)符号，就可唯一确定分析器的动作是移进还是归约，以及用哪条产生式进行归约，因而也就能唯一地确定句柄。当k=1时，已能满足当前绝大多数高级语言编译程序的需求。LR分析有LR(0)、SLR(1)、LALR(1)和LR(1)4种，常用的LR分析是SLR(1)和LALR(1)分析。