摘要: 给出两个DFA的状态转换表,判断两个DFA是否相同。需要先处理循环路径,即通过某路径后无法达到AC状态,但可能通过该路径后两个DFA的状态转换不相同,这种情况下两个DFA依然是相同的,所以要把这样的路径封死。从AC状态反向建图,BFS封死上述路径,再从0状态BFS同步对比两DFA状态转换。 1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<string.h> 4 #include<queue> 5 using namespace std; 6 const int maxn = 2011; 7 阅读全文
posted @ 2012-08-28 01:08 CSGrandeur 阅读(376) 评论(3) 推荐(0) 编辑