Команды

Пропуск

Присваивание

Присвоить(3)

Ветвление

Прямая ветка

Альтернативная ветка

Последовательность

Цикл

Переход на следующую итерацию

Выход из цикла

Примечание

(1) Условие обозначает, что частичная функция определена на и имеет здесь значение .

(2) Условия и обозначают, что и являются (целочисленным и логическим) значениями операторов и на целых числах и . SMC-машина абстрагируется от деталей реализации операций и .

(3) Состояние является конечной частичной функцией, которая отображает на , то есть, выполняет роль .