04/05/04 15:04
【表示的意味論】 URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)
表示的意味論ではプログラムに対して、既定義の数学オブジェクトを対応付ける
(プログラムオブジェクトから数学オブジェクトへの変換を定義する) 事により意味を定義する。
具体的にはここのプログラムオブジェクトに対して意味関数を対応付ける。
┌───┐
│ プログラム. │
└──┬─┘
│
│ 意味関数
│
↓
┌───┐
│数学的な表示│
└───┘
具体的には構文要素に対応付けられる意味関数の集合として定義する。
Ｍ ： Ｔ → Ｄ
Ｔは構文要素であり、Ｄは表示の集合であり、意味ドメインと呼ばれる。