编译原理 NFA_DFA代码实现 bfs+dfs+状态压缩 伪代码
这是上个月的作业了，由于当初发怕被抄袭，这个blog现在补上。
编译原理老师给我们布置了一个作业，要求用程序实现NFA_DFA的转化，并且要画图！画图！画图！日狗的事情说三遍！
对于我这个ACMer，输出表格的部分分分钟就编好了，bfs、dfs、状态压缩，程序高效无比，bug基本都清了。看看其他人还字符串比较爆搜的。。。这要是在比赛里不超时才怪！！！然后我们用了10%的时间和精力编了前半部分，用了90%的精力编写图像输出程序。。。
先给大家看看我们的前半部分是咋弄的，我用c++写的。想看代码？大哥打赏打赏use俩积分下载我上传的资源去>_<
http://download.csdn.net/detail/qdbszsj/9307911
这是伪代码，nb的人有伪代码基本就能敲出来了
1.初始化（init）：
声明各种变量，开数组，并清空。
2.输入（input）：
按照交互界面提示的格式，将nfa图输入。
3.运行核心算法程序（bfs宽度优先搜索）：
声明一个队列q，q内存储int型数据，代表状态压缩后的一个集合；
放入起点0 通过dfs算法（深度优先搜索，具体实现见下文附录）得出的集合a；
在映射s中存入a，key值为a，权值为n++（n起始为1）；
While（队列不为空）{
令f=队列的第一个元素；
队列q.pop掉一个元素；
统计的集合个数num_of_jihe++;
for(i从0~图中权值的种类数){
对f进行dfs操作，得出中间结果；
对中间结果再dfs一遍得出最终集合；
If（结果不为空并且结果在映射中不存在）{
映射中放入结果；
队列q.push进去结果；
}
}
}
然后说说我们的画图算法。。。那是一个及其日狗的算法。首先我们是用c++做表格，导出到txt里，然后用c#读取数据，画的表格，我搞ACM有些依赖c++的STL了，懒得直接用c#写程序。然而c++又没法输出质量比较高的图形，于是乎……
实际上，要想这个图画的没bug，费事的很，因为闹不好就会有俩什么玩意重合在一起了
首先：
弄个大圆，然后有几个结点，就平均分配给他们坐标，让他们在大圆上。
然后：
需要连线的连线
then：
在线上写abcd啥的，再标注上箭头
finish。。。是不是看起来十分轻松哇，然而弄这玩意弄的比前面要难好多。
这个图画的，个人认为比较有创造力的一点是我们用了向量法，就给大家提示到这了，用向量！单位向量and法向量，没有向量，咋画箭头啊，最后我们各种加x*单位向量和法向量，乱搞搞也搞出来了。这是个效果图。。。。代码，还是要下载滴：http://download.csdn.net/detail/qdbszsj/9308021
附言：
状态压缩的基本思想：
因为计算机中的数据用二进制存储，所以我们可以用一个int型的数表示一个集合，第i位为1就代表集合中存在i，为0反之。
例如：
00001101就可以代表一个集合（0,2,3）
10010010001可以代表（0,4,7,10）
Dfs函数的实现：
int dfs(int from,char key){//from代表从编号为from的点开始dfs，key代表要经过的权值
int ans=0;//初始化集合为空
if(key=='0'){//如果要dfs空
for(int i=0;i<G[from].size();i++){
if(G[from][i].v==key&&vis[G[from][i].to]==0){
ans|=(1<<G[from][i].to);//把要去的点并进集合
vis[G[from][i].to]=1;//为了避免重复将走过的点标记为1，没走过的再走
ans|=dfs(G[from][i].to,key);//递归地调用dfs
}
}
ans|=(1<<from);//不能落下起点啊
}
else{//这是dfs权值不为0的路径，因为只走一步，并且自己不算集合里，所以不用递归，最后也不用并起点
for(int i=0;i<G[from].size();i++){
if(G[from][i].v==key){
ans|=(1<<G[from][i].to);
}
}
}
// cout<<"dfs";change(ans);
return ans;
}