自动机简明教程:目录和内容(完结)

前言

本系列内容主要针对于哈工大形式语言与自动机课程内容做一个方法论上补充。拓展一些证明,落实一些具体的方法,做一些归纳和整理,思维的升华。
至于更加深入的东西,并没有被课程当作重点,这里我也就权当暂时不需要而不深入研究了。希望能为复习自动机的朋友们有所裨益。
当前编者:魏福煊,谢天宝
后续可能会安排讲解,带大家快速梳理思路

问题目录

如何根据要求设计出DFA
如何根据要求设计出NFA
如何根据要求设计出正则表达式
DFA转NFA
正则转DFA/NFA转正则
如何使用泵引理证明一个语言不是正则语言
正则语言封闭性相关定理
如何根据要求写出上下文无关文法
如何根据要求设计出PDA
化简上下文无关文法
转化为范式
PDA和CFG互相转化
如何使用泵引理证明一个语言不是上下文无关语言
上下文无关语言封闭性相关定理
如何根据要求设计出TM

pdf版本微云链接

直接导出到pdf了,方便大家复习
https://share.weiyun.com/rH4OUoGL?_wv=1

你可能感兴趣的:(自动机)