Оператор - подстановка
Cтраница 2
 |
Пример обобщенного нормального алгоритма [ IMAGE ] Блок-схема с объединенными узлами. [16] |
Из каждого объединенного узла будут выходить две стрелки: стрелка со знаком, по которой направляется слово, подвергнутое действию оператора данного узла, и стрелка со знаком - , по которой двигается слово, если оператор узла к нему неприменим. Неприменимость оператора подстановки к слову означает отсутствие вхождений левой части оператора ( слова а в операторе а - Ь) в данное слово. [17]
Алгоритмы, которые задаются графами, составленными исключительно чз распознавателей вхождения слов и операторов подстановки, назовем обобщенными нормальными алгоритмами. При этом предполагается, что к каждому оператору подстановки ведет только1 одна дуга, исходящая из соответствующего распознавателя. [18]
Алгоритмы, которые задаются графами, составленными только из распознавателей вхождения слов и операторов подстановки, называют обобщенными нормальными алгоритмами. При этом предполагается, что к каждому оператору подстановки ведет только одна дуга, исходящая из соответствующего распознавателя. [19]
Поскольку операторы вида (1.1) встречались в исследованиях, относящихся к мало связанным друг с другом областям математики, используемая в литературе терминология не согласована. Например, оператор вида (1.2) в разных работах называют оператором подстановки, оператором сдвига, оператором замены переменной, оператором внутренней суперпозиции, композиционным оператором, оператором, сопряженным отображению а, причем каждое из названий отражает одну из характерных черт этого оператора. [20]
В операторах присваивания значение буквы неоднозначно. Эта проблема, основная для обычных языков программирования, препятствует обработке оператора подстановки, как любого другого инфиксного оператора, посредством машинной интерпретации суффиксного кода. [21]
Аналогичные теоремы могут быть получены и для Тьюринга машин. В теории рекурсивных функций наибольшее употребление нашли их сочетания, доставляемые оператором подстановки, оператором примитивной рекурсии и и-оператором. [22]
Для всех других возможных - алфавитов задается некоторый способ их кодирования в алфавите С. Для символов, употребляемых в схемах нормальных алгоритмов ( ввод, вывод, знак подстановки, разделитель операторов подстановки), отводятся отдельные коды. [23]
Одной из особенностей абстрактной теории алгоритмов является неизменность набора допустимых средств, используемых для построения записи алгоритма или при его выполнении. Например, все частично рекурсивные функции получаются из некоторогр фиксированного набора базисных функций с помощью трех операторов - оператора подстановки, оператора примитивной рекурсии, оператора наименьшего корня. [24]
Страницы: 1 2