問題タブ [bnf]

私は現在DSLで多くの作業を行っており、ランタイムライブラリ（純粋なJavaソースパーサー）を必要としない私のbnf仕様のパーサーを生成できるツールを誰かが知っているかどうか疑問に思っていましたか？

私は将来のEclipseプラグインにXTEXTを使用することを約束していますが、ライブラリ自体に素敵な小さなバージョンが必要であり、別のjar依存関係を追加したくありません。

ANTLRはファイルを解析するためにランタイムを必要とするようで、私は無駄にGoogle検索を実行しました。誰か助けてもらえますか？

ありがとう、

クリス

私は甥の C ラボの宿題を手伝っています。それは文字列操作の課題であり、Wang のアルゴリズムを適用しています。

入力の BNF 表現を次に示します。

C でこの種の入力を処理および解析するためのベスト プラクティスは何ですか? を使用せずにこの構造を解析するにはどうすればよいstructですか? 前もって感謝します。

この BNF を使用してスクリプトを解析します。

次のテキストをツリー構造に正しく解析できます

私の質問は、文字列リテラル内のエスケープ シーケンスをどのように処理するかです。

JSON Webサイトでは、非常に明確な表記法を使用してJSONの構文を記述しています。

_{（ソース：json.org）}

そのような表記の名前は何ですか？これはBNFの単なるグラフィック表示ですか、それとも独自の名前がありますか？

myfunc1()、、myfunc2(param1)およびmyfunc3(param1, param2)（パラメーターの量が不明な）などの式を解析できるパーサーを作成しています。今、私は自分の解析式を正しくしようとしています。レモンパーサージェネレーターを使用しています。これが私が思いついたものです：

今のところ、中括弧の内容は気にしないでください。定義では、空のparamsパラメータ（次々にいくつかの区切り文字）が許可されていますが、現時点では問題ありません。しかし、空でないパラメーターを強制するために定義を変更する必要がありますが、それでもすべてのパラメーターはSEPARATORトークンで区切られていますか？

Turbo PascalのBNFまたはEBNFがどこかで利用可能かどうかを知っている人はいますか（LEGALLY !!）？

CSV データのパーサーを生成する必要があります。どういうわけか、CSVデータのBNF、EBNFを書くことができましたが、これをANTLR文法（パーサージェネレーター）に変換する方法がわかりません。たとえば、EBNF では次のように記述します。

しかし、これを ANTLR で記述してパーサーを生成すると、エラーが発生し、括弧が使用されません。私は ANTLR の専門家ではありません。

次のようなファイルを解析する必要があります。

パーサーを最初から作成していますが、追跡できないバグがいくつかあり、将来フォーマットが変更された場合に保守が困難になると思います。代わりに、GOLD解析システムを使用してパーサーを生成することにしました。私の文法は次のようになります。

エラーはなく、2000行のテストファイルを問題なく解析します。ただし、カスタム文法を書くのは初めてなので、正しく書いているかどうかはわかりません。

上記の文法に改善を加えることができますか？

私は Backus Naur Form と同じくらい Pi-Calculus の初心者です。これは Pi Calculus のコア BNF の 1 つです (Peter Sewell による「Applied Pi - A Brief Tutorial」にあります)。

実際、私は円周率計算の学習に集中しています。しかし、BNF の定義における P,Q ::= の意味について疑問に思います。

P ::= は、円周率計算のプロセス P がこれまたはこれまたはこれであることを意味すると理解できます。しかし、何 P,Q ::= の略ですか?

誰かがHL7 2.5の完全なBNFを持っているかどうか疑問に思っていましたか? ゴールド パーサー エンジンを使用してこれをコンパイルしようとしていますが、EBNF またはベンダー固有の BNF から変換できれば幸いです。