Set regresiv enumerabil
În teoria computabilității, numită în mod tradițional teoria recursivă, un set S de numere naturale este numit recursiv enumerabil, computable enumerable, semidecidable, probable sau Turing-recognable dacă: ▪ Există un algoritm astfel încât setul de numere de intrare pentru care algoritmul se oprește exact S. Sau, echivalent, ▪ Există un algoritm care enumeră membrii S. Aceasta înseamnă că rezultatul său este pur și simplu o listă a membrilor S: s1, s2, s3, ... Dacă este necesar, acest algoritm poate alerga pentru totdeauna. Prima condiție sugerează de ce se folosește uneori termenul semiscibil; al doilea sugerează de ce se folosește calculatorul. Abrevieri r.e. și c.e. sunt adesea folosite, chiar și în imprimare, în loc de fraza completă. În teoria complexității computaționale, clasa de complexitate care conține toate seturile recursiv enumerabile este RE. În teoria recursivă, grâul de r.e. seturile sub incluziune sunt notate.