Matematiktekine benzer şekilde, işlevler yinelgen olarak tanımlanabilir. Örneğin işlevsel bir programlama dili olan Common Lisp'te faktöriyel işlevi aşağıdaki gibi tanımlanabilir:
(defun fak(n)
(if (<= n 1) 1
(* n (fak (- n 1)))))
Ya da daha yaygın olarak kullanılan C dilinde;
int fak(int n)
{
if (n<=1) return 1;
return n*fak(n-1);
}
Church tezine göre hesaplanabilir bütün işlevler, yinelgen işlevler ile ifade edilebilir.
(defun fak(n)
(if (<= n 1) 1
(* n (fak (- n 1)))))
Ya da daha yaygın olarak kullanılan C dilinde;
int fak(int n)
{
if (n<=1) return 1;
return n*fak(n-1);
}
Church tezine göre hesaplanabilir bütün işlevler, yinelgen işlevler ile ifade edilebilir.