問題タブ [left-recursion]

相互左再帰についてさらに別の質問をして申し訳ありません。私の状況は私の状況に固有のもののように感じます。または、少なくとも他の人の文法に関連付けるのに十分なことがわかりません。私はコンプサイエンスの世界に少し慣れていないので（私のターゲット言語である Java と現在は ANTLR4 を独学で学んでいます）、可能であれば、CS の主要な用語ではなく、一般的な用語で物事を説明してください。

私は代数とシンボリック導関数を必要とするプログラムを書いています。もちろん、それには解析とツリーの操作が必要ですが、ANTLR4 は直接左再帰をサポートしていると思っていたので、まだ心配するつもりはありませんが、どうやらそれはどういうわけかではありません。出力では、私のメソッド[式]が相互に再帰的に残されていることを教え続けており、明らかにそれは許可されていません...? 私の質問:

1)誰かが左再帰/相互左再帰と直接左再帰の違いを説明できますか?

2) 私の文法でこの再帰的な煩わしさを引き起こしている原因と、それを修正する方法を説明してください。そして、これが話題になっているかどうかはわかりません：

3) 代替案や代替案のラベリング (#label 表記のことだと思います) について人々は言います。それは何のためにあるのです？

これは NuSMV 言語の文法の一部です。

残念ながら、XText は、この文法に左再帰があることを示す例外をスローしています。どうすれば修正できますか？

ありがとう。

次の部分が含まれているSQL選択ステートメントにAntlr4を使用してパーサーを作成しようとしています

このルールにより、次の結果セットが許可されると思います。

しかし、グラフでは、解析できないことを示しています

私が期待したように解析できない理由を誰かが理解していますか?

ドラゴンブックで述べられているように、トップダウンパーサーが左再帰を処理できない理由と、これにより左再帰を排除する必要があることを知りたかった..

Antlr3を使用してネストされたリストを解析するための次の文法があります

何が原因なのか、またはエラーを削除する方法がわかりません。

'/ListParseTest/src/ListParse.g:17:13: [fatal] ルール list_element には、alts 1、2 から到達可能な再帰ルール呼び出しのため、非 LL(*) 決定があります。左因数分解するか、構文述語を使用するか、backtrack=true オプションを使用して解決します。|---> list_element: '

listと の間の再帰的な関係と関係があることは認識していますがlist_element、tree_問題を解決できません。

誰でも助けることができますか？

これは、再帰的に残されていない私が持っている文法です。LL(1)にしなければなりません。どうすればこれを行うことができますか？

I know the Y is left recursive but why is the Z not left recursive?

For Y i got

Then factoring

Where 'e' is empty

質問するのはとても恥ずかしいです... intからboolへ、またはその逆に型キャストする言語の文法を書きました。

しかし、antlr は、「次の一連のルールは相互に左再帰的です [logic_expr、expr、math_expr]」と教えてくれます。