JFLAP圖靈機的批處理測試

Batch Test for JFLAP Turing Machine
投票:1回答:1

我在JFLAP中構建的圖靈機是二進制加法器。 它是3個磁帶TM:前兩個磁帶是輸入,而第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磁帶機,所以我要作為輸出字符串的最後一個二進製字符串被當作第3個輸入字符串,對於所有測試,該字符串都應該為空白。 有什麼方法可以格式化測試字符串,以便JFLAP理解最後一個字符串應該是輸出嗎?

tags:turing-machines,jflap
1回答
1
投票

我發現我需要在前兩個輸入之後留一個額外的空間; 因此,第三個輸入字符串將是一個空字符串。 因此,第一行將是:

00110 11100110  11001110 accept

©2020 sofbug.com - All rights reserved.