“课程是很难的课程，但是过还是比较容易的。”
本课程以前是《编译原理》的一部分，20级独立出来作为一门必修课程。
相比《算法设计与分析》、《数理逻辑》和离散数学一系列课程，《形式语言与自动机》似乎是计科培养计划里难度最大的理论计算机科学（Theoretical Computer Science）课程。希望以后有更多的TCS课程能以选修的形式出现在培养计划里。
如果有同学对TCS感兴趣（如果有TmT），可以B站搜一搜北京大学的《理论计算机科学基础》课程，这门课程前半部分有更细致的自动机理论，后半部分利用这些知识介绍了可计算性理论和计算复杂性理论，欢迎和笔者交流相关细节~
- 郑宜峰
- 挺好的老师，交流时感觉很亲切。
- 汤步洲
- 老师在 26 春负责两个大教学班的教学，是教学经验比较丰富的老师。
- 几乎不考勤
- 老师在期末会留出几节课来讲作业题和复习期末，同时会把课程总结 PPT 发给大家。课程总结 PPT 制作的相当精美，其中涵盖了大量的例题，并附带对应的解答，条理脉络非常清晰，对复习期末考试的帮助相当大。
- 陈斌
- 刘学博
- 卢瑶
- 理论计算机科学基础（北京大学）：B站搜索。这门课程前半部分有更细致的自动机理论，后半部分利用这些知识介绍了可计算性理论和计算复杂性理论。
考试都是基础题型，参考exam中的试卷。
但考试本身难度较大，因为形式语言与自动机本身有很多巧妙的构造和分析。只掌握 PPT 上的概念和例子不太能得到很高的分数，可能还需要自己找一些常见的语言文法和自动机的转换习题。
据说 20 级挂得不多，掌握基础知识就能稳过。但 21 级变成考试课后不知道会不会有变化。
（20级得分排名参考：92分 rk1，82分 rk60/500）
26 春期末试卷比往届简单很多，基本都是比较基础的题目，且大家普遍得分也很高，但复习时仍不可掉以轻心，应确保掌握基础知识。期末复习时参考各班老师 PPT 即可，推荐看 tbz 老师的。
作业有些班级是英文的，有些班级是中文的。
中文的作业都是重要的基础题，尽量完全弄懂。
英文的作业有一些十分有趣的构造和证明，网上可以搜到一些类似题目的答案。这类题目 20 级考试中并没有出现。
在 26 春，以 tbz 老师的班级为例，共布置作业 4 次，整体难度比较低，远低于 PPT 给出的例题。不过 26 春的作业和考试的关联不大，作业仅能用于复习巩固知识点。