Cтраница 1
Частичные функции называются равными только тогда, когда они имеют одну и ту же область существования и когда их значения равны в каждой тг-ке, входящей в область существования. [1]
Частичная функция h ( х) называется конечным ограничением функции / ( х), если / ( х) есть расширение функции h ( х) и h ( х) имеет конечную область определенности. [2]
Частичная функция р называется - вычислимой по Тьюрингу, если существует машина 9й, которая ее вычисляет. [3]
Частичная функция f ( x), вычисляемая машиной / И, опре деляется следующим образом. [4]
Частичная функция называется вычислит по Тьюрингу, если существует вычисляющая ее машина. [5]
Любая вычислимая частичная функция частично ре курсивна. [6]
Частичную функцию местности п будем назы вать - местной частичной функцией. Всюду в дальнейшем буквы т, k, п, i и /, возможно с индексами, бу дут обозначать натуральные числа. [7]
Класс частичных функций, вычислимых по Тьюрингу, совпадает с классом нормально вычисли-мых частичных функций. [8]
Класс нормально вычислимых частичных функций, заданных в произвольном алфавите А, совпадает с классом всех одноместных частично рекурсивных словарных функций в алфавите А. [9]
В дальнейшем частичные функции будем рассматривать с точностью до несущественных переменных, относительно которых множество Ef цилиндрично. [10]
С пробегает частичные функции от п переменных. [11]
Если допускать частичные функции и предикаты, часть наших доказательств можно упростить, для других же доказательств это не так. Кроме того, если допускаются частичные базисные функции или предикаты, то никакую форму параллелизма нельзя моделировать без специальных средств параллелизма. [12]
Под равенством частичных функций мы понимаем такое положение, что если для некоторого d определена одна функция, то определена и другая, и их значения совпадают. [13]
Таким образом, частичная функция h задает несколько странную, но вполне допустимую нумерацию множества Р натуральных чисел. [14]
При s N частичная функция совпадает с полной функцией распределения. [15]