Любая рабочая грамматика L (AL) R для Java

Question

Я отчаянно ищу Java-грамматику, которая может гарантировать, что это LR (1). Мне все равно, какая версия Java; Я должен иметь возможность изменить его до версии, которую я хочу.

Я читаю последнюю главу спецификации языка Java ™, второе издание. И черт, грамматика в этой главе, кажется, вовсе не LR (1). У меня такое чувство, что грамматика является циклической или несколько странной, так как я продолжаю получать конфликты с уменьшением сдвига, когда пытаюсь создать таблицу синтаксиса из грамматики.

Может ли кто-нибудь дать некоторые предложения по этому поводу?

Примечание: Отредактировано название для L (AL) R, так как я согласен принимать грамматику LALR для Java.

Answer 1

В главе 19 Спецификации языка Java, версия 1.0 есть грамматика LALR (1) для Java. Этот документ можно найти во многих местах, выполнив поиск в Интернете по адресу «Спецификация java language 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 не являются контекстными, поскольку проверка правильности и последовательности использования переменной в определенной области, как известно, не является контекстно-свободным». Например, прямые ссылки (например, методы) не могут быть разрешены за один проход с КПК.

_{По крайней мере, они были живыми, когда я отправил этот ответ.}