形式语言课件自动机理论

本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中

《自动机理论、语言和计算导论》是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第5版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文

只有1.18,1.21,1.22,1.24的部分答案，本人做的，不一定够标准

北邮形式语言自动机考试卷，包括2018年的半期考试考试卷与一些期末试卷

Automata Theory and Model Checking,是一个关于自动机理论和模型检验的论文

陈文宇老师的课件讲的很好！FA、PDA、TM讲的都很好！

文档内包含部分课后习题和答案，仅供有需要的参考。

形式语言学的课件，很有参考价值，大家可以看看

清华大学出版社 形式语言与自动机一到五章重点

天津大学形式语言与自动机期末考试试卷，基本包含每年考试的各种题型