一个不属于输入语言的字符串怎么能让图灵机陷入死循环?

How can a string that does not belongs to the input language can set a turing machine in a infinite loop?

如何通过输入不属于输入语言的字符串来设置无限循环的图灵机,即使它具有拒绝状态?

考虑执行以下操作的 TM:

  1. 读取磁带单元格。如果为 0,则停止接受。如果为1,写1,右移,进入状态2。
  2. 读取磁带单元格。如果为0,halt reject 如果为1,写1,左移,进入状态1。

本机接受字符串 0* + 10*。它不接受 11* 中的任何内容,但它将在这样的字符串上永远循环。