turing-machines - JFLAP图灵机批量测试

Question

我在 JFLAP 中构建的图灵机是一个二进制加法器。这是一个 3 磁带 TM：前两个磁带是输入，第三个磁带得到输出。当我尝试进行批量测试（在此处找到信息）时，我无法让 .txt 文件中的第三个字符串成为输出磁带。我的 .txt 文件的构建方式如下：

00110 11100110 11001110 accept
10101 010 11101 accept 
111 1111 01101 accept
1010 101 0101 accept
0001 001001010101 001101010101 accept

但是，因为它是一个 3 磁带机，而且它必须是，我想成为输出字符串的最后一个二进制字符串被作为第三个输入字符串，对于所有测试，它应该是空白的。有什么方法可以格式化我的测试字符串，以便 JFLAP 理解最后一个字符串应该是输出？

score 1 · Accepted Answer

我发现我需要在前两个输入之后放置一个额外的空间；因此，第三个输入字符串将是一个空字符串。所以第一行是：

00110 11100110  11001110 accept

1 回答 1