Setel rekursif rekursif
Ing teori komputènsi, sacara tradisional disebut téori rekursi, sawijining set S saka angka alam disebut recursively enumerable, computably enumerable, semidecidable, provable utawa Turing-recognizable yen: ▪ Ana algoritma kaya sing nyetel nomer input sing algoritma halted punika persis S. Utawa, kanthi ekivalen, ▪ Ana algoritma sing nyathet anggota S. Sing artine outpute mung daftar anggota S: s1, s2, s3, .... Yen perlu, algoritma iki bisa mbukak selawase. Kondisi pisanan nyatake yen istilah semidecidable kadhangkala digunakake; Kapindho nyaranake ngapa bisa digunakake. Singkatane r .e. lan c. asring dipigunakaké, sanajan dicithak, tinimbang frase sing jangkep. Ing teori kerumitan komputasi, kelas kerumitan ngemot kabeh setel rekursif rekursif yaiku RE. Ing teori rekursi, kisi r .e. sing disat LIYANE