目录 第一章 绪论 //基础知识，关系，图，形式语言 第二章 文法 //形式定义，文法构造 第三章 有穷状态自动机 //NFA DFA 第四章 正则表达式 第五章 正则语言的性质 //Myhill-Nerode定理 第六章 上下文无关语言 //上下文无关文法的化简 //乔姆斯基范式 //格雷巴赫范式 第七章 下推自动机 第八章 上下文无关语言的性质 第九章 图灵机 第十章 上下文有关语言 附录...

这是我形式语言与自动机课程的作业题。完成乔姆斯基范式到格雷巴赫范式的转换，用C++ STL 写的，其中的字符类。 产生式类可以重用的，不过最好只是做个参照重写一个，因为我后来回过头来总结的时候发现我类接口设计的不好，特别是返回值，在别的类中调用插入删除操作过程会失败，原因是返回的容器类型是const类型，而由const类型的容器成员函数如begin()，end()等返回的迭代器也都是const类型的，所以不能用insert(),erase()等作用于const类型的迭代器。 文件中有两组测试数

这是我形式语言与自动机课程的作业题。完成乔姆斯基范式到格雷巴赫范式的转换，用C++ STL 写的，其中的字符类。 产生式类可以重用的，不过最好只是做个参照重写一个，因为我后来回过头来总结的时候发现我类接口设计的不好，特别是返回值，在别的类中调用插入删除操作过程会失败，原因是返回的容器类型是const类型，而由const类型的容器成员函数如begin()，end()等返回的迭代器也都是const类型的，所以不能用insert(),erase()等作用于const类型的迭代器。 文件中有两组测试数

运行使用jupyter，pycharm均可，基于python3， 算法是由计算导论课本上的证明步骤得来的，欢迎参考留言