Cтраница 1
Операция примитивной рекурсии позволяет строить / г-местную аркф летическую функцию ( функцию от п аргументов) по двум заданным функциям, одна из которых является ( п - 1) - местной, а другая - ( п - f - 1) - местной. [1]
Операции примитивной рекурсии и минимизации можно применять по любым переменным, входящим в функции /, д и h, но всегда нужно указывать, по каким переменным эти операции проводятся. [2]
Операция примитивной рекурсии позволяет строить функцию от га 1 аргумента по двум заданным функциям - функции га-го аргумента и ( га 2) - го аргумента. [3]
Операция примитивной рекурсии определяется следующим образом. [4]
Для правильного понимания операции примитивной рекурсии необходимо заметить, что всякую функцию от меньшего числа переменных можно рассматривать как функцию от любого большего числа переменных. [5]
Покажем теперь, что класс & замкнут относительно операции примитивной рекурсии, при условии что мы заранее знаем элементарную границу для функции, определенной уравнением рекурсии. [6]
Другая операция, участвующая в порождении новых примитивно рекурсивных функций, есть операция примитивной рекурсии. [7]
Говорят также, что функция f получена из функций g и h с помощью операции примитивной рекурсии по переменной хп используют обозначение / R ( g, h) и указывают отдельно, по какой переменной ведется рекурсия. [8]
Следовательно, функция х у возникает из примитивно рекурсивных функций / и h ( x, у, z) z 1 операцией примитивной рекурсии и потому функция х у - примитивно рекурсивная. [9]
Пусть Л 2 есть множество всех функций, каждая из которых получается из исходных функций 0, х 1, / с помощью операции суперпозиции и не более чем двумя применениями операции примитивной рекурсии. Верно ли, что это включение собственное. [10]
Из данного рассуждения видно, что если / ( alt. Про функцию / будем говорить, что она получена из функций ф и я) при помощи операции примитивной рекурсии. [11]