Cтраница 1
Оператор подстановки а - b задается в виде двух слов, соединенных стрелкой. Работа оператора состоит в том, что он осуществляет подстановку слова b вместо самого левого вхождения слова а в поступившее на операторный узел слово. [1]
ЕХ); - оператор локальной подстановки, выполняющий одноразовую подстановку в выражение ЕХ в соответствии со списком подстановок. [2]
Дуги, исходящие из узлов, соответствующих операторам подстановки, подсоединяются либо к узлу, соответствующему первому распознавателю, либо к выходному узлу. [3]
Дуги, исходящие из узлов, соответствующих операторам подстановки, подсоединяются либо к узлу, соответствующему первому распознавателю, либо к выходному узлу. В первом случае подстановка называется обычной, во втором - заключительной. [4]
В нормальных алгоритмах в качестве элементарного оператора используется оператор подстановки, а в качестве элементарного распознавателя - распознаватель вхождения. [5]
II II Я II I Используя упоминавшуюся аналогию между операторами подстановки и конкатенации, можно легко доказать, что 3.2, all есть множество всех регулярных языков. [6]
В нормальных алгоритмах используется только один тип элементарных операторов, называемых операторами подстановки, и один тип элементарных распознавателей, называемых распознавателями вхождения. Опишем эти распознаватели и операторы более подробно. Для этого познакомимся прежде всего с понятием вхождения одного слова в другое. [7]
Повторно решая это уравнение, можно получать решения системы контекстно-свободных уравнений, использующие операторы подстановки. Такие выражения аналогичны регулярным. [8]
Алгоритмы, которые задаются графами, составленными исключительно чз распознавателей вхождения слов и операторов подстановки, назовем обобщенными нормальными алгоритмами. При этом предполагается, что к каждому оператору подстановки ведет только1 одна дуга, исходящая из соответствующего распознавателя. [9]
Алгоритмы, которые задаются графами, составленными только из распознавателей вхождения слов и операторов подстановки, называют обобщенными нормальными алгоритмами. При этом предполагается, что к каждому оператору подстановки ведет только одна дуга, исходящая из соответствующего распознавателя. [10]
Индекс является абсолютным адресом выбранного байта; corebyte можно использовать в любой части оператора подстановки. [11]
Алгоритмы, которые задаются граф-схемами, составленными исключительно из распознавателей вхождения слов и операторов подстановки, назовем обобщенными нормальными алгоритмами. [12]
Итак, рекурсивными называются базовые функции и любые функции, получаемые из них с помощью конечного числа операторов подстановки, рекурсии и построения по первому нулю. При этом функции, получаемые без использования оператора построения по первому нулю, называются примитивно рекурсивными. Это наиболее простые из рекурсивных функций. Примитивно рекурсивные функции, вместе с теми рекурсивными функциями, которые невозможно получить, не прибегая к оператору построения по первому нулю, но которые определены для любых значений аргументов, называют общерекурсивными. Оказывается, что существуют общерекурсивные функции, которые не примитивно рекурсивны. Рекурсивные функции, которые определены не для всех возможных значений аргументов, называют частично рекурсивными. Построенная нами выше функция р ( х) является частично рекурсивной. [13]
Построен и применен в разложениях класс операторов, являющихся обобщением операторов расстановки отрицания, взятия производной и оператора подстановки. Разложения с оператором частной производной имеют с одной стороны технические приложения, с другой - дают элегантные доказательства известных результатов о связи частной и кратной производных. [14]
Из каждого объединенного узла будут выходить две стрелки: стрелка со знаком, по которой направляется слово, подвергнутое действию оператора данного узла, и стрелка со знаком -, по которой направляется слово в случае, если оператор узла к нему не применим. Неприменимость оператора подстановки к слову означает отсутствие вхождений левой части оператора ( слова 7i в операторе q - qz) в данное слово. [15]