Возможности вычислительных машин и человеческий разум

         

Глава 3. Как работают вычислительные машины - стр. 37


Я уже приводил противоположные свидетельства. Наборы из пяти элементов, определяющие поведение классической машины Тьюринга, не должны ни иметь какого-то специфического упорядочения, ни выполняться последовательно. Типичные пять элементов такого рода, представленные в форме правила некоторой игры, выглядят так: "Если вы находитесь в состоянии u и символ, который вы в данный момент считываете, - х, то поступайте следующим образом ... ".

Машина Тьюринга буквально ищет на своей ленте правило, применимое к текущей ситуации. Порядок, в котором эти правила записаны, не имеет никакого отношения к результирующим характеристикам "вход - выход" машины.

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

Второе замечание связано с тем, каким образом правила, отдаленно напоминающие пять элементов машины Тьюринга, можно задавать вычислительной машине.


Содержание  Назад  Вперед