Se un problema non è "semi-decidibile" e "non decidabile" possiamo dire che è "indecidibile"?

cs.stackexchange https://cs.stackexchange.com/questions/83815

  •  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.

enter image description here

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
scroll top