1 misol. Quyidagilar yechuvchi algoritmlarga misol bo‘la oladi

Rekursiv, rekursiv sanaluvchi to‘plam tushunchalari.

Biror alfavit berilgan bo'lsin. Bu alfavitdagi hamma so‘zlar to'plamini S bilan va S to‘plamning qism to'plamini M bilan belgilaymiz.

1- ta’rif. Agar x so'zning M to'plamga qarashlilik muammosini hal qila oladigan algoritm mavjud bo'lsa, и holda M rekursiv to‘plain deb ataladi.

1. 
   ta’rif. Agar M to ‘plamning hamma elementlarini sanab chiqa oladigan algoritm mavjud bo ‘Isa, и holda M effektiv rekursiv sanaluvchi to ‘plam deb ataladi.
   

Rekursiv va rekursiv sanaluvchi to‘plamlar xossalari.

1- teorema. Agar M va L effektiv rekursiv sanaluvchi to 'plamlar bo ‘Isa, и holda M\JL va M C\L ham effektiv rekursiv sanaluvchi to 'plam bo 'ladi.

Isboti. M va L effektiv rekursiv sanaluvchi to'plamlar bo'lsin. U holda, 2- ta’rifga asosan, ularning har biri uchun alohida algoritm mavjudki, ular orqali mos ravishda M va L dagi hamma elementlami sanab chiqish mumkin. M{JL va Mf)L to'plamlaming effektiv sanaluvchi algoritmi M va L to'plamlaming effektiv sanaluvchi algoritmlarini bir vaqtda qo‘llash natijasida hosil qilinadi.

Post teoremasi . M to ‘plamning о ‘zi va to ‘Idiruvchisi CM effektiv rekursiv sanaluvchi bo'lganda va faqat shundagina M to ‘plam rekursivdir.

Isboti. a) M to‘plam va uning CM to'ldiruvchisi effektiv rekursiv sanaluvchi bo'lsin. U holda, 2- ta’rifga asosan, bu to‘plamlaming elementlarini sanab chiqa oladigan A va В algoritmlar mavjud bo'ladi. U holda M va CM to'plamlaming elementlarini sanab chiqish paytida ularning ro'yxatida x element uchraydi. Demak, shunday С algoritm yuzaga keladiki, u orqali Jt element M to'plamga qarashlimi yoki qarashli emasmi degan muammoni hal qilish mumkin. Shunday qilib, M rekursiv to‘plam bo'ladi. b) M rekursiv to‘plam bo'lsin. U holda, 1- ta’rifga asosan, x bu to'plamning elementimi yoki elementi emasmi degan muammoni hal qiluvchi algoritm mavjud bo‘ladi. Bu algoritmdan foydalanib, M va CM to‘plamlarga kiruvchi elementlarning ro‘yxatini tuzamiz. Shunday qilib, M va C M to‘plamlar elementlarini sanab chiquvchi ikkita A va В algoritmni hosil qilamiz. Demak, M va CM to‘plamlar effektiv rekursiv sanaluvchi to‘plamlar bo'ladi. ■

1. 
   misol. M = {1, 4,9,...,n2 natural sonlar kvadratlari to‘plami effektiv rekursiv sanaluvchi to'plam bo‘lishi yoki bo'lmasligini aniqlaymiz. M to'plam effektiv rekursiv sanaluvchi to'plam bo‘ladi, chunki uning elementlarini hosil qilish uchun ketma-ket natural sonlarni olib, ularni kvadratga ko‘tarish kerak. Bu to'plam ham rekursiv bo‘ladi. Haqiqatan ham, birorta x natural sonning M to‘plamga kirish yoki kirmasligini aniqlash uchun uni tub ko‘paytuvchilarga ajratish kerak. Bu usul x natural son biror natural sonning kvadratimi yoki yo‘qmi degan savolga javob topish imkonini beradi.
   

2- misol. Tartiblangan natural sonlar juftliklaridan iborat to‘plam effektiv rekursiv sanaluvchi ekanligini isbotlaymiz. Tartiblangan natural sonlar juftliklaridan iborat to‘plamning effektiv rekursiv sanaluvchi ekanligini isbotlash uchun diagonal metodi deb aytiluvchi usuldan foydalanamiz. Buning uchun hamma tartiblangan natural sonlar juftliklarini 1- shakldagi ko'rinishda yozamiz. Yuqori chap burchakdan boshlab ketma-ket 1- shaklda ko‘rsatilgan yo‘nalishlar bo‘yicha o‘tib to‘plam elementlarini sanab chiqamiz. U holda bu juftliklaming