构造正规式r1|r2（或运算）的NFA的程序实现(Python实现版本)、编译原理课程设计

编译原理课程设计所有题目索引: https://blog.youkuaiyun.com/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, 结果正确