设计满足特定停机规则的Turing Machine：基于1串奇偶性控制读写头位置

这个问题的核心是用状态跟踪1的数量奇偶性，不需要记录具体数字，只需要区分“已数个数为奇/偶”两种状态，以下是具体拆解思路：

• 先定义两个核心状态：
  • S_even：当前已统计的1的数量为偶数（初始状态，未开始计数时默认是偶数）
  • S_odd：当前已统计的1的数量为奇数
• 基础处理逻辑：
  1. 处于S_even状态时，读到1：直接向右移动读写头，切换到S_odd状态
  2. 处于S_odd状态时，读到1：直接向右移动读写头，切换到S_even状态
  3. 当读到空白（说明所有连续的1已经遍历完毕）：
     • 如果当前是S_odd状态（总1数为奇数）：向左移动一格回到最后一个1的位置，停机
     • 如果当前是S_even状态（总1数为偶数）：直接在当前空白位置停机
• 补充你的初始思路：你之前的方向是对的，但没必要检查右侧——题目明确纸带只有一段连续1，所以遇到空白就意味着已经数完所有1了，核心是用状态代替“计数”，不用额外操作纸带内容（当然也可以标记已读的1，比如改成空白，但完全没必要，状态足够）
• 边界情况处理：如果初始纸带全是空白（0个1，属于偶数），直接在当前空白位置停机即可

内容的提问来源于stack exchange，提问作者Sid