Question

Pourquoi ce problème est-il$$ l = { langle m Rangle mid l (m) text {est indécidable} } $$ Indécidable?

Je pensais que si nous savons $ L (m) $ La mampiles Turing accepte tout $ x in l (m) $, alors $ L (m) $ est dans tous les cas décidés et $ L = videset $ particulièrement fini et décidable.

Je sais que nous ne pouvons pas trouver d'algorithme mais chaque TM a une langue et nous même si nous ne le faisons pas, nous savons que c'est décideable.

Quelqu'un peut-il m'aider où j'ai un malentendu?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top