Пакетный тест для машины Тьюринга JFLAP

Question

Я построил машину Тьюринга в JFLAP - двоичный сумматор. Это ТМ с 3 лентами: первые две ленты являются входными данными, а третья лента получает выходные данные. Когда я пытаюсь выполнить пакетное тестирование (информация найдена здесь), я не могу получить 3-ю строку в моем файле.txt, чтобы стать выходной лентой. Мой файл.txt построен так:

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

Тем не менее, поскольку это 3-х ленточный аппарат, и это должно быть так, последняя двоичная строка, которой я хочу быть в качестве выходной строки, принимается как 3-я входная строка, которая должна быть пустой для всех тестов. Есть ли способ отформатировать мои тестовые строки, чтобы JFLAP понимал, что последняя строка должна быть выходной?

Answer 1

Я обнаружил, что мне нужно поставить дополнительный пробел после первых двух входов; таким образом, третья строка ввода будет пустой строкой. Итак, первая строка будет:

00110 11100110  11001110 accept