操作的意味論とは？ わかりやすく解説

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

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

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

※この「操作的意味論」の解説は、「形式手法」の解説の一部です。
「操作的意味論」を含む「形式手法」の記事については、「形式手法」の概要を参照ください。