扩展语法以支持 unar 操作

发布于 2024-12-14 18:37:12 字数 529 浏览 2 评论 0原文

我有非常简单的语法:

E->E+T|T
T->T*F|F
F->(E)|id

我想扩展它以支持 unar 操作(恕我直言,这是正确的语法,但它可能是错误的,因为我在语法,解析器,词法分析器等方面是真正的n00b):

E->E+T|T
T->T*F|F
F->+F|(E)|id

真正的问题出现在我正在尝试更新解析表: 在此处输入图像描述

所以问题是我应该如何编辑此表以提供一元运算支持(基于所描述的语法)?

PS 无论如何,我将非常感谢任何使用 LR(k)(或 LALR)解析器解析 Java(或任何其他 OO 语言)中的算术表达式的帮助 ^_^

PS2。< /strong> 解析器生成器不适合这种情况。

I have very simple grammar:

E->E+T|T
T->T*F|F
F->(E)|id

And i want to extend it to support unar operations(IMHO this is correct grammar but it may be wrong because i'm real n00b in grammars, parsers, lexers, etc.):

E->E+T|T
T->T*F|F
F->+F|(E)|id

The real problem comes when i'm trying to update parsing table:
enter image description here

So the question is how should i edit this table to provide unary operations support(based on described grammar) ?

P.S. Anyway, i will be very appreciate for any help with parsing ariphmetic expression in Java(or any other OO language) using LR(k)(or LALR) parser ^_^

P.S.2. Parser generators are not suitable in this case.

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

不回头走下去 2024-12-21 18:37:16

要了解如何调整解析表,您需要知道每个状态的 LR 项集是什么,并了解您对语法的添加如何更改项集——状态项集中的每个新的部分解析项都会为您提供一个解析表的附加操作。
例如,在状态 7 中,您的原始项目集(在添加 F -> + F 规则之前)是:(

T -> T * . F
F -> . ( E )
F -> . id

在这种情况下我忽略了前瞻,因为它并不重要,但对于一般 LR(k),您需要跟踪它。)

因此您的新规则添加了项目 F ->; 。 + F,它为您提供状态 7 的新操作(在 + 输入上移动。)这反过来又为您的表提供了一个全新的状态。

To understand how to adjust the parsing table, you need to know what the LR item sets are for each state, and understand how your addition to the grammar changes the item sets -- each new partial parse item in a state's item set gives you an additional action for the parsing table.
For example, in state 7, your original item set (prior to adding the F -> + F rule) was:

T -> T * . F
F -> . ( E )
F -> . id

(I'm ignoring the lookahead in this case as it doesn't matter, but for general LR(k) you need to keep track of it.)

So your new rule adds the item F -> . + F, which gives you a new action for state 7 (shift on an input of +.) This in turn gives you an entirely new state for your table.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文