为何ANTLR未上报指定文法存在的语法歧义问题？

ANTLR默认不会上报你提到的这类歧义，主要有三个核心原因：

• ANTLR默认不执行全局歧义检测
  全局文法歧义检测属于NP完全问题，计算成本极高，作为工业级实用parser生成工具，ANTLR的编译阶段仅会检测同一规则内备选分支的局部预测冲突，不会主动遍历所有可能的跨规则推导路径来排查歧义。你提到的simpleExpr和ltlExpr规则的重叠属于跨规则的全路径推导歧义，不属于默认检测范围。
• 歧义场景未触发局部预测冲突判定
  你观察到的重叠规则是两个独立的平行规则，没有被放到同一个上层规则的不同备选分支中，ANTLR在LL(*)预测阶段不会将两个独立规则的推导路径视为同一选择分支下的冲突项，因此不会触发编译期的冲突警告。只有当同一个规则的多个备选分支在相同token前缀下无法确定选择路径时，才会输出警告。
• 默认未开启运行时歧义上报参数
  ANTLR提供了歧义检测能力，但需要手动在命令行加参数开启：编译文法时添加-report-ambiguities参数，解析输入时才会上报运行时遇到的歧义场景。默认生成的分析器遇到歧义时会直接选择第一个匹配的推导路径，不会输出任何提示。

内容的提问来源于stack exchange，提问作者Ivan Perez