编译原理的活前缀

⑴ 编译原理 语法

编译原理不同教材用的表示不太一样，翻译也五花八门，我不是很确定你这个活前缀是什么意思。我按我知道的告诉你，我用“。”表示状态的位置，你的书上可能通常是一个黑点表示，先要建立文法的状态集合：
S1：S->。a
S2：S->a。
S3：S->。^
S4：S->^。
S5：S->。(T)
S6：S->(。T)
S7：S->(T。)
S8：S->(T)。
S9：T->。T,S
S10：T->T。,S
S11：T->T,。S
S12：T->T,S。
S13：T->。S
S14：T->S。
归集状态，和状态转换关系（这应该是要画成图的，这里没法画。。。）用I表示
I0：S1 S3 S5 S9 S13
输入a，I0->I1
I1：S2
输入^，I0->I2
I2：S4
输入(，I0->I3
I3：S6 S9 S13 S1 S3 S5
归约S，I0->I4
I4：S14
归约T，I0->I5
I5：S10
归约T，I3->I6
I6：S7
输入)，I6->I7
I7：S8
输入,，I5->I8
I8：S11 S1 S3 S5
归约S，I8->I9
I9：S12
输入a，I8->I1
输入^，I8->I2
输入(，I8->I3
输入a，I3->I1
输入^，I3->I2
输入(，I3->I3
然后你要建立状态转换表，网络不能画表格。。。，你将就看看( $是结束符啊.还有你的文法没有开始，即S')
先把题目中的规则编个号：
(1) S->a
(2) S->^
(3) S->(T)
(4) T->T,S
(5) T->S
action goto
状态集 a ^ ( ) , $ S T
0 s1 s2 s3 14 10
1 acc
2 acc
3 s1
因为没有S'不知道最终怎么规约

⑵ 编译原理笔记17：自下而上语法分析（4）LR(0)、SLR(1) 分析表的构造

（移进项目就是指圆点右边是终结符的项目，规约项目指的就是圆点在右部最右端的项目）

LR(0) 文法可以直接通过识别活前缀的 DFA 来构造 LR 分析表

假定 C = {I ₀ , I ₁ , ... , I _n } （aka. LR(0) 项目规范族、DFA 状态集）

首先为文法产生式进行编号，拓广文法的产生式要标记为 0（这里就是后面分析表中 rj 的产生式编号 j 的由来）

然后令每个项目集 I _k 的下标 k 作为分析器的状态（行首），包含 S' → .S 的集合下标为分析器的初态（也就是 DFA 的初态，一般都是 0 ）。

下面用一个例子来说明 ACTION、GOTO 子表的构造：

SLR(1) 为解决冲突提出了一个简单的方法：通过识别活前缀的 DFA 和【简单向前看一个终结符】构造 SLR(1) 分析表。

如果我们的识别活前缀的 DFA 中存在移进-规约冲突、规约-规约冲突，都可以尝试使用这个方法来解决冲突。（这里说【尝试】，当然是因为 SLR 也只能解决一部分问题，并不是万能的灵丹妙药。。）

这里，我们拿前面那个 LR(0) 解决不了的文法来举例

该文法不是 LR(0) 文法，但是是 SLR(1) 文法。

观察上图 DFA 中的状态2，想象当我们的自动机正处于这个状态：次栈顶已经规约为 T 了，栈顶也是当前的状态 2 ，而当前剩余输入为 *。

如果这个自动机不会【往前多看一步】的话，那么对处于这个状态的自动机来说，看起来状态 2 中的移进项目和规约项目都是可选的。这就是移进-规约冲突。

想要解决这个冲突，就轮到【往前多看一步】上场了——把当前剩余输入考虑进来，辅助进行项目的选择：

对其他的冲突也使用同样的方法进行判断。

这种冲突性动作的解决办法叫做 SLR(1) 解决办法

准备工作部分，与 LR(0) 分析表的构造差不多：同样使用每个项目集的状态编号作为分析器的状态编号，也就同样用作行下标；同样使用拓广文法产生式作为 0 号产生式。

填表也和 LR(0) 类似，唯一的不同体现在对规约项的处理方法上：如果当前状态有项目 A → α.aβ 和 A → α. ，而次栈顶此时是 α 且读写头读到的是 a，那么当且仅当 a∈FOLLOW(A) 时，我们才会用 A → α 对 α 进行规约。

如果构造出来的表的每个入口都不含多重定义（也就是如上图中表格那样的，每个格子里面最多只有一个动作），那么该表就是该文法的 SLR(1) 表，这个文法就是 SLR(1) 文法。使用 SLR(1) 表的分析器叫做一个 SLR(1) 分析器。

任意的二义文法都不能构造出 SLR(1) 分析表

例：悬空 else

例：

这里的 L 可以理解为左值，R 可以理解为右值

经过计算可以确定其 DFA 如下图所示。

在 状态4 中，由于 "=" 同时存在于 FOLLOW(L) 与 FOLLOW(R) 中，因此该状态内存在移进-规约冲突，故该文法不是 SLR(1) 文法。

这样的非二义文法可以通过增加向前看终结符的个数来解决冲突（比如LL(2)、LR(2)）但这会让问题更加复杂，故一般不采用。而二义文法无论向前看多少个终结符都无法解决二义性。

⑶ 编译原理中LR（1） 那个向前搜索符怎么求的 跪求高手解答 复制粘贴或者答非所问的别来

1、首先第一步就是项目[S’-> . S,]，自动生成搜索符]，自动生成搜索符]，自动生成搜索符，从项目[A->α.Bβ,?]生成项目[B->…,first(β)]。

⑷ 有关编译原理的几个问题

最左推到就是从最左边的非终结符开始替换，一个一个替换，直到替换为题目要求的。预测分析表什么的太烦了，不高兴写。你按着书上例题步骤一步一步写就可以了。给你写个第五题。

⑸ 识别文法活前缀的NFA的程序 用c++实现

我虽然不会，但是给你一个建议，这种高难度的东东放在这有点浪费时间。 如果米多可以去专用网站求人去写， 如果想cost down那么也可以去猪八戒或威克天地等在线悬赏网站，也许出不了很多钱很快帮你解决问题。

⑹ 编译原理求解答案

编译原理是计算机软件专业中的非常重要一门课程。例如：如何把我们编写的高级语言源程序，翻译成机器可执行的目标程序，这个就需要用到编译原理技术。

但是学习编译原理这门课程时，是需要头脑中对编译原理课程中涉及到的所有概念必须是相当清楚的，别人才能够对你的这些问题进行准确的回答。而不是看到这些似曾亲切的内容就敢于回答你的内容的。
故我个人的建议还是：你可以向专门讲授编译原理的老师请教你的问题。
以上就是我很多年前学习编译原理的亲身体会。

⑺ 什么叫活前缀,用通俗的话解答下,或者简单的例子。 这个题是编译原理的。

活前缀：右句型的前缀，而且其右端不会超过该句型的最右边句柄的末端。
右句型：最右推导可得到的句型。
最右推导：每步推导都替代最右非终结符的推导。
推导：我们说αBγ推导出αβγ，是说存在产生式B->β。
产生式：左边为非终结符，右边为终结符与非终结符组合成的串。
非终结符：是字符串的集合。
终结符：组成语言的词。如c语言中的2，a，int，if等。
句型：开始符经过若干步推导后得到的串。
前缀：如abc的前缀为a、ab、abc。
开始符：开始符是整个语言的集合。
句柄：非形式的，句柄是和某个产生式右部匹配的字符串，把句柄归约成产生式左部的非终结符，可以得到最右推导的逆过程的一步。形式的定义为：开始符s经过若干步最右推导得到αBγ，αBγ经过一步最右推导得到αβγ，若γ为终结符的集合，则β为句柄。举例：
E->E+E|E*E|-E|(E)|id，对于id+id*id，其中一个最右推导为E->E+E->E+E*E->E+E*id->E+id*id->id+id*id。在id+id*id归约成E+id*id的过程中，最左边的id是句柄。E+id*id归约成E+E*id时，最左边的id是句柄，把E+E*id归约成E+E*E时，id是句柄。把E+E*E归约成E+E时E*E是句柄。E+E归约成E时，E+E是句柄。
归约：可理解为把产生式右边的串用产生式左边的非终结符代替。
注1：再说一下活前缀，举个例子，比如E+E*E归约成E+E，句柄是E*E，那么它的活前缀就是E、E+、E+E、E+E*、E+E*E。又比如id+id*id归约成E+id*id，句柄是最左边的id，那么它的活前缀是id，因为不能超过句柄。
注2：至于为什么要给出活前缀的定义和如何用归约的方法实现语法分析，还要进一步学习。

⑻ 有关编译原理

⑴拓广文法 1 分
G[S ′ ]: S ′→ S ⑴
S → SaA ⑵ S → a ⑶ A → AbS ⑷ A → b ⑸
该文法的以 LR(0) 项目集为状态的识别规范句型活前缀的 DFA ：

⑵ 该文法的 LR(0) 分析表：
状态 ACTION GOTO
a b # S A
0 S 2 1
1 S 3 acc
2 r 3 r 3 r 3
3 S 5 4
4 r 2 r 2 /S 6 r 2
5 r 5 r 5 r 5
6 S 2 7
7 r 4 /S 3 r 4 r 4
⑶ LR(0) 文法：该文法的以 LR(0) 项目集为状态的识别规范句型活前缀的 DFA 中没有冲突状态。
该文法不是 LR(0) 文法
因为存在冲突状态： I 4 和 I 7
⑷ SLR(1) 文法：该文法的以 LR(0) 项目集为状态的识别规范句型活前缀的 DFA 中有冲突状态，冲突可用 FOLLOW 集解决。
该文法不是 SLR(1) 文法。
因为 FOLLOW(S)={a,b,#} ，所以无法解决冲突

⑼ 急急急，编译原理

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);