Машина Тьюринга и рекурсивные функции. Кацаран Т.К - 4 стр.

гося алгоритма. Ее можно поручить субъекту или объекту, который не
обязан вникать в сущность дела, а возможно, и не способен его понять.
Такой субъект или объект принято называть формальным исполнителем.
Примером формального исполнителя может служить стиральная маши-
на-автомат, которая неукоснительно исполняет предписанные ей дейст-
вия, даже если вы забыли положить в нее порошок. Человек тоже может
выступать в роли формального исполнителя, но в первую очередь фор-
мальными исполнителями являются различные автоматические устрой-
ства, и компьютер в том числе. Каждый алгоритм создается в расчете на
вполне конкретного исполнителя. Те действия, которые может совер-
шать исполнитель, называются его допустимыми действиями. Совокуп-
ность допустимых действий образует систему команд исполнителя. Ал-
горитм должен содержать только те действия, которые допустимы для
данного исполнителя.
     Поэтому обычно формулируют несколько общих свойств алгорит-
мов, позволяющих отличать алгоритмы от других инструкций.
     Алгоритм должен обладать следующими свойствами.
     Дискретность (прерывность, раздельность) – алгоритм должен
представлять процесс решения задачи как последовательное выполнение
простых (или ранее определенных) шагов. Каждое действие, предусмот-
ренное алгоритмом, исполняется только после того, как закончилось ис-
полнение предыдущего.
     Определенность – каждое правило алгоритма должно быть четким,
однозначным и не оставлять места для произвола. Благодаря этому свойст-
ву выполнение алгоритма носит механический характер и не требует ника-
ких дополнительных указаний или сведений о решаемой задаче.
     Результативность (конечность) – алгоритм должен приводить к ре-
шению задачи за конечное число шагов.

                                   4