La langue de TM est indécidable
-
05-11-2019 - |
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