北邮 形式语言与自动机

一、前言

本文总结北邮计算机学院《形式语言与自动机》的学习资料，希望能帮到学弟学妹，打好基础。

从名字也能知道，这门课就是学形式化语言及其对应的自动机。这门课相对简单，知识脉络十分清晰。总结一下就是很简单。

《形式语言与自动机》同《离散数学》的感觉其实比较像，不难，也不会花太多时间，学科结构清晰。

二、思维导图

以下是自己总结的 XMind 思维导图，可以帮助梳理知识脉络，需要自取
链接：https://pan.baidu.com/s/1h7TI9tWXqFKibtPS8urVdA
提取码：6ld7

放张图：

三、课后题

这门课在网上的资源较少，少有学校开这门课，因此课后题显得尤为重要，考试基本就是你没做过的课后题原题及其变种。

因为教材使用的是北邮自己编的教材，没有制作标准答案，只有一些网上流传的答案，不过质量还可以，除了有点丑以外，答案基本正确，不过因为版本原因，出现很多缺题现象。这里提供自己总结的课后题答案：

形式语言与自动机 第二章 课后题答案
形式语言与自动机 第三章 课后题答案
形式语言与自动机 第四章 课后题答案
形式语言与自动机 第五章 课后题答案

四、其他学习资料

其他学习资料有限，我自己找到最好的是机械工业出版社的《形式语言与自动机导论》，作者是 Peter Linz，直接去看中文版就好。里面的例题和课后题比课程要求的要高一些，不过可以拓宽思路，考试万一遇到新颖的题目不至于脑子一片空白。

期末时候可以把期中题做一下用来复习前 2 章。

五、关于考试

因为疫情，我们只有期末考试，期中考试不了解，不过期中测试题还是有点难度的。期末考试难度较低，拿高分很简单，但要注意细节（比如起始状态能不能直接到 F）。

考试主要内容为设计自动机、文法等，这门课的考查点都很简单。要说有难度的就是设计题，但是如果设计不出来文法，也可以直接设计自动机然后转文法，还有就是 CH4 的泵浦引理（CH3 的泵浦引理出题很简单），可以多看看课后题和《形式语言与自动机导论》的泵浦引理，记住一些常见的证明思路。

以上，祝大家取得满意的成绩！