操作的意味論

操作的意味論(Operational semantics)

操作的意味論では、ある式を（仮想的）有限状態機械(1) に対する状態遷移命令とみなす(cf. Stoy, 1977, chap. 2)、あるいは特定のインタプリタの仕様を考え、与えられた式をそのインタプリタが変換して得られる正規形の式(2) をもとの式の値と見なす(cf. 横内, 1994, sec. 4.2)。