Семантика – раздел лингвистики, изучающий смысловое значение единиц языка.
Основная масса моделей языка, основанные на семантике имеет отношение и к моделям порождающей грамматики, и к моделям интерлингвы (модель «смысл – текст»).
В особенности от порождающих грамматик, семантика, которая описывается при помощи синтаксиса, модели вида «смысл – текст» не считаются порождающими, то есть не считаются генераторами текста, а считаются трансляторами текста в «смысл» и обратно.
Семантика в программировании это в первую очередь дисциплина, которая изучает формализации значений конструкций языков программирования посредством таких построений, как формальные математические модели. Могут использоваться в качестве инструментов построения моделей разные средства: математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может так же использоваться не только, как для описания языка, так и для определения свойств языка, но и для целей формальной верификации программ на данном языке программирования.
Семантика языка есть некое смысловое значение слов. В программировании означает начальное смысловое значение операторов, основных конструкций языка и так далее…
Пример:
Первый код:
i=0; while(i