INSIEMI RICORSIVAMENTE ENUMERABILI
- La nozione di computabilitý porta a intro-durre un concetto pi˜ forte: quello di insieme ricorsivamente enumerabile (o semidecidibile)
- Un insieme S tale che esiste un proce-dimento effettivo per costruirlo
- esiste una Macchina di Turing T capace di computare la funzione di corrispon-denza f: N Æ S.