Операция примитивной рекурсии

Будем говорить, что (n+1) – местная функция f получается из n – местной функции g и (n+2) – местной функции h с помощью операции примитивной рекурсии, если при любых значениях x₁, x₂,…, x_n выполняются равенства:

f(x₁, x₂,…, x_n, 0) = g (x₁, x₂,…, x_n)

f(x₁, x₂,…, x_n, 1) = h(x₁, x₂,…, x_n, 0, f(x₁, x₂,…, x_n, 0))

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

f(x₁, x₂,…, x_n, y+1) =h(x₁, x₂,…, x_n, y, f(x₁, x₂,…, x_n,y))

Эти равенства называют схемой примитивной рекурсии. И тот факт, что функция f получается из функций g, h c помощью операции примитивной рекурсии, записывается следующим образом: f=R(g,h).

Определение 1 Функция f называется примитивно рекурсивной функцией, если она получается из простейших функций с помощью операций суперпозиции и примитивной рекурсии, взятых конечное число раз в любой последовательности.

Из данного определения следует, что любая примитивно рекурсивная функция является числовой функцией.

Множество всех примитивно рекурсивных функций обозначим через P_n.p.

Пример 5 Доказать, что функция f(x,y)= x+y примитивно рекурсивна.

Действительно. Справедливы следующие тождества

f(x,0) =x+0 = x = g(x)

f(x,y+1) = x+(y+1) = (x+y)+1 = f(x,y)+1

Отсюда следует, что x+y = R(g(x) = x, h(x,y,z) = z+1). Так как функции g, h – простейшие функции, то x + y P_n.p.

Пример 6 Доказать, что функция f(x,y) = x?y примитивно рекурсивна.

Действительно. Справедливы следующие тождества:

f(x,0) = x?0 = 0 = g(x)

f(x,y+1) = x(y+1) = xy+x = f(x, y) + x

Отсюда следует, что

x+y = R(g(x) = 0, h(x,y,z) = z+ x)

Как следует из примера 1 функция h(x,y,z) = x+z P_n.p. А это значит, что xy P_n.p.

Рассмотрим функцию x y =

Данную функцию называют усечённой разностью.

Пример 7 Показать, что функция f(x,y) = x y примитивно рекурсивна.

В начале заметим, что функция x 1 примитивно рекурсивна. Действительно:

0 1 = 0 = g(x)

(x+1) 1 = x = h(x,y)

Следовательно, x 1 = R(g(x) = 0, h(x,y) = x). Итак, x 1 P_n.p.

Далее, нетрудно показать, исходя из определения усечённой разности, что эти функции удовлетворяют также равенствам:

x 0 = x = g(x)

x (y+1) = (x y) 1 = h(x, y, x y)

для любых x и y. Данные тождества показывают, что

x y = R(g(x) = 0, h(x,y,z) = z α).

Так как функция h(x,y,z) = z α P_n.p., то x y P_n.p.

Так как любая примитивно рекурсивная функция является числовой функцией, то, очевидно, что x – y P_n.p.

Пример 8 Покажем, что – примитивно рекурсивная функция.

Действительно. Нетрудно показать, что =(x y)+(y x). Теперь полученный результат следует из примера 5 и примера 7.

Операция минимизации. Будем говорить, что n-местная функция g(x₁,x₂,…,x_n) полученная из (n+1)- местной функции f(x₁,x₂,…,x_n,y) с помощью операции минимизации или оператора наименьшего числа, если для любых x₁, x₂,…, x_n, y равенство g(x₁,x₂,…,x_n) = y выполняется тогда и только тогда, когда:

1) f(x₁,x₂,…,x_n,t) определено и f(x₁,x₂,…,x_n,t) > 0 для любых 0 ≤ t < y;

2) f(x₁,x₂,…,x_n,y) = 0.

Если какое-либо из условий 1), 2) будет невыполнено, то функция g(x₁,x₂,…,x_n) не определена при наборе x₁, x₂,…, x_{n ..} Короче говоря, величина g(x₁,x₂,…,x_n) равна наименьшему значению аргумента y, при котором выполняется последнее равенство.

Используется следующее обозначение:

g(x₁,x₂,…,x_n) = M_y [f(x₁,x₂,…,x_n,y)=0].

Про функцию g говорят, что она получена из функции f при помощи операции минимизации.

Определение 2 Функция f называется частично рекурсивной функцией, если она может быть получена из простейших функций с помощью операции суперпозиции, примитивной рекурсии и минимизации, взятых конечное число раз в любой последовательности.

Класс частично рекурсивных функций обозначим P_rp.

Обозначим через P_p ­­– класс рекурсивных функций, т.е. всех числовых функций из P_rp.

Пример 9 Доказать, что частично числовая функция частично рекурсивна.

Вначале заметим, что данная функция получается из функции с помощью операции минимизации, т.е. = M_y .

Согласно примерам 2 и 4 функция примитивно рекурсивна. А это значит, что – частично рекурсивная функция.

Данный пример показывает, что класс P_rp существенно шире, чем класс P_p. Можно сказать, что и класс P_p существенно шире, чем класс P_{np ,} т.е.

P_np С P_p С P_rp.