Пакетное испытание для машины Тьюринга JFLAP - PullRequest
1 голос
/ 06 апреля 2011

Я построил машину Тьюринга в JFLAP - двоичный сумматор.Это ТМ с 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 понимал, что последняя строка должна быть выходной?

1 Ответ

1 голос
/ 14 октября 2011

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

00110 11100110  11001110 accept
...