操作的意味論

ウィキペディア

操作的意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 09:25 UTC 版)

操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。

ウィキペディア小見出し辞書

操作的意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)

「形式手法」の記事における「操作的意味論」の解説

操作的意味論では、より単純な計算モデルの一連の動作によってシステムの意味を表現する。この場合、モデルの単純性が表現を明確にする。しかし、これは意味論的な判断の先延ばしとも言われている（つまり、使用された単純な計算モデルの意味論の定義はどうなるのか？）。