Рекурсивные функции.

Величину F называют функцией, а величины x₁, x_2,…,x_n – аргументами, или независимыми переменными, если известен закон, который для наборов конкретных значений величин x₁, x_2,…,x_n задает определенные значения величины F. При этом для каждого набора допускается только одно значение функции.

Функцию называют вычислимой, если известен алгоритм получения ее значений.

Совокупность рекурсивных функций задается следующим образом:

1. описываются наиболее простые рекурсивные функции, называемые в теории алгоритмов базовыми;

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

К базовым относятся:

1. функции любого числа независимых переменных, тождественно равные нулю. Их будем обозначать φ_n, где п - число аргументов. Например:

f=φ₁(x₁), f=φ₂(x₁,x₂), f=φ₃(x₁,x₂,x₃),…, f=φ_n(x₁,x₂,…,x_n).

При этом любой совокупности значений аргументов данной функции ставится в соответствие ее значение 0. Например:

φ₁(0)=0, φ₂(2,7)=0, φ₃(5,45,79)=0, φ_n(3,45,…,68)=0.

Будем считать, что п может быть равно нулю, т.е. существует функция, не зависящая ни от одного переменного и равная 0. Обозначим ее φ₀=0;

2. тождественные функции любого числа п независимых переменных. Обозначим их ψ_n,i. Значением такой функции будем считать значение i‑го независимого переменного. Например: ψ_3,2(2,10,23)=10, ψ_1,1(36)=36, ψ_6,4(23,45,69,12,56,78)=12, а в общем виде ψ_n,i(x₁,x₂,…,x_i,…,x_n)=x_i, при этом должны быть выполнены условия 1≤i≤n, n≠0, i≠0;

3. функции следования одного независимого переменного. Обозначим их с помощью функционального знака λ. Значением функции λ(х) будем считать число, непосредственно следующее за числом, являющимся значением аргумента. Например, λ(5)=6, λ(57)=58 и т.д. В общем случае операцию получения последующего значения будем обозначать λ(х)=х+1.

Теперь перечислим три оператора:

1. оператор суперпозиции, или подстановки, позволяет по функции F n аргументов и по функциям f₁, f₂, …,f_n строить новую функцию Φ, такую, что для нее справедливо тождество Φ≡F(f₁, f₂, …,f_n). Например, если в качестве F принять функцию следования λ(х), а в качестве f₁, взять функцию следования λ(у), то с помощью оператора суперпозиции получим новую функцию Θ(у)=λ(λ(у)). Оператор суперпозиции обозначим буквой S и введем знак :=, который читается “по определению есть”. Построение функции Ф из функции F и f₁, с помощью оператора суперпозиции будем записывать так : Ф:=S[λ(x), λ(у)]. В частности, для рассмотренного примера можно записать Θ:=S[λ(x), λ(у)];

2. оператор рекурсии. Этот оператор по двум функциям, одна из которых имеет п-1 независимых переменных (обозначим ее f₁), а другая, кроме указанных независимых переменных, имеет еще две переменных, т.е. зависит от п+1 аргументов (обозначим ее f₂). Строим функцию п независимых переменных. Для этого обозначим оператор рекурсии буквой R, а его применение запишем с помощью двух условий:

f(0)=f₁,

f(х+1)=f₂(х,f(х)).

Правила, реализующие эти условия, сформулируем следующим образом:

- значение получаемой функции f для нулевого значения аргумента равно значению исходной функции f₁ (п-1)-го независимого аргумента;

- значение определяемой функции f для каждого последующего значения аргумента равно значению второй из заданных функций f₂, которая зависит от предыдущего значения аргумента и предыдущего значения определяемой функции;

3. оператор минимизации который позволяет по заданной функции, зависящей от n+1 аргументов, строить новую функцию от п аргументов. Обозначим оператор минимизации буквой μ, и его применение запишем в виде f:=μ [f₁;(x)], где х - исчезающий аргумент. Смысл работы этого оператора в том, что аргументу х последовательно присваиваются значения (начиная с нулевого) до тех пор, пока функция f₁ не станет равной нулю. После этого полученное значение аргумента х принимают за значение определяемой функции, соответствующее тем значениям основных аргументов, при которых осуществлялся описанный процесс.

Таким образом, рекурсивными называют базовые функции и любые функции, полученные из базовых, с использованием операторов суперпозиции, рекурсии и минимизации.