一、前言本文总结了北邮计算机学院《形式语言与自动机》的学习资料，希望能对后辈有所帮助，奠定基础。
从名字上也可以看出，这门课是学习形式化的语言和相应的自动机。 这门课比较简单，知识脉络非常清晰。 总结起来很简单。
《形式语言与自动机》和《离散数学》的感觉其实很相似，不难，用不了多少时间，学科结构清晰。
二、思维导图以下为自行整理的XMind思维导图，有助于理清知识脉络，需自顾自取
链接： https://pan.Baidu.com/s/1h7ti9twxqfkibtps8ur vda
抽屉代码： 6ld7
制图：
三、课后题这门课网上资源少，学校很少开这门课，所以课后题尤为重要，考试基本上是你没做过的课后题的原题及其变种。
教材使用的是北邮自己制作的教材，没有制作标准答案，只有网上流传的答案，但质量很好。 除了有点难看以外，答案几乎是正确的，但是因为版本，出现了很多问题。 这里提供自己总结的课后问题的回答。
形式语言与机器人第二章课后问题的答案
形式语言与机器人第三章课后问题的答案
形式语言与机器人第四章课后问题的答案
形式语言与机器人第五章课后问题的答案
四、其他学习资料其他学习资料有限。 我自己找到的是机械工业出版社的《形式语言与自动机导论》。 作者是Peter Linz。 直接去看中文版就好了。 中的例题和课后题虽然比课程要求高一些，但可以开阔思路。 考试万一遇到崭新的问题也不会让脑子一片空白。
期末期中试题可用于前两章复习。
五、考试因为瘟疫，我们只有期末考试，不知道期中考试，但期中考试还是有点难。 期末考试难度很低，拿到高分很容易，但要注意细节(例如，起跑状态是否能直接去f )
考试的主要内容是设计机器人、语法等，这门课的考分都很简单。 要说难的话就是设计问题，但是如果语法设计不好的话，也可以直接设计自动机来转动语法。 此外，还有CH4的泵引理(CH3的泵引理很简单)。 仔细看课后题和《形式语言与自动机导论》的泵引理，记住常见的证明思路。
以上，祝大家取得满意的成绩。