Yacc冲突我无法修复
Yacc冲突是指在使用Yacc（Yet Another Compiler Compiler）工具生成语法分析器时遇到的冲突问题。Yacc是一种用于生成语法分析器的工具，它根据用户提供的文法规则生成对应的解析器代码。
冲突通常分为两种类型：移进-归约冲突（shift-reduce conflict）和归约-归约冲突（reduce-reduce conflict）。
移进-归约冲突发生在解析器需要决定是将当前输入符号移进到栈中还是进行归约操作时。这种冲突通常是由于文法规则的二义性或模糊性引起的。
归约-归约冲突发生在解析器需要决定使用哪个归约规则进行归约操作时。这种冲突通常是由于文法规则之间存在重叠或冲突引起的。
解决Yacc冲突问题的方法包括：
- 优化文法规则：通过调整文法规则，消除二义性或模糊性，从而减少冲突的发生。
- 明确优先级和结合性：通过在文法规则中指定操作符的优先级和结合性，帮助解析器正确地进行移进和归约操作。
- 使用语义动作：在冲突发生时，通过添加语义动作来明确解析器的行为，从而解决冲突。
- 手动修改解析器代码：在某些情况下，需要手动修改由Yacc生成的解析器代码，以解决冲突问题。
Yacc冲突的修复需要根据具体的冲突类型和文法规则进行分析和调整。在实际开发中，可以通过调试和测试来验证解析器的行为，并根据需要进行调整和优化。
腾讯云提供了一系列与云计算相关的产品和服务，包括云服务器、云数据库、云存储、人工智能等。具体推荐的产品和产品介绍链接地址可以根据具体的应用场景和需求进行选择。
相关·内容
2回答
如何比较yacc中具有不同关联性的标记的优先级？
yacc、operator-precedence
%left TOKEN1
%left TOKEN2
%right TOKEN3
在上面的示例中，TOKEN2的优先级高于TOKEN1，但是TOKEN3又如何呢
是否保证TOKEN3比TOKEN2具有更高的优先级？
浏览 0提问于2011-08-01得票数 0
1回答
Yacc分析生成器错误
yacc、lex、context-free-grammar
我确信我有相互冲突的YACC规则(特别是exp exp和group_open exp group_close规则)。我正在尝试构建一个简单的布尔查询语法，它允许人们执行类似“be”-(d或e)之类的操作，这将在很大程度上等同于a和“be”，而不是(d或e)。
然而，我在实现组规则()和和规则(基本上只是空格)时遇到了困难。
%lex
%%
\s+ ;
or|OR return 'or';
and|AND return 'and';
\"[^\"]+\" return 'phrase&
浏览 0提问于2014-06-13得票数 0
回答已采纳
1回答
使用上下文无关文法
parsing、boolean、context-free-grammar
我正在尝试为一个个人项目编写一个简单的解析器。作为开始练习，我正在尝试编写计算简单布尔语句的代码。例如，如果我给解析器提供以下字符串：
true AND (true OR false)
它应该返回true。
我的理解是，定义上下文无关语法是编写解析器的第一步。定义适合我的简单布尔语句的上下文无关文法很容易：
S => S OR S
S => S AND S
S => (S)
S => true
S => false
然而，我不明白下一步。如何使用此语法开始计算语句？我是不是完全走错了路？
浏览 0提问于2016-01-19得票数 0
1回答
语法中的SR冲突-如何解决？(Lemon/yacc)
parsing、bison、yacc、lalr、lemon
我在Lemon中组合了一个语法(类似于YACC)，但它产生了S/R冲突。我不习惯LALR解析，不知道问题是什么，也不知道如何解决它。语法是：
%right EQUALS.
%right RIGHT_ASSIGN LEFT_ASSIGN MOD_ASSIGN DIV_ASSIGN MUL_ASSIGN.
%right QUESTION COLON.
%left EQ_OP.
%left NE_OP LE_OP GE_OP LCARET RCARET.
%left PLUS MINUS.
%left STAR PERCENT FSLASH.
%right UNA.
%left DOT PT
浏览 3提问于2020-01-04得票数 1
6回答
哪些编程语言是上下文无关的？
compiler-theory、context-free-grammar
或者，更准确地说:哪些编程语言是由上下文无关文法定义的？
据我所知，由于宏和模板之类的东西，C++并不是上下文无关的。我的直觉告诉我，函数式语言可能是上下文无关的，但我没有任何确凿的数据来支持这一点。
简要示例的额外代表:-)
浏览 94提问于2009-05-22得票数 78
回答已采纳
2回答
数字的识别属于扫描仪还是解析器？
parsing、lexical-analysis
当您查看一种语言的EBNF描述时，您通常会看到整数和实数的定义：
integer ::= digit digit* // Accepts numbers with a 0 prefix
real ::= integer "." integer (('e'|'E') integer)?
(定义是即时做出的，我可能在其中犯了一个错误)。
尽管数字出现在上下文无关文法中，但数字通常在词法分析阶段被识别。是否将它们包含在语言定义中以使其更加完整，并由实现者意识到它们实际上应该在扫描器中？
浏览 3提问于2011-08-19得票数 5
2回答
在LALR解析器中，如何从语法生成中提取操作符以解决冲突？
parsing、operators
在LALR解析器中，是否有一些标准的或被广泛接受的在移位/减少冲突中拾取操作符的算法？问题是幼稚的，我的问题不是执行我的解决方案，而是实施解决方案已经被广泛使用。
对于shift，操作符是下一个输入令牌，为了减少，它取决于--我认为所有已经读取的符号(对于给定的生产)都声明为操作符：
如果有--是接线员
如果有不止一个--我报告语法错误
如果没有，则使用输入令牌作为运算符。
例如：
E ::= E + E
E ::= E * E
E ::= num
如果
E + E | * num
考虑到第一次生产，我读了+，因为它是唯一一个读的操作符，所以我选择这个来减少操作符。*是输入的第一个令牌，因此它
浏览 0提问于2012-12-31得票数 0
回答已采纳
1回答
如何使用Lua5.1 lemon语法？
c++、parsing、lua、lemon
我找到了Lemon 的Lua5.1语法(页末的清单1)：
%fallback OPEN '(' .
chunk ::= block .
semi ::= ';' .
semi ::= .
block ::= scope statlist .
block ::= scope statlist laststat semi .
ublock ::= block 'until' exp .
scope ::= .
scope ::= scope statlist
浏览 2提问于2018-05-21得票数 0
1回答
GPPG-语法-永远不会使用的规则
c#、grammar、gppg
我的一些语法规则有问题。
语法如下：
defLINES : carrRet
| defLine carrRet
| defLines defLine carrRet
;
defLine : error carrRet {yyerrok();}
| "DEF" kwType attrbt ID
| "DEF" kwType ID fieldSuff
;
kwType : "INT
浏览 0提问于2016-04-07得票数 1
1回答
优先级/结合性嵌入
parsing、lr、language-implementation
我目前正在实现一个LR(k)解析器解释器，只是为了好玩。
我正在努力实现优先级和联想性。
当涉及到如何分配‘动作’部分的结合性和优先级时，我有点卡住了，也就是说，对于约简来说，优先级和结合性应该是什么。
如果我们有一个生产
E ->
| E + E { action1 }
| E * E { action2 }
| (E) { action3 }
| ID { action4 }
应该明确地指出，action1应该具有与+相同的结合性和优先级，而action2应该具有与*相同的结合性和优先级。但一般说来，我们不能仅仅假设生产中的规则只有一个具有优先权的符号。
浏览 6提问于2021-01-12得票数 0
回答已采纳
1回答
为什么%prec在这种野牛语法中没有作用？
parsing、compiler-construction、bison
考虑以下Bison语法(这是从我正在研究的更大的语法中剥离出来的)：
%token ident
%left '+'
%left CALLPREC
%%
start: add ';' ;
expr: ident | call | add ;
call: expr '(' ')' %prec CALLPREC ;
add: expr '+' expr ;
显然，在没有优先级的情况下，解析像foo + bar()这样的表达式时会出现s/r冲突。我试图理解为什么%prec声明不能解决这种冲突。我使用的是Bison 3
浏览 1提问于2014-10-03得票数 3
回答已采纳
3回答
为什么在某些情况下不能使用令牌作为优先标记
parsing、bison、yacc、operator-precedence
假设下面的代码可以工作：
left '*'
left '+'
expr: expr '+' expr
| expr '*' expr
;
我想定义另一个优先级标记，如下所示：
left MULTIPLY
left PLUS
expr: expr '+' expr %prec PLUS
| expr '*' expr %prec MULTIPLY
;
然而，这实际上并不有效。
我认为这两种形式应该是等价的，然而，它们不是。
这不是一个实际的问题。我只想知道这个现象的
浏览 1提问于2012-06-11得票数 1
回答已采纳
5回答
手工编写解析器
c#、compiler-construction、parsing、lexer
对于所有的编译器专家，我想写一个递归下降解析器，并且我只想用代码来完成。不要从其他语法生成词法分析器和解析器，也不要告诉我要读龙书，我最终会明白这一点的。
我想详细介绍如何为合理简单的语言实现词法分析器和解析器，比如CSS。我想把这件事做好。
这可能会是一系列的问题，但现在我将从一个词法分析器开始。CSS的标记化规则可以在中找到。
我发现我自己编写的代码是这样的(希望你可以从这段代码中推断出剩下的代码)：
public CssToken ReadNext()
{
int val;
while ((val = _reader.Read()) != -1)
{
浏览 2提问于2010-04-14得票数 26
回答已采纳
2回答
YACC中的移除误差
yacc
我和莱克斯和雅克一起工作。下面是lex和yacc计算器的程序。同时执行yacc文件。请帮我解决这个问题。我收到以下错误：
这是一个错误：
conflicts: 20 shift/reduce
//YACC方案
%{
#include<stdio.h>
#include<math.h>
extern void printsymbol();
struct symboltable
{
char name[20];
double value;
}ST[20];
%}
%union
{
double p;
}
%token <p> NUM
%token &
浏览 3提问于2014-10-03得票数 0
回答已采纳
2回答
修复Lemon解析冲突
parsing、context-free-grammar、lemon
我正在编写一个使用Flex和Lemon解析约束的小解析器。Lemon报告了几个我无法摆脱的解析冲突。在上下文无关的语法中，有什么特殊的技巧可以消除解析冲突吗？
语法如下所示。
// Reprint of input file "Constraint_grammar.y".
// Symbols:
// 0 $ 5 NE 10 PLUS 15 NOT 20 error
// 1 IFF 6 GT 11 MINUS 16 LPAREN 21 constraint
浏览 7提问于2011-01-04得票数 2
回答已采纳
3回答
面向Java的Earley解析器生成器
java、parsing、earley-parser
我正在寻找一个生成器，它能够生成Java输出代码，即为词法分析器和解析器生成Java代码，并允许包括为语法规则执行的操作(实现为Java代码)。
我查看了两个生成Java代码的Earley解析器生成器(和)，但它们似乎都不允许将操作嵌入到语法中。
浏览 2提问于2008-12-03得票数 1
2回答
解决轮班/减少冲突
parsing、yacc、bnf、ebnf、shift-reduce-conflict
我使用解析语法。我为在链接规范中使用的EBNF实现了一个元语法，但是PLY报告了多个shift/reduce冲突。
语法：
Rule 0 S' -> grammar
Rule 1 grammar -> prod_list
Rule 2 grammar -> empty
Rule 3 prod_list -> prod
Rule 4 prod_list -> prod prod_list
Rule 5 prod -> id : : = rule_list
Rule 6 rule_list ->
浏览 1提问于2017-03-31得票数 0
回答已采纳
1回答
OCaml + Menhir:如何像元组模式一样解析OCaml？
ocaml、menhir
我是门希尔的新手。我想知道如何在我自己的语言中像元组模式一样解析OCaml，它非常类似于OCaml。
例如，在表达式let a,b,c = ...中，a, b, c应该被解析为Tuple (Var "a", Var "b", Var "c")。
但是，在解析器的定义中，上面的示例被解析为Tuple (Tuple (Var "a", Var "b"), Var "c")。我想知道如何修正下面的定义来解析像ocaml这样的模式。
我已经检查了OCaml的parser.mly，但我不知道如何实现它。我想我
浏览 1提问于2015-10-28得票数 5
回答已采纳
1回答
Bison shift/reduce冲突
bison、shift-reduce-conflict
我尝试在Bison输入文件上描述这个语法：
这是我的输入：
%start Program
%token KW_CLASS KW_EXTENDS KW_PUBLIC KW_STATIC KW_BOOLEAN KW_STRING KW_FLOAT KW_INT EOF
%token KW_IF KW_WHILE KW_BREAK KW_CONTINUE KW_SWITCH KW_CASE KW_DEFAULT KW_RETURN
%token KW_NEW KW_THIS KW_NULL KW_TRUE KW_FALSE KW_PRINTLN
%token IDENT INT_LITERAL FL
浏览 2提问于2016-05-17得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
