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

Question

要件仕様言語のコンパイラを構築する予定です。JFlex を語彙アナライザーとして、CUP をパーサーとして使用するアイデアを思いつきました。

正式な仕様言語として JFlex と CUP を使用できることを教えてください。すべてのドキュメントとチュートリアルは、プログラミング言語のみに関連しています。

正式な言語コンパイラを構築するために利用できる任意のチュートリアル。

Answer 1

レクサーとパーサーのジェネレーターは、言語が「従来のコンピューター言語」であるかどうかは気にせず、言語に処理可能な文法仕様があるかどうかだけを気にします。

このような文法仕様を取得する方法の多くは、与えられた形式システムの仕様を取得し、選択したパーサー ジェネレーターの制約に従ってそれを曲げることです。この曲げプロセスは、パーサー ジェネレーターの機能と正式な言語仕様の内容との間のギャップに応じて、せいぜい不便で、最悪の場合は非常に困難です。

「要求仕様言語」の正式な文法を調べて、それに基づいて使用するパーサー ジェネレーターを決定し、必要な曲げの量を最小限に抑えることをお勧めします。