Императивные, или процедурные, программы основываются на изменении состояния с помощью последовательности выполняемых команд.
Состояния в основном изменяются при помощи команд присваивания, записываемых как
x = expr или x := expr
Идентификаторы (имена переменных) обозначают ячейки памяти.
Последовательность выполнения команд, возможно разделённых точкой с запятой:
command1 ; command2
Команды организуются при помощи
bеgin ... end - группировка,
if then else - условное выполнение,
do while, for - циклическое выполнение.
Программа — последовательность инструкций по изменению состояния:
σ0 → σ1 → ... → σn