使用 JFlex 和 CUP 構建形式化需求規范語言的編譯器

Question

我計划為需求規范語言構建編譯器。 我想出了使用 JFlex 作為詞法分析器和 CUP 作為解析器的想法。

任何人都可以讓我知道可以使用 JFlex 和 CUP 作為正式規范語言嗎？ 所有文檔和教程僅與編程語言相關。

任何可用於構建形式語言編譯器的教程。

Answer 1

詞法分析器和解析器生成器不關心您的語言是否是“常規計算機語言”，只關心您的語言具有它們可以處理的語法規范。

通常你得到這樣一個語法規范的方法是為你的正式系統采用一個給定的規范，並根據你選擇的解析器生成器的約束來改變它。 這種彎曲過程充其量是不方便的，最壞的情況是非常困難，這取決於解析器生成器的能力與您的正式語言規范所說的內容之間的差距。

我建議你檢查你的“需求規范語言”形式語法，並根據它決定你想使用哪個解析器生成器，以盡量減少你必須做的彎曲量。