目次:
定義-Denotational Semanticsはどういう意味ですか？
コンピュータサイエンスでは、表示的意味論は、システムおよびプログラミング言語に数学的な意味を提供するためのアプローチです。 言い換えると、表示的意味論は、プログラミング言語の意味論的定義を表現するための正式な手法です。
1960年代にChristopher Stracheyのプログラミング研究グループによってオックスフォード大学で開発されたこの方法論は、表記上の優雅さと数学的厳密さで構成されています。 当初は分析ツールとして設計されていましたが、表示的意味論は実装および言語設計のツールとして使用されてきました。
Techopediaが表示的意味論を説明する
表示的セマンティクスでは、基本的な考え方は、プログラミング言語に関連付けられたすべての構文エンティティを何らかの形の数学エンティティにマッピングし、プログラミング言語の構造を数学オブジェクトに変換することです。
表記のセマンティック定義には5つの部分があります。
- 意味方程式
- 構文カテゴリ
- セマンティック関数
- 構文カテゴリの構造を定義するバッカス正規形（BNF）
- 価値ドメイン
表記法のセマンティクスは、例外や並行性などの機能を備えた現代言語向けに開発されました。 表示的意味論の重要な特徴の1つは、意味論が構成的であることです。つまり、プログラミング句の表現はそのサブフレーズの表現から構築できるということです。
表示のセマンティクスに関連するいくつかの明確な利点があります。 これは、他の選択肢に比べて小さなプログラムの意味を説明する最も簡単なメカニズムです。 表示的意味論は、プログラムの状態を説明することができます。 ただし、gotoステートメントや再帰などの高度な機能を記述するために、表示的なセマンティクスは非常に複雑になる傾向があります。
