Первичный алгоритм

Cтраница 1

Первичные алгоритмы, в которых используются только локальные операции и локальные предикаты, называются локальными первичными ( коротко-локальными) алгоритмами. [1]

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

Первичные алгоритмы, в которых используются только натуральные операции, называются натуральными алгоритмами. [3]

Описанные первичные алгоритмы ( назовем их надколь-цевыми) позволяют решать такие задачи, которые не позволяет решать ни одна известная теория избранных алгоритмов. [4]

Для произвольных первичных алгоритмов это уже не очевидно. [5]

Наличие у первичных алгоритмов правил выполнения вместо алгоритма выполнения является их неприятной особенностью. Но эта особенность для практика неощутима. Она неприятна для теоретика. И вот, чтобы ее преодолеть, доказана такая теорема. [6]

Хотя правило выполнения первичного алгоритма написано на естественном языке, но оно является совершенно точным при условии, что задан набор действий и условий. Для формулировки этого правила выбран такой подъязык русского языка, который, по существу, является формальным. [7]

Как видно из вышесказанного, первичный алгоритм с помощью правила W может быть применен к конструкции языка L2, в результате чего возникает некоторый процесс. [8]

Здесь и ниже мы приводим первичные алгоритмы на формальном языке, совпадающем с некоторым подмножеством естественного ( в данном случае русского) языка. Нетрудно доказать, что данный язык формальный, построив для него формулы Бекуса и в качестве его семантики - правило выполнения заданных на нем первичных алгоритмов. [9]

Можно сказать иначе: запись первичного алгоритма, рассматриваемая вместе с правилом выполнения первичного алгоритма, называется первичным алгоритмом. Вторая формулировка точнее первой, но более громоздка. [10]

Теперь появилась возможность построить класс первичных алгоритмов, которые уже не являются натуральными. Для этого к набору допустимых операций следует присоединить операцию нахождения конца и соответствующим образом дополнить алгоритмический язык. [11]

В первом случае говорят, что первичный алгоритм применим, а во вторых двух случаях, что он неприменим к операнду, являвшемуся исходным данным. [12]

Знаки натуральных операций. [13]

Забегая вперед, отметим, что первичные алгоритмы, в том числе и натуральные алгоритмы, входят как частный случай в понятие алгоритма. Таким образом, натуральные алгоритмы могут послужить средством для создания новых операций ( отличных от линеаризации, делинеаризации и натуральных операций), на основе которых могут быть построены новые классы первичных алгоритмов и новые классы операций. [14]

Забегая вперед, будем иметь в виду, что первичные алгоритмы являются алгоритмами. [15]

Страницы: 1 2 3 4