标签： turing-machines np np-hard decidable
考虑语言$ E_ {tm} = {\ langle M \ rangle：M \ text {是图灵机，接受没有} $
我不确定如何开始。 我的想法是从一些NP - 完全问题中提供多时间减少。 E_tm
我不明白的是，知道E_tm不可判定，但NP-Hard类是可判定的。