图灵机比较多个二进制数

Question

我想知道如何构建图灵机

A<B<C<D...<N

所有数字（A，B，C，D，...，N）都是正二进制数。

这些是机器应该如何工作的几个例子：

1001 - 接受，因为只有一个数字

0 <1 - 接受

0010 <1000 <0001 - 不接受，因为1000！<0001

0100 <1010 <1010 <1000 - 不接受，因为1010！<1010

我已经尝试过只能比较两个数字的方法，但我似乎无法找到比较多个（应该适用于无限数量的输入）数字的方法。

Answer 1

这是解决此问题的高级框图。 您可以使用JFLAP的块功能来实现这些块。

块描述
完成了吗？ ：这个块决定是否所有比较都完成，如果是，它接受，否则，它将比较接下来的两个数字。
A <B ：该块负责比较两个二进制数，即光标指向第一个数字和下一个数字的二进制数。 您可以使用“<”作为A和B之间的分隔符以及下一个数字。
清理 ：在比较期间，您可能将0和1标记为其他内容。 这个块清理所有东西并为下一次比较做好准备。

希望这能让您有机会解决问题。