Obsah:
Definice - Co znamená denotační sémantika?
V informatice je denotační sémantika přístupem poskytujícím matematický význam systémům a programovacím jazykům. Jinými slovy, denotační sémantika je formální technika vyjádření sémantické definice programovacího jazyka.
Metodika, která byla vyvinuta v 60. letech 20. století na Oxfordské univerzitě Christopher Stracheyovou programovací výzkumnou skupinou, zahrnuje notační eleganci a matematickou přísnost. Ačkoli původně navržený jako analytický nástroj, denotační sémantika byla použita jako nástroj pro implementaci a návrh jazyka.
Techopedia vysvětluje denotační sémantiku
V denotační sémantice je základní myšlenkou mapování každé syntaktické entity spojené s programovacím jazykem do nějaké formy matematické entity a překlady konstruktů programovacího jazyka do matematických objektů.
Denotační sémantická definice má pět částí:
- Sémantické rovnice
- Syntaktické kategorie
- Sémantické funkce
- Backus normální forma (BNF) definující strukturu syntaktických kategorií
- Hodnotové domény
Denotační sémantika byla vyvinuta pro moderní jazyky, které mají vlastnosti, jako jsou výjimky a souběžnost. Jedním z důležitých rysů denotační sémantiky je to, že sémantika by měla být kompoziční, což znamená, že denotace programovací fráze může být konstruována z denotací jejích podfrází.
S denotační sémantikou jsou spojeny některé zřetelné výhody. Je to nejjednodušší mechanismus pro popis významu menších programů ve srovnání s jinými alternativami. Denotační sémantika je schopna vysvětlit stav v programech. Denotační sémantika však bývá velmi složitá pro popis pokročilých funkcí, jako jsou goto příkazy a rekurze.
