编译原理课程设计所有题目索引: https://blog.csdn.net/cs_work/article/details/93609524
设计内容及要求
对给定的正规式r1、r2,已知它们的NFA分别为M1、M2(其状态转换矩阵及初态、终态信息分别保存在指定文件中)。构造一程序,由此程序构造正规式r1|r2(或运算)的NFA(将其状态转换矩阵及初态、终态信息保存在指定文件中)。
技术原理
NFA有三种运算, 或运算, 连接运算, 闭包运算, 假设有两个正规式s, t, 那么s|t的流程图如下图所示
其实就是构造新的起始状态, 终止状态, 然后加入四个临时的状态, 然后去连接 s和t, 这样就构造出了新的状态矩阵, 本项目采用java swing开发了一个 界面, 并且支持手动选择载入待运算的两个矩阵文件, 为了测试起见, 两个状态矩阵选用的是教科书里的两个NFA
nfa1是这个
nfa2是这个
并执行或运算的程序运行结果如下图所示, 可以看到新加了SQRV四个状态, 外加新的起始状态X, 终止状态Z, 结果正确