【问题标题】:Batch Test for JFLAP Turing MachineJFLAP图灵机批量测试
【发布时间】: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


    【解决方案1】:

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

    00110 11100110  11001110 accept
    

    【讨论】:

      猜你喜欢
      • 2010-10-24
      • 2013-02-09
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2011-05-30
      相关资源
      最近更新 更多