【发布时间】:2011-04-06 03:20:49
【问题描述】:
我在 JFLAP 中构建的图灵机是一个二进制加法器。这是一个 3 磁带 TM:前两个磁带是输入,第三个磁带得到输出。当我尝试进行批量测试时(找到here 的信息),我无法将 .txt 文件中的第三个字符串变成输出磁带。我的 .txt 文件是这样构建的:
00110 11100110 11001110 accept
10101 010 11101 accept
111 1111 01101 accept
1010 101 0101 accept
0001 001001010101 001101010101 accept
但是,因为它是一个 3 磁带机,而且它必须是,我想成为输出字符串的最后一个二进制字符串被作为第三个输入字符串,对于所有测试应该是空白的。有什么方法可以格式化我的测试字符串,以便 JFLAP 理解最后一个字符串应该是输出?
【问题讨论】:
标签: turing-machines jflap