Пропуск
Присваивание
Присвоить(3)
Ветвление
Прямая ветка
Альтернативная ветка
Последовательность
Цикл
Переход на следующую итерацию
Выход из цикла
Примечание
(1) Условие обозначает, что частичная функция определена на и имеет здесь значение .
(2) Условия и обозначают, что и являются (целочисленным и логическим) значениями операторов и на целых числах и . SMC-машина абстрагируется от деталей реализации операций и .
(3) Состояние является конечной частичной функцией, которая отображает на , то есть, выполняет роль .