JFlexとCUPを使用した正式な要件仕様言語用のコンパイラ構築

Question

要件仕様言語のコンパイラを構築する予定です。私は、字句解析ツールとしてJFlexを使用し、パーサとしてCUPを使用してアイデアを考え出しました。

正式な仕様言語としてJFlexとCUPを使用することは可能ですか？すべてのドキュメンテーションとチュートリアルはプログラミング言語にのみ関連しています。

公式言語コンパイラを構築するためのチュートリアルがあります。

Answer 1

レクサーとパーサのジェネレータは、あなたの言語が「従来のコンピュータ言語」であるかどうかは気にしませんが、あなたの言語は扱える文法仕様しか持っていません。

あなたはこのような文法仕様を得る方法として、あなたの正式なシステムの仕様を与えられた通りに受け取り、選択したパーサジェネレータの制約に従ってそれを曲げます。この曲げ加工はパーサー・ジェネレータの能力とあなたの正式な仕様のギャップとのギャップに応じて、最悪の場合には非常に不便です。

"Requirement Specification Language"形式の文法を調べて、それに基づいてどのパーサージェネレータを使用するかを決めて、実行する必要のある曲がりを最小限に抑えることをお勧めします。