- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我正在尝试为以下语法创建一个 LALR(1) 解析器并发现一些移位/归约冲突。
S := expr
expr := lval | ID '[' expr ']' OF expr
lval := ID | lval '[' expr ']'
所以解析器无法正确解析字符串“ID[ID]”。我的问题是,
上面提到的语法只是一个例子,我真正想知道的是解决这些语法问题的一般方法。欢迎任何建议或阅读建议。
提前致谢。
最佳答案
1 . Are there any general ways to convert such non-LALR(1) grammars into LALR(1) grammars?
没有。将任意上下文无关文法 (CFG) 转换为 LALR(1) 文法可能可行,也可能不可行。此外,如果你有一个 CFG 和一个 LALR(1) 文法,你无法判断它们是否识别相同的语言。 (更糟糕的是,没有算法甚至可以告诉您任意 CFG 是否识别其字母表的每个可能字符串。)
2 . If two grammars generate exactly the same languages and we know that one is not LALR(1), can we know if the other is LALR(1)?
同样,不。如上所述,没有算法可以验证两个文法生成相同的语言,但即使假设您知道两个文法生成相同的语言,其中一个不是 LALR(1) 这一事实也不会告诉您关于另一个的任何信息一个。
但是,有一个有用的结果。如果你有一个有限 k > 1 的 LALR(k) 文法,那么你可以生成一个 LALR(1) 文法。换句话说,对于 k > 1,不存在 LALR(k) 语言;如果一种语言具有 LALR(k) 文法,则对于满足 1 ≤ k' < k 的任何 k',它都具有 LALR(k') 文法。
但是,这对您的语法没有帮助,因为无法通过增加对任何有限值的前瞻性来消除冲突。
不过,有一种简单的方法可以消除这种特定的 shift-reduce 冲突,而且这种方法经常有效。考虑两个相互冲突的规则:
lval := lval '[' expr ']'
expr := ID '[' expr ']' OF expr
问题是在第一种情况下,ID
必须立即缩减为 lval
(或者至少,在以下 expr
被缩减之前)减少),但在第二种情况下,它可能不会减少到 lval
。但是在我们减少 expr
并遇到(或没有)OF
之前,我们无法判断我们处于哪种情况。
如果我们可以在不进行内部 lval
缩减的情况下完成 lval
的产生,那么我们就不会有问题,因为实际的缩减会在 token 跟随时发生]
可见。
这可能有一个技术术语,但我不知道。我一直把它描述为“递减延迟”,在很多情况下它并不是很难:
lval' := ID `[` expr `]`
| lval' `[` expr `]`
lval := ID
| lval'
expr := lval
| ID '[' expr ']' OF expr
关于algorithm - 有没有一种通用的方法可以将明确的上下文无关文法转换为 LALR(1) 文法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18498722/
我正在尝试将一个字符串逐个字符地复制到另一个字符串中。目的不是复制整个字符串,而是复制其中的一部分(我稍后会为此做一些条件......) 但我不知道如何使用迭代器。 你能帮帮我吗? std::stri
我想将 void 指针转换为结构引用。 结构的最小示例: #include "Interface.h" class Foo { public: Foo() : mAddress((uint
这有点烦人:我有一个 div,它从窗口的左上角开始过渡,即使它位于文档的其他任何位置。我试过 usign -webkit-transform-origin 但没有成功,也许我用错了。有人可以帮助我吗?
假设,如果将 CSS3 转换/转换/动画分配给 DOM 元素,我是否可以检测到该过程的状态? 我想这样做的原因是因为我正在寻找类似过渡链的东西,例如,在前一个过渡之后运行一个过渡。 最佳答案 我在 h
最近我遇到了“不稳定”屏幕,这很可能是由 CSS 转换引起的。事实上,它只发生在 Chrome 浏览器 上(可能还有 Safari,因为一些人也报告了它)。知道如何让它看起来光滑吗?此外,您可能会注意
我正在开发一个简单的 slider ,它使用 CSS 过渡来为幻灯片设置动画。我用一些基本样式和一些 javascript 创建了一支笔 here .注意:由于 Codepen 使用 Prefixfr
我正在使用以下代码返回 IList: public IList FindCodesByCountry(string country) { var query =
如何设计像这样的操作: 计算 转化 翻译 例如:从“EUR”转换为“CNY”金额“100”。 这是 /convert?from=EUR&to=CNY&amount=100 RESTful 吗? 最佳答
我使用 jquery 组合了一个图像滚动器,如下所示 function rotateImages(whichHolder, start) { var images = $('#' +which
如何使用 CSS (-moz-transform) 更改一个如下所示的 div: 最佳答案 你可以看看Mozilla Developer Center .甚至还有例子。 但是,在我看来,您的具体示例不
我需要帮助我正在尝试在选中和未选中的汉堡菜单上实现动画。我能够为菜单设置动画,但我不知道如何在转换为 0 时为左菜单动画设置动画 &__menu { transform: translateX(
我正在为字典格式之间的转换而苦苦挣扎:我正在尝试将下面的项目数组转换为下面的结果数组。本质上是通过在项目第一个元素中查找重复项,然后仅在第一个参数不同时才将文件添加到结果集中。 var items:[
如果我有两个定义相同的结构,那么在它们之间进行转换的最佳方式是什么? struct A { int i; float f; }; struct B { int i; float f; }; void
我编写了一个 javascript 代码,可以将视口(viewport)从一个链接滑动到另一个链接。基本上一切正常,你怎么能在那里看到http://jsfiddle.net/DruwJ/8/ 我现在的
我需要将文件上传到 meteor ,对其进行一些图像处理(必要时进行图像转换,从图像生成缩略图),然后将其存储在外部图像存储服务器(s3)中。这应该尽可能快。 您对 nodejs 图像处理库有什么建议
刚开始接触KDB+,有一些问题很难从Q for Mortals中得到。 说,这里 http://code.kx.com/wiki/JB:QforMortals2/casting_and_enumera
我在这里的一个项目中使用 JSF 1.2 和 IceFaces 1.8。 我有一个页面,它基本上是一大堆浮点数字段的大编辑网格。这是通过 inputText 实现的页面上的字段指向具有原始值的值对象
ScnMatrix4 是一个 4x4 矩阵。我的问题是什么矩阵行对应于位置(ScnVector3),旋转(ScnVector4),比例(ScnVector3)。第 4 行是空的吗? 编辑: 我玩弄了
恐怕我是 Scala 新手: 我正在尝试根据一些简单的逻辑将 Map 转换为新 Map: val postVals = Map("test" -> "testing1", "test2" -> "te
输入: This is sample 1 This is sample 2 输出: ~COLOR~[Green]This is sample 1~COLOR~[Red]This is sam
我是一名优秀的程序员,十分优秀!