enciklopedia.eu
Egyéb nyelvek
en
es
de
it
pt
pl
nl
cs
ro
hu
da
sv
no
fi
tr
Rekurzív
Általában
rekurzió
az, amikor egy objektum önmagára utal.
A
rekurzív algoritmus
egy ilyen algoritmus.
A rekurzió kifejezést sokat használják az
elméleti informatikában
, pontosabban a
kiszámíthatóság
elméletében (más néven rekurziós elméletben), különösen:
a
rekurzív
és a
primitív rekurzív függvény
fogalma ;
rekurzív
és
rekurzív módon felsorolható halmaz
fogalma ;
a
rekurzív nyelv
fogalma: a rekurzív halmaz fogalmának általánosítása
nyelvekre
.
A
kiszámíthatóság elméletében
számos fixpontos tétel kapcsolódik a rekurzióhoz, beleértve
Kleene rekurziós tételét is
.