图灵机无法接受的所有已知语言是什么？

Question

对于example，任何图灵机都不能接受不接受自己编码的图灵机的语言。

Answer 1

有无数种语言可供TM无法决定。实际上，“大多数”语言是不可判定的;有许多可判定的语言，但不计其数的语言很多（因此，很多不可判断的语言）。

Rice的定理允许你提出许多不可判断的语言例子。请参阅维基百科页面：Rice's Theorem

基本上，如果你有一组非常重要的语言（即，TM中可以识别集合中的语言，TM可以识别不在集合中的语言），那么是否是任意TM的语言是不可判定的在S中。例如，让S是由空语言组成的集合。那么确定一个任意TM是否接受空语言，即没有字符串是不可判定的。想出任何非平凡的语言，你就会有一种新的不可判断的语言（TM的所有编码识别集合中的语言）。