转移减少冲突

Question

在我的语法之下。

1. S' - ＆gt;平方英尺
2. sqf - ＆gt;声明
3. 声明 - ＆gt;声明
4. 声明 - ＆gt;声明声明
5. 声明 - ＆gt;关系
6. 声明 - ＆gt; norelation
7. relation - ＆gt;头部身体
8. norelation - ＆gt; relatts
9. norelation - ＆gt; reldata
10. norelation - ＆gt;关系reldata
11. head - ＆gt; relname属性
12. body - ＆gt; reldata
13. body - ＆gt;空
14. relname - ＆gt; RELKW IDENTIFIER
15. 属性 - ＆gt; relatts
16. 属性 - ＆gt;空
17. 相关信息 - ＆gt; attname
18. 相关信息 - ＆gt; attname relatts
19. reldata - ＆gt; DATAKW元组
20. reldata - ＆gt; DATAKW
21. 元组 - ＆gt;元组
22. 元组 - ＆gt;元组元组
23. attname - ＆gt; ATTKW IDENTIFIER
24. 元组 - ＆gt; VALUE
25. 空 - ＆gt;

问题是语法含糊不清，因为有些规则存在转移/减少冲突。特别是

根据DATAKW的以下规则，我们有转移/减少冲突

• relation - ＆gt;头部身体
• body - ＆gt; reldata
• body - ＆gt;空
• reldata - ＆gt; DATAKW元组
• reldata - ＆gt; DATAKW
• * empty - ＆gt; *

根据DATAKW的以下规则，我们有转移/减少冲突

• norelation - ＆gt; relatts
• norelation - ＆gt;关系reldata
• reldata - ＆gt; DATAKW元组
• reldata - ＆gt; DATAKW

根据ATTKW的以下规则，我们有转移/减少冲突

• head - ＆gt; relname属性
• 属性 - ＆gt; relatts
• 属性 - ＆gt;空
• 相关信息 - ＆gt; attname
• 相关信息 - ＆gt; attname relatts
• * empty - ＆gt; *
• attname - ＆gt; ATTKW IDENTIFIER

根据ATTKW的以下规则，我们有转移/减少冲突

• 相关信息 - ＆gt; attname
• 相关信息 - ＆gt; attname relatts
• 相关信息 - ＆gt; attname
• 相关信息 - ＆gt; attname relatts
• attname - ＆gt; ATTKW IDENTIFIER

请有人帮我解决这些冲突。

Answer 1

问题在于语法无法确定一个declaration结束而下一个结束的位置。

此常见问题的一个简单实例：norelation可以只是relatts，可以是attname的列表。因此，如果您有两个连续的norelation，则可能是两个attname s序列。如何区分两个连续序列和一个较长的序列？还是三个较短的？等

同一问题还有很多其他情况。

除非您错误地转录了语言，否则这是语言设计的问题，而分号是常见的解决方案。