Dire se $L$ è nella classe $NP$.
Dire se $L$ è decidibile, riconoscibile o non riconoscibile.
THM Rice
Affermazioni: $V,F,$ aperto
Dire se linguaggio è in P o NP [o in NPSPACE]