Операція мінімізаціїУ теорії рекурсії, операція мінімізації, або μ-оператор — це рекурсивний оператор, який при застосуванні до певної обчислюваної функції f, дає обчислювану функцію яка у суперпозиції себе в f дає нуль. Для функції
Інші варіанти означеньM(g(x1,x2,…,xn,y)) дорівнює найменшому значенню y такому що g(x1,x2,…,xn,y)=0. Або, якщо сформулювати інакше, то M ставить у відповідність (n+1)-арній функції g, n-арну функцію f, яку позначають M(g), що задається так: Для всіх y від 0 до нескінченності обчислюємо значення g(x1,x2,…,xn,y). Для першого y такого що g(x1,x2,…,xn,y)=0 присвоюємо f(x1,x2,…,xn)=y.
|