一、前言
本文總結 BUPT 計算機學院《形式語言與自動機》的學習資料，希望能幫到學弟學妹，打好基礎。
從名字也能知道，這門課就是學形式化語言及其對應的自動機。這門課相對簡單，知識脈絡十分清晰。總結一下就是很簡單。
《形式語言與自動機》同《離散數學》的感覺其實比較像，不難，也不會花太多時間，學科結構清晰。
二、思維導圖
以下是自己總結的 XMind 思維導圖，可以幫助梳理知識脈絡，需要自取
鏈接：https://pan.baidu.com/s/1h7TI9tWXqFKibtPS8urVdA
提取碼：6ld7
放張圖：
三、課後題
這門課在網上的資源較少，少有學校開這門課，因此課後題顯得尤爲重要，考試基本就是你沒做過的課後題原題及其變種。
因爲教材使用的是北郵自己編的教材，沒有製作標準答案，只有一些網上流傳的答案，不過質量還可以，除了有點醜以外，答案基本正確，不過因爲版本原因，出現很多缺題現象。這裏提供自己總結的課後題答案：
形式語言與自動機 第二章 課後題答案
形式語言與自動機 第三章 課後題答案
形式語言與自動機 第四章 課後題答案
形式語言與自動機 第五章 課後題答案
四、其他學習資料
其他學習資料有限，我自己找到最好的是機械工業出版社的《形式語言與自動機導論》，作者是 Peter Linz，直接去看中文版就好。裏面的例題和課後題比課程要求的要高一些，不過可以拓寬思路，考試萬一遇到新穎的題目不至於腦子一片空白。
期末時候可以把期中題做一下用來複習前 2 章。
五、關於考試
因爲疫情，我們只有期末考試，期中考試不瞭解，不過期中測試題還是有點難度的。期末考試難度較低，拿高分很簡單，但要注意細節（比如起始狀態能不能直接到 F）。
考試主要內容爲設計自動機、文法等，這門課的考查點都很簡單。要說有難度的就是設計題，但是如果設計不出來文法，也可以直接設計自動機然後轉文法，還有就是 CH4 的泵浦引理（CH3 的泵浦引理出題很簡單），可以多看看課後題和《形式語言與自動機導論》的泵浦引理，記住一些常見的證明思路。
以上，祝大家取得滿意的成績！