编译原理最右规约

‘壹’ 编译原理最左最右推导规则

因为推导过程并不要求所有的产生式都用上。再给你举个例子，比如：
baa，那推导也是S=>AB=>bBB=>baB=>baa，也没有用到那个式子啊。
当然，有可能这个式子永远用不到，也就是这个式子的功能可以用另外的式子替换，这时候，这个文法就是有冗余的。

‘贰’ 编译原理的简单题（着急 在线等）

你这个问题很厉害，你连最右推倒都会写，怎么不会写规范规约呢？把最右推倒逆着写不就成的吗？

‘叁’ 编译原理的最左推导和最右推导。。。

(2)给出句子0127,34和568的最左推导和最右推导我是刚学编译原理,不知道该怎么去思考,从那入手呢? (1)带先导0的十进制无符号整数 (2)最左推导：

‘肆’ 句柄的编译原理

一个句型的最左直接短语称为该句型的句柄，句型的句柄是和某产生式右部匹配的子串，并且，把它规约成该产生式左部的非终结符，代表了最右推导过程的逆过程的一步。
如右图，在推导过程中，S→aABe→aAde→aAbcde→abbcde，此四步的句柄分别为aABe,d,Abc,b
句柄的特征：
1. 它是直接短语，即某规则右部。
2. 它具有最左性。
注意：短语、直接短语和句柄都是针对某一句型的，特指句型中的哪些符号子串能构成短语和直接短语，离开具体的句型来谈短语、直接短语和句柄是无意义的。另外句柄的右边仅含终结符如果文法二义，那么句柄可能不唯一。

‘伍’ 请问规范规约是什么意思（这个词应该是用在计算机编译原理中）

在编译原理中，规范规约是编译程序中语法分析（自下而上分析）阶段的，在此阶段中处理文法和句子。规范规约是文法中句子的一个最右推导的逆过程。
如果你是没学过编译原理的，这个具体要说意思的话，太抽象。你只要知道编译程序的工作是从输入源程序开始到输出目标程序为止的整个过程，而这个过程可分为五个阶段：词法分析、语法分析、语义分析与中间代码产生、优化、目标代码生成。规范规约就是语法分析中用到的，为后面的步骤做准备。

‘陆’ 编译原理，算符优先文法采用"移进-规约"技术,其规约过程是规范的. 这句话错在哪了谢谢

算符优先文法确实使用了移入归约技术，但其归约过程不满足规范归约（最左归约），算符优先文法每次归约的是最左素短语，而规范归约每次归约的是最左直接短语（句柄）

‘柒’ 编译原理的疑问

设文法G的开始符号为S，abc是G的一个句型。
如果有句型S *=>aAc，且A +=>b，则称b是句型abc相对于非终结符A的短语。
假如A =>b，则称b是句型abc相对于规则A=>b的直接短语。
句柄就是句型的最左直接短语。
假如一个短语，有且只含有一个非终结符，则称之为素短语；（语法树）最左边的素短语为最左素短语。

形式语言里，规范推导是最右开始，则归约是最左开始。
短语的特点是由非终结符而来。在算符优先分析里，短语是进行归约的方向。它和常见的中文、英文里所说的短语概念有相似，也有不同。

‘捌’ 规约的编译原理

推导的逆过程称为规约。规约就是选择一个文法规则：X→ABC,依次从栈顶弹出C、B、A，再将X压进栈。规范规约是文法中句子的一个最右推导的逆过程，而最左推导对应的是最右规约 。
另外在程序设计中的规约：∏和∏'是两个判定性问题,如果存在一个确定性算法A使得对于一个∏的实例I,A可以将I在多项式时间里转换成∏'的实例P,使得I得到肯定的回答,当且仅当I'得到肯定回答,则称∏在多项式时间里规约到∏',记为∏∝poly∏'.

‘玖’ 关于编译原理中的最右推导问题。题目如下：

大写A应该是最右边的非终结符号，S怎么是最右非终结符号？最右推导是将最右边的非终结符号替换

‘拾’ 编译原理的最左推导和最右推导问题

最左推导：
S=> (L) =>(L,S)=>(S,S)=>(a,S)=>(a,(L))=>(a,(L,S))=>(a,(S,S))=>(a,((L),S))=>(a,((L,S),S))
=>(a,((S,S),S))=>(a,((a,S),S))=>(a,((a,a),S))=>(a,((a,a),(L)))=>(a,((a,a),(L,S)))
=>(a,((a,a),(S,S)))=>(a,((a,a),(a,S)))=>(a,((a,a),(a,a))) 共17步
最右推导
S=> (L) =>(L,S)=>(L,(L))=>(L,(L,S))=>(L,(L,(L)))=>(L,(L,(L,S)))=>(L,(L,(L,a)))=>(L,(L,(S,a)))
=>(L,(L,(a,a)))=>(L,(S,(a,a)))=>(L,((L),(a,a)))=>(L,((L,S),(a,a)))=>(L,((L,a),(a,a)))
=>(L,((S,a),(a,a)))=>(L,((a,a),(a,a)))=>(S,((a,a),(a,a)))=>(a,((a,a),(a,a)))