INSIEMI RICORSIVI (o DECIDIBILI)

ossia...

se esiste una Macchina di Turing capace di rispondere sÏ o no, senza entrare in un ciclo infinito, alla domanda se un qualsiasi elemento appartiene allíinsieme.