4.2. Точное описание процессов

Будем рассматривать процессы, состоящие из последовательных шагов. Такие процессы называются дискретными и последовательными.

Дискретный последовательный процесс можно описать в виде последовательности предложений некоторого языка, которые могут быть и объединены в одно предложение. Каждое частное предложение описывает один шаг. Если нужно описать процесс, который реципиент должен осуществить, то каждое частное предложение называют приказом, а их совокупность - предписанием.

Если предписание формулируется на естественном языке, как нередко бывает, когда процесс должен быть осуществлен человеком, то особое внимание следует обратить на точность приказов.

Понятие алгоритма развилось из представления о точном описании дискретного процесса. В своей "Теории алгоритмов" А. А. Марков начинает вводный раздел словами "В математике принято под "алгоритмом" понимать точное предписание, определяющее вычислительный процесс...". Заметим, что так было примерно до 1954 г., когда вышла указанная книга. Теперь нужно говорить: "определяющее процесс преобразования информации". Там же Марков говорит: "Следующие три черты характерны для алгоритмов...

• точность предписания, не оставляющая места произволу, и его понятность^* - определенность алгоритма;
• возможность исходить из варьируемых^** в известных пределах исходных данных - массовость алгоритма;
• направленность алгоритма на получение некоторого искомого результата - результативность алгоритма".

^* (У Маркова сказано - "общепонятность". Я позволил себе поправку.)

^** (Варьируемость означает не расплывчатость, а наличие множества различных исходных данных.)

Марков подчеркивает, что это не определение, а только некоторое пояснение, очень расплывчатое и нестрогое.

А. А. Марков считает, что точность не оставляет места произволу. Это значит, что "смыслом" предписания является действие и что в результате рецепции совершается именно "описанное" в предписании действие.

Для кибернетики алгоритмы - это прежде всего средство преобразования символьных конструкций, а вместе с ними и представленной в них информации. Это преобразование должно выполняться устройствами, для которых алгоритм - это управляющая информация. Понятие алгоритма как описания процесса при этом оказывается недостаточным, потому что алгоритм- средство не только описания процессов, но и создания тех операций, которые должны выполняться как шаги процессов (кстати, и необязательно последовательно) .