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



         

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


Вообще говоря, интерес к столь маленькой программе определяется тем обстоятельством, что она включает условный переход. Совершает программа в процессе исполнения еще одну итерацию или нет, зависит от результата выполнения команды, содержащейся в строке 115. Если при появлении этой команды прямоугольник А содержит число, большее нуля, то осуществляется еще одна итерация. В противном случае, совершив еше несколько шагов, программа останавливается.

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

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




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