С# dasturlash tilida rekursiv funksiyalar

funktsiya faktorial:
kiritish: tamsayı n shu kabi n >= 0
chiqish: [n × (n-1) × (n-2) × … × 1]
1. yaratmoq deb nomlangan yangi o'zgaruvchi ishlaydigan_jami qiymati 1 ga teng
2. boshlash pastadir 1. agar n 0 ga teng, Chiqish halqa 2. o'rnatilgan ishlaydigan_jami ga (ishlaydigan_jami × n) 3. kamayish n 4. takrorlang pastadir
3. qaytish ishlaydigan_jami
oxiri faktorial

Yuqoridagi majburiy kod akkumulyator o'zgaruvchisi yordamida ushbu matematik ta'rifga tengdir t:

Yuqoridagi ta'rif to'g'ridan-to'g'ri tarjima qilingan funktsional dasturlash tillari kabi Sxema; bu rekursiv ravishda amalga oshiriladigan iteratsiyaning misoli.

Eng katta umumiy bo'luvchi

The Evklid algoritmi, hisoblaydigan eng katta umumiy bo'luvchi ikki tamsayıdan, rekursiv yozish mumkin.

Funktsiyaning ta'rifi:

Psevdokod (rekursiv):

funktsiya gcd:kiritish: tamsayı x, tamsayı y shu kabi x > 0 va y >= 0 1. agar y 0 ga teng, qaytish x 2. aks holda, qaytish [gcd ( y, (qolgan qismi x/y) ) ] oxiri gcd

Takrorlanish munosabati eng katta umumiy bo'luvchi uchun qaerda   ifodalaydi qoldiq ning  :

 agar 

X = 27 va y = 9 uchun takrorlanish munosabatlarini hisoblash:

gcd (27, 9) = gcd (9, 27% 9) = gcd (9, 0) = 9

X = 111 va y = 259 uchun takrorlanish munosabatlarini hisoblash:

gcd (111, 259) = gcd (259, 111% 259) = gcd (259, 111) = gcd (111, 259% 111) = gcd (111, 37) = gcd (37, 111% 37) = gcd ( 37, 0) = 37

Yuqoridagi rekursiv dastur quyruq-rekursiv; u iterativ algoritmga teng va yuqorida ko'rsatilgan hisoblash dumaloq qo'ng'iroqlarni bartaraf qiladigan til tomonidan amalga oshiriladigan baholash bosqichlarini ko'rsatadi. Quyida xuddi shu algoritmning aniq iteratsiyadan foydalangan holda versiyasi keltirilgan, bu dumaloq qo'ng'iroqlarni bartaraf etmaydigan til uchun mos keladi. O'z holatini butunlay o'zgaruvchilarda saqlab turish orqali x va y va ilmoqli konstruktsiyadan foydalanib, dastur rekursiv qo'ng'iroqlar qilishdan va qo'ng'iroqlar to'plamini ko'paytirishdan qochadi.

Psevdokod (iterativ):