問題タブ [gppg]

あいまいさがないとわかっている文法の shift/reduce 競合を理解するのに問題があります。ケースはif elseタイプの1つですが、コードブロックを区切る必須のEND句があるため、「ぶら下がっているelse」の問題ではありません。

gppg の文法は次のとおりです (これは Bison のようなコンパイラ コンパイラです ... エコーではありません)。

競合の出力は次のとおりです。

私はすでにすべてを切り替えており、それを解決する方法を知っていますが、その解決策には、右再帰のために「elseif」で左再帰を放棄することが含まれます。

この問題に関してインターネットで見つけたすべての希少なドキュメントを調べましたが (最後にいくつかのリンクを投稿します)、まだエレガントな解決策を見つけていません。ANTLR については知っていますが、今は検討したくありません。ソリューションを Yacc/Bison パーサーに制限してください。

/* empty */ ルールを削除し、空のリストを必要とするすべてのものを複製することでなんとかそれを実現できましたが、私が取り組んでいるより大きな文法では、「スパルゲッティ文法症候群」のようになってしまいます。

ここにいくつかのリンクがあります：

http://nitsan.org/~maratb/cs164/bison.html

http://compilers.iecc.com/comparch/article/98-01-079

GPPG、私が使用しているパーサー

バイソンマニュアル

これをほとんどすぐに使用できる方法はありますか?

収集したトークンを使用して、どのリーフをどのブランチに配置する必要があるかを判断し、最終的に TreeNode オブジェクトを生成する大きなメソッドを作成することもできましたが、gppg は提供された正規表現を使用してすべてを処理していたため、もっと簡単な方法はありますか？そうでない場合でも、AST を作成する問題にどのようにアプローチするのが最善かについての指針をいただければ幸いです。

ばかげたことを言って申し訳ありませんが、私はコンパイラ ゲームを始めたばかりです。:)

EBNF式をモデル化しようとしています

これを表すように見えるyacc（MPPGを使用しています）文法を作成しましたが、テスト式と一致しません。

私が一致させようとしているテストケースは

レクサーからのトークンストリームは

文法解析では、「Shift / Reduce競合、KW_Declareの状態6」があると示されています。「％leftPrologHeaderList PrologBodyList」でこれを解決しようとしましたが、どちらの解決策も機能しません。

KW_Declare KW_Namespace KW_Variable Separatorはすべて、値が「declare」、「naemsapce」、「variable」、「;」のトークンです。

YACC（または私の場合はMPPG）に抽象構文木（AST）を出力させることは可能ですか？

私が読んでいるすべてのことは、YACCにこれを実行させるのは簡単であることを示唆していますが、ツリー内のノードを構築するときに、いつノードを上に移動するかを知る方法を見つけるのに苦労しています。

プログラミング言語のパーサーを生成するために GPPG (基本的に C# の bison) を使用しています。本当に厄介な部分を除いて、すべてが順調に進んでいます。私たちが解析している言語には、一種の「暗黙の比較」規則があり、「式式」は「式 == 式」として解釈されます。

たとえば、これは完全に有効なステートメントです。

これにより、パーサーの生成中にあらゆる種類の競合が明らかに発生します。それらを解決するための私の最初の試みは、これらの線に沿ったものでした（簡潔にするために編集しました）。ルールのリファクタリングを試みたところ、もはやあいまいではないように見えますが、明らかな何かが欠けているに違いありません。

これは、私が抱えている競合を示す非常に小さな文法であり、それを解決しようとした方法はうまくいきません

どんな助けでも大歓迎です

C# で作業していたとき、gppgおよびgplexパーサー/レクサー ジェネレーターが私のニーズに最適であることがわかりました。D プログラミング言語 (つまり、BNF または EBNF の文法が与えられた場合、その言語を抽象構文木に解読/解析する D コードを出力するユーティリティ) に似たものがあるかどうか疑問に思っています。

私が見つけた最も近いのはGoldieですが、それを理解するのに非常に苦労しているため、何も起動して実行することができません。

優れた C# パーサー ジェネレーターの投稿を調べた後、GPLEX と GPPG に出くわしました。GPLEX を使用して、GPPG がツリーを解析および作成するためのトークンを生成したいと考えています (lex/yacc の関係に似ています)。ただし、これら2つがどのように相互作用するかについての例を見つけることができないようです. lex/yacc を使用すると、lex は yacc によって定義されたトークンを返し、値を yylval に格納できます。これは GPLEX/GPPG でどのように行われますか (ドキュメントにはありません)。

添付されているのは、GPLEX に変換したい lex コードです。

ありがとう！アンドリュー

文法のルールのいくつかに問題があります。

文法は次のようなものです。

チェックする入力を使用して：

この入力には、「defLine」というヘッドを持つプロダクションの 2 番目のルールを使用する必要があります。

なぜそうしないのですか？3 番目のルールが常に使用され、エラーがスローされます

助けてくれてありがとう、アレックス