blocks|key|3081227|text|一个问题是语法不能确定一个declaration的结尾和下一个开始的位置。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|3081228|这个一般问题的一个简单的例子：norelation可以是一个relatts，它可以是一个attname的列表。所以如果你有两个连续的norelation，那可能是两个attname的序列。你怎么能区分两个连续的序列和一个更长的序列呢？还是三个短一点的？等。|3081229|同样的问题还有很多其他的例子。|3081230|除非你不正确地转录语言，否则这是语言设计的一个问题，分号是一个常见的解决方案。|3081231|entityMap^0|D|B|0|F|A|U|7|18|7|1U|A|2B|7|0|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@$9|O|A|P|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|Q|8|@$9|R|A|S|B|C]|$9|T|A|U|B|C]|$9|V|A|W|B|C]|$9|X|A|Y|B|C]|$9|Z|A|10|B|C]]|D|@]|E|$]]|$1|H|3|I|5|6|7|11|8|@]|D|@]|E|$]]|$1|J|3|K|5|6|7|12|8|@]|D|@]|E|$]]|$1|L|3|-4|5|6|7|13|8|@]|D|@]|E|$]]]|M|$]]

A problem is that the grammar cannot determine where one <code>declaration</code> ends and the next one begins. 

A simple instance of this general problem: <code>norelation</code> can be just a <code>relatts</code> which can be a list of <code>attname</code>s. So if you have two consecutive <code>norelation</code>, that could be two sequences of <code>attname</code>s. How can you distinguish two consecutive sequences from one longer sequence? Or three shorter ones? Etc.

There are many other instances of the same issue.

Unless you've transcribed the language incorrectly, this is a problem of language design, and semicolons are a common solution.

Below the grammar i make. 

<ol>
<li>S' -> sqf</li>
<li>sqf -> declarations</li>
<li>declarations -> declaration</li>
<li>declarations -> declaration declarations</li>
<li>declaration -> relation</li>
<li>declaration -> norelation</li>
<li>relation -> head body</li>
<li>norelation -> relatts</li>
<li>norelation -> reldata</li>
<li>norelation -> relatts reldata</li>
<li>head -> relname attributes</li>
<li>body -> reldata</li>
<li>body -> empty</li>
<li>relname -> RELKW IDENTIFIER</li>
<li>attributes -> relatts</li>
<li>attributes -> empty</li>
<li>relatts -> attname</li>
<li>relatts -> attname relatts</li>
<li>reldata -> DATAKW tuples</li>
<li>reldata -> DATAKW</li>
<li>tuples -> tuple</li>
<li>tuples -> tuple tuples</li>
<li>attname -> ATTKW IDENTIFIER</li>
<li>tuple -> VALUE</li>
<li>empty -> </li>
</ol>

The problem is that the grammar is ambiguous because for some rules there are shift/reduce conflicts. Particularly 

at the rules below for DATAKW we have shift/reduce conflict

<ul>
<li>relation -> head body</li>
<li>body -> reldata</li>
<li>body -> empty</li>
<li>reldata -> DATAKW tuples</li>
<li>reldata -> DATAKW</li>
<li>*empty -> *</li>
</ul>

at the rules below for DATAKW we have shift/reduce conflict

<ul>
<li>norelation -> relatts</li>
<li>norelation -> relatts reldata</li>
<li>reldata -> DATAKW tuples</li>
<li>reldata -> DATAKW</li>
</ul>

at the rules below for ATTKW we have shift/reduce conflict

<ul>
<li>head -> relname attributes</li>
<li>attributes -> relatts</li>
<li>attributes -> empty</li>
<li>relatts -> attname</li>
<li>relatts -> attname relatts</li>
<li>*empty -> *</li>
<li>attname -> ATTKW IDENTIFIER</li>
</ul>

at the rules below for ATTKW we have shift/reduce conflict

<ul>
<li>relatts -> attname</li>
<li>relatts -> attname relatts</li>
<li>relatts -> attname</li>
<li>relatts -> attname relatts</li>
<li>attname -> ATTKW IDENTIFIER</li>
</ul>

Can anyone help me to solve that conflicts, please.

Shift Reduce Conflicts

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

低于我所做的语法。S‘-> sqfsqf ->声明声明->声明声明->声明声明->关系声明->无关关系型->头体无关联->相关无关联->关系数据无关联->相关数据头->重新命名属性车身->数据体->空重新命名-> RELKW标识符属性->关系属性->为空关系->攻击关系->攻击名称关联关系数据-> DATAKW元组关系数据-> DATAKW元组->元组元组->元组-> ATTKW标识符元组->值空

转移减少冲突-腾讯云开发者社区-腾讯云

问转移减少冲突
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问转移减少冲突EN