Sadržaj:
Definicija - Što znači denotacijska semantika?
U računarskim znanostima, denotacijska semantika predstavlja pristup matematičkom značenju sustavima i programskim jezicima. Drugim riječima, denotacijska semantika je formalna tehnika izražavanja semantičke definicije programskog jezika.
Razvijena 1960-ih na Sveučilištu Oxford u istraživačkoj grupi za programiranje Christophera Stracheya, metodologija obuhvaća notnu eleganciju i matematičku strogost. Iako je u početku zamišljena kao alat za analizu, denotacijska semantika korištena je kao alat za implementaciju i jezično oblikovanje.
Tehopedija objašnjava Denotacijsku semantiku
U denotacijskoj semantika osnovna ideja je preslikavanje svake sintaktičke cjeline koja je povezana s programskim jezikom u neki oblik matematičke cjeline, prevođenje konstrukcija programskog jezika u matematičke objekte.
Denotacijska semantička definicija ima pet dijelova:
- Semantičke jednadžbe
- Sintaktičke kategorije
- Semantičke funkcije
- Backus normalan oblik (BNF) koji definira strukturu sintaktičkih kategorija
- Domene vrijednosti
Denotaciona semantika razvijena je za moderne jezike koji imaju obilježja poput iznimki i istodobnosti. Jedna od važnih karakteristika denotacijske semantike je da semantika treba biti kompozicijska, što znači da se denotacija programske fraze može konstruirati na oznakama njezinih pod-fraza.
Postoje neke različite prednosti povezane s denotacijskom semantikom. To je najlakši mehanizam za opisivanje značenja manjih programa u odnosu na druge alternative. Denotacijska semantika može objasniti stanje u programima. Međutim, denotacijska semantika ima tendenciju vrlo složenog za opisivanje naprednih značajki kao što su goto izjave i rekurzije.
