Преглед садржаја:
Дефиниција - Шта значи денотациона семантика?
У рачунарској науци денотациона семантика представља приступ математичком значењу системима и програмским језицима. Другим речима, денотациона семантика је формална техника изражавања семантичке дефиниције програмског језика.
Развијена 1960-их на Универзитету Окфорд од стране Цхристопхер Страцхеи-ове истраживачке групе за програмирање, методологија садржи нотну елеганцију и математичку строгост. Иако је у почетку дизајнирана као алат за анализу, денотациона семантика је коришћена као алат за имплементацију и језички дизајн.
Техопедија објашњава Денотациону семантику
У денотацијској семантика основна идеја је пресликавање сваког синтактичког ентитета повезаног са програмским језиком у неки облик математичке целине, превођење конструкција програмског језика у математичке објекте.
Денотациона семантичка дефиниција има пет делова:
- Семантичке једначине
- Синтактичке категорије
- Семантичке функције
- Бацкус нормалан облик (БНФ) који дефинира структуру синтактичких категорија
- Вриједности домена
Денотациона семантика развијена је за савремене језике који имају карактеристике попут изузетака и конкурентности. Једна од важних карактеристика денотацијске семантике је да семантика треба да буде композициона, што значи да се ознака програмске фразе може конструисати из ознака њених под фразама.
Постоје неке посебне предности повезане са денотацијском семантиком. То је најлакши механизам за описивање значења мањих програма у поређењу с другим алтернативама. Денотациона семантика може објаснити стање у програмима. Међутим, денотациона семантика има тенденцију веома сложеног за описивање напредних функција као што су гото изјаве и рекурзије.
