1:14:50 我已经思考这个问题好几天了，它与 pset2 #4 [可判定的投影当且仅当 T-可识别] 有关。我们如何确保证明本身不会导致循环。从投影问题的意义上讲，我如何确保可识别的 T 正在尝试新的输入，而不是在特定的 (x,y) 对中浪费时间进行无意义的循环####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[可判定的投影当且仅当 T-可识别]', 'Mathematical_Related_Concept', 'NEU']]