java - 任何适用于 Java 的 L(AL)R 语法

Question

我正在拼命寻找可以保证LR(1)的Java语法。我不在乎 Java 的版本；我应该能够将其修改为我想要的版本。

我正在阅读《Java™ 语言规范，第二版》的最后一章。天啊，那一章的语法似乎根本不是 LR(1) 的。我感觉语法是循环的或者有点奇怪，因为当我尝试从语法生成解析表时，我不断遇到归约移位冲突。

有人可以对此提出一些建议吗？

注意:将标题编辑为 L(AL)R，因为我也可以接受 Java 的 LALR 语法。

Answer 1

Java 语言规范 1.0 版的第 19 章包含 Java 的 LALR(1) 语法。通过在网络上搜索“java 语言规范 1.0”，可以在很多地方找到该文档。本章在 JLS 第二版中消失了，取而代之的是(正如您已经指出的)不是 LR(1) 的语法。以下是 1.0 版本规范的几个工作链接¹:

• http://titanium.cs.berkeley.edu/doc/java-langspec-1.0/
• http://msdn.microsoft.com/en-us/library/aa286478(v=vs.60).aspx

但是，关于这个语法，值得一读this analysis by Trevor Jim ，他指出所提出的语法是不明确的。目前尚不清楚是否有可能在不破坏语法的上下文无关性质的情况下引入消歧规则。他的结论是，Java 是否是上下文无关语言是一个悬而未决的问题(尽管他认为是)。

请注意，以上内容适用于 Java 1.0。我不相信最新的 Java 语言版本是上下文无关的。正如 this thread 中指出的，“C# 和 Java 都不是上下文无关的，因为检查变量是否在特定范围内正确且一致地使用已知不是上下文无关的”。例如，前向引用(例如，方法)无法通过 PDA 一次性解决。

¹_{至少当我发布这个答案时他们还活着。}