Cuprins:
Definiție - Ce înseamnă Semotica Denotativă?
În informatică, semantica denotațională este o abordare pentru furnizarea de semnificații matematice sistemelor și limbajelor de programare. Cu alte cuvinte, semantica denotațională este o tehnică formală pentru exprimarea definiției semantice a unui limbaj de programare.
Dezvoltată în anii '60 la Universitatea Oxford de către Grupul de cercetare de programare Christopher Strachey, metodologia cuprinde eleganța notațională și rigoarea matematică. Deși inițial proiectată ca instrument de analiză, semantica denotațională a fost folosită ca instrument pentru implementarea și proiectarea limbajului.
Techopedia explică Semantica denotativă
În semantica denotațională, ideea de bază este maparea fiecărei entități sintactice asociate cu un limbaj de programare într-o formă de entitate matematică, traducerea construcțiilor limbajului de programare în obiecte matematice.
Definiția semantică denotativă are cinci părți:
- Ecuații semantice
- Categorii sintactice
- Funcții semantice
- Forma normală backus (BNF) care definește structura categoriilor sintactice
- Domenii valorice
Semantica denotativă a fost dezvoltată pentru limbi moderne care au caracteristici precum excepții și concordanță. Una dintre caracteristicile importante ale semanticii denotaționale este că semantica ar trebui să fie compozițională, ceea ce înseamnă că denotarea unei fraze de programare poate fi construită din denotările sub-frazelor sale.
Există câteva avantaje distincte asociate cu semantica denotațională. Este cel mai simplu mecanism de descriere a sensului programelor mai mici în comparație cu alte alternative. Semantica denotațională este capabilă să explice starea în programe. Cu toate acestea, semantica denotațională tinde să fie foarte complexă pentru a descrie caracteristici avansate, cum ar fi enunțurile și recursiunile goto.
