我被要求设计一个图灵机（使用状态和显式增量函数的老式方法）。要求是：输入是 TM 应该停止的 epsilon（无限个“空白”符号），使用的字母表是 {B, 0, 1}（B 是“空白”符号），最大状态数是 5。
目标是找到一个尽可能多地打印“1”的解决方案。
我的想法：首先打印两个“0”（我可以从2个状态中得到的最大值），然后用“1”替换每个0，并在字符串中添加另一个“1”。如果达到“B”，也更换它。
总共输出六个“1”。
也许有人知道如何获得更多？
添加
好的，这个提示归功于赞恩。
根据一些谷歌搜索和维基百科阅读，这正是我/我正在搜索的内容：http ://www.logique.jussieu.fr/~michel/ha.html#tm43