计算理论实验要求在ACM系统提交，头一次用ACM做实验，本机测试对的提交之后却得到错误的结果，相当的郁闷，不过还好，后来在同学的帮助下解决了，顺利AC。   实验题目： ADFA={<B,w>|B是DFA，w是串，B接收w}，证明：ADFA是可判定的。 编写一个算法/程序，对于给定的输入<B,w>，可以判 … Continue reading →