湖南大学-计算理论实验(共16页).docx

精选优质文档-倾情为你奉上目录实验A- ADFA的可判定性1、 问题描述Problem descriptionADFA=|B是DFA，w是串，B接收w证明：ADFA是可判定的。 实验方法:编写一个算法/程序，对于任意给定的输入，可以判定ADFA。 Input有多个测试序列，测试结束于测试文件结束； 每个测试序列的第一行为几个正整数n m t a分别表示有n个状态，从a开始m个小写字母组成的字符集，第一个状态默认为起始状态。t个接受状态和a个测试串,接下来为一个n行m列的矩阵S,其中Sij表示第i行第j列，意义为状态i经过字母j到达状态Sij。接下来有t个数字,表示t个接受状态值，然后是a行，每行一个串表示待测试的串。Output对于每个字符串输出YES表示该DFA接受该串，NO表示不接受。Sample Input3 3 1 2