形式语言与自动机

编写人：2023级 计算机科学与技术 李昊凌

上课学期：2025 秋季

教师：卜磊 李宣东

课程网站：2025

课程简介

主要内容就是自动机及其对应的语言的形式与性质。主要涉及到的有DFA、RE(正则表达式)、RL(正则语言)、CFG、PDA、CFL、TM、RL(递归语言)、RE(递归可枚举语言)、计算复杂性、迁移系统、Petri网、时间自动机。卜老师讲的挺好的，人也很不错。

考核方式

• 成绩计算方法：作业 30%，实验 30%，期末 40%
• 作业：就是正常课程的正常作业，平时怎么做这门课就怎么做。
• 实验：就是让你实现几个自动机。
• 期末：重点考察概念的理解和应用。

学习建议

强烈建议参照崔家才学长的笔记，要考察的内容都在这个笔记当中了。