conjunt recursivament enumerable

m

Matemàtiques

Conjunt X quan és la imatge d’una funció recursiva; és a dir, si X = Im f , a on f és una funció recursiva o computable.

Dit més informalment, un conjunt X és recursivament enumerable si hi ha un algorisme que construeix el conjunt element a element.