04/05/04 15:12
【操作的意味論】URLﾘﾝｸ(kaiunix.cs.shinshu-u.ac.jp)
プログラムの実行結果を判定できるような仕組みを与える事で意味を定義する。
すなわちプログラムを解釈実行できるようなオートマトン(自動機械)を定義する事にな る。
しかしながら何らかの意味では、実行すると言う事で、実装等の関わりが強くな りすぎるという欠点を持つ。
┌───┐ ┌───┐
│ プログラム. │ │ 入力 │
└──┬─┘ └──┬─┘
└────┬────┘
│操作的仕様に基づく解釈実行
↓
┌───┐
│ 実行結果 │
└───┘