私は、表示セマンティクスの概念について少し混乱しています。私が理解しているように、表示セマンティクスは、関数と式が特定のプログラミング言語でどのように機能するかを記述することになっています。これらの機能とその働きを説明するために使用される適切な形式は正確には何ですか? 「ドメイン」とは正確には何ですか?また、マッピング関数をどのように構築しますか?
例として、「do X while Y」のマッピング関数は何でしょうか?
オンラインでたくさんの資料を読んできましたが、理解するのは難しいです。これらの記述は文脈自由文法に似ているでしょうか?
教えてください、ありがとう！