首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >在树型语法中,操作符优先级/结合性冲突是否有可能导致运行时解析失败?

在树型语法中,操作符优先级/结合性冲突是否有可能导致运行时解析失败?
EN

Stack Overflow用户
提问于 2021-04-03 14:56:51
回答 1查看 264关注 0票数 0

考虑像子集(⊂)这样的infix运算符。子集运算符不是关联的,因为它的结果(布尔值)本身不是一个集合,因此不能输入子集运算符的一个或另一侧。考虑:

代码语言:javascript
运行
复制
S ⊂ T ⊂ M

理想情况下,这将是一个解析失败,但树保姆似乎不允许基于操作符冲突的解析失败;相反,它要求您在解析器生成时通过指定关联性或优先级来明确地解决冲突。有没有办法向树保姆指出这应该是一个解析冲突?不仅适用于同类型的非结合算子,也适用于具有等价优先级且非结合的不同算子之间,例如:

代码语言:javascript
运行
复制
S ⊂ T ⊆ M

或者是唯一的解决方案来指定一个明确的解析,然后在语义级别处理这个问题?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2021-04-04 13:50:46

您是正确的,这应该在语义级别进行处理。因此,为了解析目的,⊂应该在语法中被标记为左联想,尽管它不是。对于字符串S ⊂ T ⊂ M,它将被解析为:

代码语言:javascript
运行
复制
(op ⊂
  (op ⊂
    (id S)
    (id T)
  )
  (id M)
)

在语义级别,您可以添加一个规则,检查是否有任何子节点也是 (或任何其他具有相同优先级的操作符),您可以将这些子节点作为关联/优先级冲突错误处理。

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/66932531

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档