形式语言与自动机
正则语言、上下文无关文法、图灵机与计算复杂性，理论计算机科学基础。
第3学期
2 学分
专业基础
总体进度
章节进度
正则语言与有限自动机 未开始
上下文无关文法 未开始
图灵机 未开始
可计算性与复杂性 未开始
使用书籍
Introduction to the Theory of Computation
Michael Sipser
计划中正则语言、上下文无关文法、图灵机与计算复杂性，理论计算机科学基础。
Introduction to the Theory of Computation
Michael Sipser
计划中