标签： reduction turing-machines
将以下问题定义为一种语言，并证明由于停止问题的减少而无法确定。了解图灵机是否会在磁带上输出您的名字。语言是显示您姓名的所有TM的集合。减少HALT问题。