Se un problema non è "semi-decidibile" e "non decidabile" possiamo dire che è "indecidibile"?
-
04-11-2019 - |
Domanda
Avevo l'impressione che quando un linguaggio (o un problema) non fosse semi-dimettibile e non decidabile, possiamo dire che è indecidibile e penso che abbia senso anche basato sul diagramma.
Tuttavia, nel mio incarico l'AT ha colpito "indecidibile" e ha scritto "non semi-rilevabile". Perché "indecidabile" è sbagliato se non è sia semi-decidibile che non decidebile?
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange