假设我有一个TM <接受语言L.如果我给它一个输入词 w 并想知道它是否接受或永远循环 - 我可以如果M不接受w，我没有解释我做什么？
我的意思是 - 短语“如果M不接受w”假设每个算法都隐含地能够识别无限循环。
我在可还原性问题中看到了很多，其中M是使用M的接受度以及M的不接受的算法中的内部TM，我从未看到外部算法如何能够解释要知道M确实不接受。只是说 - “如果M接受....其他......”，算法如何检测“其他”部分？在无限循环的情况下，如何检测到它？
由于
答案 0 :(得分：0)
通常，您不能通过算法检测TM不会在给定输入上停止。
对于“if M accept .... else ....”问题，一种可能性是else部分总是导致不接受。在那种情况下，内部TM是否循环并不重要。如果是这样，外部也将循环而不接受。因此，不需要执行else部分。
另一种可能的情况是你只看内部TM中的递归/可判定语言。然后你总能得到答案。