gpt4 book ai didi

c++ - 显示有效的 LR(0) 项

转载 作者:塔克拉玛干 更新时间:2023-11-03 06:59:02 25 4
gpt4 key购买 nike

我必须创建一个 C++ 程序来显示编译器设计中 SLR 解析中的有效 LR(0) 项。到目前为止,我能够将语法作为用户的输入并找到它的闭包。但是我无法继续在 SLR 中执行 goto。谁能给我提供有关如何显示语法的有效 LR(0) 项的链接或代码。
-提前致谢

最佳答案

你能接受文法的闭包吗?从技术上讲,闭包函数是在项目集上定义的(这些项目集是具有与每个生产相关联的位置的生产集)。

现在,您询问如何显示语法的有效 LR(0) 项。您的意思是显示上面段落中定义的所有项目,或者显示 LR(0) 自动机的所有状态。第一个是微不足道的,因为所有可能的项目都是有效的,所以我猜你想要所有的状态。这就是你所做的(直接来自龙之书)。

SetOfItems getValidStates(Grammar G) {
// S' -> S is the "first" production of G (which must be augmented)
SetOfItems C = {[S' -> *S]};
do {
bool added = false;
for (Item I : C) {
for (Symbol X : G) {
L = GOTO(I, X);
if (L.size() > 0 && !C.contains(L)) {
added = true;
C.add(L);
}
}
}
} while (added);
return C;
}

唯一的问题是如何实现 GOTO(SetOfItems, Symbol)。

所以,

SetOfItems GOTO(SetOfItems S, Symbol X) {
SetOfItems ret = {}
for (Item I : S)
if (I.nextSymbol().equals(X))
ret.add(I.moveDotByOne())
return closure(ret);
}

集合中的每一项都有[A -> a*Yb]的形式,其中A是产生式的头,aXb是产生式的主体(a和b只是一串文法符号,Y是一个符号)。 '*' 只是我提到的位置 - 它不在语法中,[A->a*Yb].nextSymbol() 是 Y。基本上,Item.nextSymbol() 只返回右边的任何符号点。 [A->a*Yb].moveDotByOne() 返回 [A->aY*b].

现在,我刚刚完成了编译器书中的解析章节,我对自己的理解并不完全满意,所以要小心我写的东西。

至于真实代码的链接:http://ftp.gnu.org/gnu/bison/是您可以找到 bison 源代码的地方,但那是一个 LALR 解析器生成器,我认为它没有实现 LR(0)。

关于c++ - 显示有效的 LR(0) 项,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5288260/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com