有限自动机.docVIP

《编译原理》之有限自动机确定化程序 作者:ninstein 日期:2007-03-28 字体大小: 小 中 大 这个学期开了《编译原理》，感觉学起来还是有点难度的，因此得多练习练习，在一次作业过程中，发现用子集法求状态转化矩阵的时候，当正规式比较复杂[如(00|11)*((01|10)(00|11)*(01|10)(00|11)*)*]的时候，手工操作很难保证每步的正确性，于是引发了用程序实现的想法，于是几个工作小时后便有了这么一堆不怎么地道的代码。如果你想看懂本程序，请事先作好心理准备，不必计较，我不是在怀疑你的代码阅读水平，而是在质疑自己的编码水准：）FQ:F：本程序能用来做什么？Q：1.用来被你分析，后面有源代码；2.用来作《编译原理》的练习[当然只是与NFA--DFA相关的题目]F：是不是真正的编译器里有类似本程序的算法？Q：我也不清楚，因为这个程序的出现完全只是结合几条法则通过笨拙的向量结构实现的，但是编译器应该是有将非确定有限自动机转化为确定有限自动机这一步的F：如何使用本程序？A：譬如有正规式1(0|1)*101，要求得到其DFA，那么我们先可以手工划出其NFA状态转换图[如下图所示] 然后运行本程序并对照这张图 严格 输入相关数据，输入数据结束后将得到运行结果，下面是整个程序运行过程中产生的字符：[小提示：右击程序字符界面选择“全选”然后按回车，这时