grammar 相关问题

形式语法是一组生成规则，描述如何形成有效语法的字符串。形式语法最常用于指定编程语言的语法。

解决减少-减少冲突

以下是我写的语法部分，在这里，您可以看到如果找到令牌 PUBLIC_KEYWORD 将会减少/减少冲突，因为它有两个规则（ constant_modifie ...

parsing compiler-construction grammar bison flex-lexer

回答 0 投票 0

为什么 int *func(…..) 之间有区别？和 int (*func)(….)？跟运算符*有关系吗？

众所周知，int *func(…..);和 int (*func)(….);。前者定义了一个函数，而后者定义了一个指向函数的指针。但我想知道为什么有一个

c grammar

回答 1 投票 0

. That's a shift-reduce conflict. Of course, it can easily be resolved by looking one more token into the future, but the need to see two tokens into the future is what makes the grammar LR(2). Fortunately, LR(k) grammars can always be reduced to LR(1) grammars. (This is not true of LL(k) grammars, by the way.) It just gets a bit messy because it is necessary to introduce a bit of redundancy. We do that by avoiding the need to reduce until we know that we have a parameter list, which means that we need to accept without committing to one or the other parse. That leads to the following, where an apparently redundant rule was added to and was modified to accept either 0 or at least two parameters: Now, I personally would stop there. There are lots of LR parser generators out there, and the above grammar is LALR(1) and still reasonably easy to read. But it is possible to convert it to an LL(1) grammar, with quite a bit of work. (I used a grammar transformation tool to do some of these transformations.)

parsing grammar language-design higher-order-functions

回答 1 投票 0

"真UΦ "是有效的计算树逻辑公式吗？

我正在上一门计算机辅助验证的课程，我们在讲完线性时序逻辑后，刚开始讲计算树逻辑。我讲课时说过◇Φ≡"真UΦ "有效......。

model logic grammar verification ctl

回答 1 投票 0

ANTLR4将数字与字母分开的空白问题。

我有一个语法，它应该区分ID、INT和IP地址。我的语法有更多的模式可以识别，但我正在努力处理的是像 "123abc "这样的标记。通常情况下，一个语法...

antlr4 grammar

回答 1 投票 0

基于范围的for循环的自定义容器遍历。

在cpp中，一些stl容器，如向量、地图、字符串等，可以通过带冒号的for循环来遍历。例如：for(auto c:v) 当我写一个costom容器时，我可以让它像这样遍历吗？

c++ grammar traversal

回答 1 投票 0

重复语法解析 S ->( E ';' )+。

我知道如何解析这样的语法。E -> E '*' E E -> E '+' E E -> N N -> '0' N -> '1' 但是如果我有下面的语法例子（有一个 "regex重述"）。E -> 'e' S ...

parsing grammar parser-generator lr

回答 1 投票 0

否定其他有效匹配的X文本规则

我对Xtext相当陌生，所以我可能问错了问题，或者使用了错误的术语。请在回复中牢记这一点。我正试图实现JBehave EBNF Spec ...

grammar xtext

回答 1 投票 0

如果不能用LR(1)解析器解析c++，gccclang如何解析？

GCCClang是手写的解析器。我看过一个帖子，说C++不能用LR(1)解析器解析（为什么C++不能用LR(1)解析器解析？如果是这样，怎么GCCClang都是手写的 ...

c++ parsing grammar recursive-descent lr

回答 1 投票 0

|) logic statements

我是一个写语法的新手（准确的说是第一次），我想创建一个可以返回基本逻辑语句AST的语法。到目前为止，我已经有了一个可以处理AND、OR...的语法。

javascript parsing grammar abstract-syntax-tree pegjs

回答 1 投票 1

属性错误：'tuple'对象没有属性'asjson'。

当我想测试我的EBNF语法时，我遇到了错误。AttributeError: 'tuple' object has no attribute 'asjson' Code : if not filename or filename == '-': text = sys.stdin.read() else: ...

python-3.x grammar generated tatsu

回答 1 投票 0

用antlr4处理平面文件

我需要处理一个平面文本文件，我试图用antlr4生成一个解析器。文件的格式如下。文件可以包含多条记录每行为一条记录每条记录...

antlr4 grammar

回答 1 投票 1

在Prolog中并列一个字符串列表

我正在写一个Lisp到C的翻译器，我有一个处理字符串的问题。这是一段将单利斯普函数转换为C语言等价函数的代码： define(F) --> fun_unary(F),!fun_unary(F) ...

prolog artificial-intelligence translation grammar dcg

回答 4 投票 6

LL解析器和AST的区别

我目前正在尝试创建一个LL解析器。然而，我已经有了BNF语法，但我必须在AST之前创建，我有几个问题。AST和LL解析器的区别是什么？