Изучение языков программирования
Синтаксис языка
(формальные правила записи программы)
Семантика языка
(смысл конструкций программы с точки зрения
ее выполнения)
1
Синтаксис и семантика ЯП
Вид программы определяется
синтаксисом ЯП.
Синтаксические правила ЯП, объясняют требования к записи
операторов, объявлений переменных и типов и др.
Семантика ЯП определяет смысловые значения различных синтаксических конструкций.
2
Пример
Массив из 10 элементов целого типа,
в разных ЯП записываются различные конструкции (смысл один):
•Pascal –
m: array[0..9] of integer;
•C –
int m[10];
•FORTRAN –
DIMENSION M(10)
3
Знание семантики ЯП :
понимание сути синтаксических конструкций,
понимание структур данных и
операций, связанных с выполнением программы
и не отражающихся в ее синтаксисе.
4
Пример
элемент, создаваемый во время выполнения 
программы, может :
не иметь конкретного синтаксического представления в тексте программы,
быть представлен через единственный синтаксический элемент, (скрывается сложная структура данных - списки в языке LISP),
быть представлен в тексте программы через
несколько синтаксических элементов,
(«собираются» транслятором в один).
5
Парадигмы ЯП
Изучение семантики основано на знании
вычислительных моделей,
описывающих большинство современных методов программирования:
императивная,
аппликативная,
основанная на системе правил,
объектно-ориентированная модели.
ЯП классифицируются в соответствии с моделью, определяющей семантику.
Парадигма - теория или модель, принятая в качестве основы решения задач
6
Императивная модель
Императивные, или процедурные, ЯП ориентированы на написание программ, состоящих из последовательности команд или операторов.
Поэтому их называют
командно-управляемые или
операторно-ориентированные
языки.
Основной парадигмой является состояние машины - множества всех значений всех ячеек памяти компьютера.
7
Программа, написанная на
императивном ЯП, - это
последовательность операторов.
Выполнение каждого изменяет значения одной или нескольких ячеек памяти, переводя машину в новое
состояние.
Синтаксис программы имеет вид:
Оператор1;
Оператор2;
……
8
9
При подготовке программы необходимо построить
последовательность состояний машины, приводящих к требуемому результату
Модель основана на особенностях аппаратной части стандартного компьютера, последовательно выполняющего команды.
Традиционно изучение программирования начинают с императивной модели
(C, C++, FORTRAN, Pascal и др. )
10