Семантика — наука о понимании определённых знаков, последовательностей символов и других условных обозначений.

Семантика делится на следующие виды:

  • Семантика (лингвистика);
  • Семантика (программирование).

 

Существует также отдельная самостоятельная дисциплина — общая семантика, рассматривающая общую теорию оценки фактов, отношений, ощущений и т. д. не с точки зрения просто вербальных определений того, что говорится о значениях, но с точки зрения того, как в действительности происходят оценочные реакции у человека.

Мы будем рассматривать, конечно же, семантику в программировании.

Семантика в программировании — система правил определения поведения отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка.

Проще говоря, семантика языка устанавливает соответствие между составляющими программу языковыми конструкциями и конкретными действиями, которые выполняет вычислительная машина в ходе выполнения программы. Фактически семантика определяет смысл предложений языка. При этом синтаксис и семантика являются независимыми языковыми характеристиками. Синтаксически правильное предложение может оказаться в принципе невыполнимым, и потому лишённым всякого смысла.