C++编写NFA确定化与最小化实现
编译原理课里的 NFA 和 DFA 部分，光看书真挺抽象的，尤其是确定化和最小化那块。这个 C++源码就比较接地气，直接把理论给跑通了。你可以看到状态怎么建、ε-闭包咋算、DFA 怎么一步步构出来，最小化那部分也得蛮清楚。
源码结构挺清爽，核心逻辑都在几个函数里，比如epsilonClosure、determinize这些，用 C++写起来响应也快，调试方便。如果你想搞清楚状态怎么合并、DFA 怎么最小，看看这份代码比光啃书有感觉多了。
NFA和DFA的差别，其实就差在是不是“唯一下一步”。NFA 走一步可以分叉好几路，DFA 就只能老老实实选一条。这份代码里你能清楚看到怎么一步步“统一”状态集合，挺直观的。
还有一点，源码里面输入和输出也得比较实在，可以直接读配置，输出状态转移表。你要是想做个小工具来可视化 DFA 的执行过程，这份代码就可以作为底子改。
如果你正在学编译原理，或者准备写个小型编译器，建议你把这个源码跑一遍，理清楚状态怎么走，转换怎么来。嗯，效果还是蛮不错的。
文件大小：860.69KB
评论区