个人感觉画出NFA最直观易懂了。前一个正规式仅有一个状态(开始和接受状态同),后一个虽然是三个状态,但是其中一个是绕着a闭包的状态,一个是绕着b闭包的状态,而这两个状态又是绕着第三状态(既是开始状态又是接受状态)进行闭包,所以实际上可合并为一种状态,即是说这两个正规式对应于同一个NFA,所以相等是显然成立的。
合肥工业大学的编译原理课设吧, 实现上都还好, 不知道你们这一届需不需要写GUI界面, 可以参考下面的这个链接来弄
blog.csdn.net/cs_work/article/details/93609524