т.н. параллельные
т.н. параллельные алгоритмы остаются за рамками обсуждения.
Предписаний должно быть конечное число; в приведенном алгоритме их шесть. Каждое из них, в отдельности, должно быть точным и не допускать неопределенного толкования. Скажем, вопрос "кто там?" адресован вполне определенному источнику стука, располагающемуся за пределами дома около двери.
Точное предписание вызывает шаг алгоритма. Отдельные предписания могут исполняться неоднократно, поэтому ограниченность набора инструкций в алгоритме отнюдь не гарантирует обязательности его завершения. Так, если у почтальона и/или его собеседника имеются проблемы со слухом, то количество шагов алгоритма не только превысит число предписаний, но даже грозит стать бесконечным (разумеется, только теоретически: у кого-то нервы не выдержат). Поэтому обязательное требование состоит в том, что весь процесс, включающий все шаги от начала до завершения, должен быть конечен. Отметим попутно, что в теории алгоритмов рассматриваются и, так называемые,
Индекс
Элементарные функции
Линейные уравнения
Нелинейные уравнения
Случайные числа
