Cтраница 1
Остальные натуральные операции являются операциями проверки различных условий. Будем считать, что все они входят в одну группу, именно в группу натуральных предикатов. Термин предикат является математическим синонимом слова условие. В результате применения предиката к какой-нибудь конструкции она никак не изменяется, но ей в соответствие ставится логическое значение, которое можно передать одним из слов да или нет. [1]
Пользуясь набором натуральных операций, можно построить не только операции над словами, но и над другими значительно более сложными конструкциями благодаря операциям линеаризации и делинеаризации. По сравнению с избранными алгоритмами, которые были изучены в логических теориях, первичные алгоритмы обладают большими возможностями. Вместе с появлением первичных алгоритмов понятие алгоритма освобождается от оков, в которых его держали, связывая его с конструктивными объектами, называемыми словами. Объем книги и значительная трудоемкость построения алгоритмов не позволяют автору привести все алгоритмы, которые хотелось бы, для того чтобы проиллюстрировать сказанное. [2]
Четвертая группа натуральных операций называется конструкция-слово. В нее входят две операции: линеаризация и делинеаризация. В отличие от всех описанных выше операций эти операции довольно сложны. Подробное их описание мы приведем в следующем параграфе, а здесь лишь упомянем о них. [3]
Прежде чем описывать конкретные натуральные операции, нужно поговорить о возможных исходных данных и результатах. [4]
Ко второй группе натуральных операций, называемой группой слово-квазислово, отнесем операции, для которых исходными данными являются слова, а результатами-квазислова ( см. ниже), и операции, для которых исходными данными являются квазислова, а результатами - слова. [5]
Исходными данными для натуральных операций являются либо слова, либо особые конструкции, получающиеся из слов путем связывания одной из букв особой связью первого ранга, которая отлична от начинающей и от кончающей связей. [6]
К первой группе отнесем натуральные операции, исходными данными для которых являются слова или наборы слов, а результатами - отдельные слова. Группу этих операций назовем группой слово-слово. [7]
В теории алгоритмов - натуральная операция, состоящая в преобразовании однобуквенного слова в пустое слово. [8]
Исходными, данными для натуральных операций являются либо слова, либо особые конструкции, получающиеся из слов путем связывания одной из букв особой связью первого ранга, которая отлична от начинающей и от кончающей связей. [9]
Итак, пока, кроме натуральных операций не определены никакие операции. [10]
Первичные алгоритмы, в которых используются только натуральные операции, называются натуральными алгоритмами. [11]
Натуральные действия и натуральные условия называются натуральными операциями. [12]
В аналитической теории алгоритмов первоначальными являются буквы, связи, и натуральные операции. Понятие актуальной бесконечности ни явно, ни неявно не привлекается. [13]
![]() |
Знаки натуральных операций. [14] |
Таким образом, натуральные алгоритмы могут послужить средством для создания новых операций ( отличных от линеаризации, делинеаризации и натуральных операций), на основе которых могут быть построены новые классы первичных алгоритмов и новые классы операций. [15]