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