Cтраница 2
Казалось бы, такая теорема позволяет нам выбросить правила выполнения первичных алгоритмов. [16]
Рассматривая приведенные выше определения, можно заметить, что понятие первичных алгоритмов было введено с помощью правила их выполнения ( см. стр. Можно подумать, что между первичными и остальными алгоритмами существует принципиальное различие. [17]
Задача вторичных алгоритмов состоит в сведении сложных задач к последовательностям первичных алгоритмов. [18]
Последняя теорема позволяет при всех рассмотрениях не выделять в особую группу первичные алгоритмы, которые хотя и имеют правила выполнения, но имеют также и алгоритмы выполнения. [19]
Теперь мы имеем вполне конкретный язык, предложениями которого являются вполне конкретные записи первичных алгоритмов. Но предложения языка L пока что не имеют никакого смысла. Давайте наделим их семантикой и сделаем это по следующему правилу. [20]
Можно сказать иначе: запись первичного алгоритма, рассматриваемая вместе с правилом выполнения первичного алгоритма, называется первичным алгоритмом. Вторая формулировка точнее первой, но более громоздка. [21]
Для получения полного определения алгоритма мы дадим сперва его рекурсивное определение, опирающееся на понятие первичного алгоритма, и только собрав вместе все взаимосвязанные определения ( алгоритма, языка, операции), мы, наконец, получим определение алгоритма. [22]
Для получения полного определения алгоритма мы дадим сперва его рекурсивное определение, опирающееся на понятие первичного алгоритма, и, только собрав вместе все взаимосвязанные определения ( алгоритма, языка, операции), мы, наконец, получим определение алгоритма. [23]
Пусть, кроме языка L, задан еще один язык L, предложения которого называются записями первичного алгоритма. Язык L очень прост. [24]
Располагая натуральными алгоритмами, можно построить огромное количество различных операций и, значит, огромное количество семейств первичных алгоритмов. Читатель помнит, что это связано не только с присоединением к имеющимся операциям новых операций, но и с построением формальных языков, как алгоритмических, так и опе-рандных. [25]
Можно сказать иначе: запись первичного алгоритма, рассматриваемая вместе с правилом выполнения первичного алгоритма, называется первичным алгоритмом. Вторая формулировка точнее первой, но более громоздка. [26]
Первичный алгоритм применим к своему исходному данному, если процесс его выполнения при этом исходном данном после конечного числа шагов заканчивается из-за того, что в записи первичного алгоритма нет ни одного приказа, имеющего метку, одинаковую с отсылкой, выбранной из последнего выполненного приказа. В остальных случаях первичный алгоритм неприменим к своему исходному данному. [27]
Знаки натуральных операций. [28] |
Таким образом, натуральные алгоритмы могут послужить средством для создания новых операций ( отличных от линеаризации, делинеаризации и натуральных операций), на основе которых могут быть построены новые классы первичных алгоритмов и новые классы операций. [29]
Дарованные Богом первичные алгоритмы однозначно определяют раз и навсегда все последующее существование и развитие мира. Жесткое понимание причинности является краеугольным камнем в механической картине мира. Оно вошло в науку под термином лапласовскии детерминизм, так как именно великий французский ученый Пьер Симон Лаплас ( 1749 - 1827) наиболее четко сформулировал идейную платформу механицизма. Он писал: Мы должны рассматривать современное состояние Вселенной как результат предшествовавшего состояния и причину последующего. Ум, которому были бы известны для каждого момента времени все силы природы и положения всех ее составных частей, если бы вдобавок он оказался достаточно обширным, чтобы подвергнуть эти данные анализу, обнял бы в одной формуле движения величайших тел Вселенной наравне с движениями легчайших атомов. [30]