移进规约冲突编译原理

① 编译原理 A产生空和B的规约在一个项目集里是规约冲突吗

如果我们把同心的项目集合合并为一,就可能导致冲突,但是这种冲突不会是移进-规约冲突.因为如果存在这种冲突,则意味着对当前输入符号a,有一个项目[A→α.,a]要求以A→α进行规约,同时又有另一个项目[B→β.aγ,b]要求把a移进.这两个项目既然同处于合并之后的项目集中,则意味着在合并前,必有某个c使得[A→α.,a]和[B→β.aγ,c]同处于合并前的某一集合中.然而,这又意味着原来的LR(1)项目集就已经存在移进-规约冲突.从而文法不是LR(1)的,这与假设不符.事实上移进-规约冲突不依赖于搜索符号而只依赖于其心,因此,同心集合的合并不会引起新的移进-规约冲突

② 编译原理简单文法归约计算

编译原理中的语法和文法是不一样的，但却融会贯通。
在计算机科学中，文法是编译原理的基础，是描述一门程序设计语言和实现其编译器的方法。
文法分成四种类型，即0型、1型、2型和3型。这几类文法的差别在于对产生式施加不同的限制。
形式语言，这种理论对计算机科学有着深刻的影响，特别是对程序设计语言的设计、编译方法和计算复杂性等方面更有重大的作用。
多数程序设计语言的单词的语法都能用正规文法或3型文法（3型文法G=(VN，VT，P，S)的P中的规则有两种形式：一种是前面定义的形式，即：A→aB或A→a其中A，B∈VN ，a∈VT*，另一种形式是：A→Ba或A→a，前者称为右线性文法，后者称为左线性文法。正规文法所描述的是VT*上的正规集）来描述。
四个文法类的定义是逐渐增加限制的，因此每一种正规文法都是上下文无关的，每一种上下文无关文法都是上下文有关的，而每一种上下文有关文法都是0型文法。称0型文法产生的语言为0型语言。上下文有关文法、上下文无关文法和正规文法产生的语言分别称为上下文有关语言、上下文无关语言和正规语言。

③ 编译原理怎么判断是否为slr文法

LL(1)就是向前只搜索1个符号,即与FIRST()匹配,如果FIRST为空则还要考虑FELLOW.
LR需要构造一张LR分析表,此表用于当面临输入字符时,将它移进,规约（即自下而上分析思想）,接受还是出错.
LR(0)找出句柄前缀,构造分析表,然后根据输入符号进行规约.
SLR(1)使用LR(0)时若有冲突,不知道规约,移进,活移进哪一个,所以需要向前搜索,则只把有问题的地方向前搜索一次.
LR(1)1.在每个项目中增加搜索符.2.举个列子如有A->α.Bβ,则还需将B的规则也加入.
LALR(1)就是假如两个产生式集相同则将它们合并为一个,几合并同心集.

④ 急急急，编译原理

using namespace std;

struct BiNode
{
char data;
BiNode *lchild, *rchild;
};
typedef BiNode *BiTree;

int CreateBiTree(BiTree &T, const char *s1, const char *s2, int len)
{
if (len<=0)
{
T = NULL;
return 1;
}
else
{
T = new BiNode;
T->data = *s1;
int i;
for ( i=0; i<len; i++) if (s2[i]==*s1) break;
CreateBiTree(T->lchild, s1+1, s2, i);
CreateBiTree(T->rchild, s1+i+1, s2+i+1, len-(i+1));
}
return 1;
}

int DestroyBiTree(BiTree &T)
{
if (T==NULL) return 1;
DestroyBiTree(T->lchild);
DestroyBiTree(T->rchild);
delete T;
T = NULL;
return 1;
}

int ATraverse(BiTree &T)
{
if (T==NULL) return 1;
ATraverse(T->lchild);
ATraverse(T->rchild);
cout<<T->data;
return 1;
}

main()
{
char a[2000],b[2000];
while(cin>>a>>b)
{
BiTree T;
int count=0;
int n;
for(n=0;a[n]!='\0';n++);
CreateBiTree(T,a,b,n);
ATraverse(T);
cout<<" ";

cout<<endl;
DestroyBiTree(T);

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

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

⑥ 一个关于编译原理中LR(1)文法的问题

当·到达最后的时候就可以规约了，当·没到最后就移入，实际中句子的下一个字符是什么是确定的，比如在状态|1，此时句子结束，相当于下一个字符是#，按G->S·#移入，形成G->S#·可以规约；如果在状态|1，下一个字符是(，就按S->S·(S)#/(移入，这里不存在冲突
展望符的作用是，当同一个状态里有两个产生式都可以规约的时候，句子下一个字符与哪个产生式的展望符相同就按哪个规约

⑦ 计算机科学与技术中编译原理简答题

时间有点久记得不太真切，用通俗语言说，希望题主尽量查阅书籍参考资料自行验证理解。

1、什么是移进项目，什么是规约项目

这个是自顶向下和自下向上分析时候用到的。所谓移进就是不处理，所谓规约就是处理，合并，替换。比如当前符合某个正规式左部，就用这个正规式右部替换左部，称为规约。两种操作的目的都是为了分析整体是否符合语法树。

2、请给出生成C语言语句序列的文法（假定s表示任意一个语句，它为终结符）

关于这个，我感觉你描述的不是很清楚，因为C语言文法包含的正规式还是挺多的，如果单指statement的话，
statement_listà
statement
| statement_list statement

Statementà
| compound_statement
| expression_statement
| selection_statement
| iteration_statement
| jump_statement
再配合上相应的终结符。

3、能用上下文无关文法生成正规集吗？为什么？

可以。不过无法保证不含冲突。

4、计算first集和follow集对于构造自顶向下的语法分析器有什么作用？

可以用来排除冲突。例如移进-移进冲突，移进-规约冲突。

5、是否可能存在这样一个DFA，它的所有状态都是接受状态，包括其实状态，为什么？

这个爱莫能助，据我的构想是可以的，但是这样的DFA最终都会成为单一状态DFA。

⑧ 编译原理懂的进

唉，这个中文翻译的实在差啊，这些名词概念不需要搞清楚的，建议你看下编译原理的英文版

⑨ 为什么lalr会产生规约规约冲突，不会产生移入规约冲突

lalr是在lr1文法合并同心项得到，就是合并了展望符，而展望符是用来判断用哪个式子归约冲突的，将展望符合并了，就是将可归约的范围扩大了，但每次只能选一个正确的式子归约。故lalr文法中相对于lr1产生了归约归约冲突。