前言
本系列內容主要針對於哈工大形式語言與自動機課程內容做一個方法論上補充。拓展一些證明，落實一些具體的方法，做一些歸納和整理，思維的昇華。
至於更加深入的東西，並沒有被課程當作重點，這裏我也就權當暫時不需要而不深入研究了。希望能爲複習自動機的朋友們有所裨益。
當前編者：魏福煊，謝天寶
後續可能會安排講解，帶大家快速梳理思路
問題目錄
如何根據要求設計出DFA
如何根據要求設計出NFA
如何根據要求設計出正則表達式
DFA轉NFA
正則轉DFA/NFA轉正則
如何使用泵引理證明一個語言不是正則語言
正則語言封閉性相關定理
如何根據要求寫出上下文無關文法
如何根據要求設計出PDA
化簡上下文無關文法
轉化爲範式
PDA和CFG互相轉化
如何使用泵引理證明一個語言不是上下文無關語言
上下文無關語言封閉性相關定理
如何根據要求設計出TM
pdf版本微雲鏈接
直接導出到pdf了，方便大家複習
https://share.weiyun.com/rH4OUoGL?_wv=1