标签： computation-theory turing
我需要证明无法识别每次输入停止的图灵机的语言。我已经看到了这个问题的多种解决方案，但是教授希望我们利用半可确定语言是某些部分可计算函数的范围这一事实，然后使用对角化来得出矛盾。我不确定如何开始使用这些“提示”思考证明。
谢谢！
吉尔