1 misol. Quyidagilar yechuvchi algoritmlarga misol bo‘la oladi

1) nol funksiya (bekor qilish operatori): har bir x uchun 0 (x) = 0 /

2) birni qo ‘shish (siljish operatori): har bir x uchun A(x) = X +1 ;

3) proyeksiyalash funksiyasi (proyeksiyalash operatori): hamma

xl,x2,...,xn lar uchun, Г"{хх,х2,...,хп) = хт (n = 1,2,...; m = \,2,...,n).

Argumentlarining barcha qiymatlarida aniqlangan funksiyani hamma joyda aniqlangan funksiya deb aytamiz.

4- ta’rif. f(xl,x2,...,xn,y) funksiyadan ф (х,,х2,...,хи) funksiyaga о 'tish fj. -operatorning tatbig'i deb ataladi.

(p(xt ,x2,...,xn) funksiyani hisoblash uchun quyidagi algoritmni tavsiya etish mumkin.

1. f(xl,x2,...,xn,0) ni hisoblaymiz. Agar /( x p...,xn,0) = 0 bo‘lsa, u holda