INSIEMI RICORSIVI (o DECIDIBILI)

TEOREMA 2

Un insieme S Ë ricorsivo (decidibile)

se e solo se

sia S

sia il suo complemento N-S

sono ricorsivamente enumerabili (semidecidibili)

Diapositiva precedente Diapositiva successiva Torna alla prima diapositiva Visualizza versione grafica