平时作业与考核 - 30%
期末考试 - 闭卷 - 70%
考查课 (2022春)
参考书：
自动机理论、语言和计算导论（原书第3版）
基础知识
有穷状态自动机
正则表达式
正则语言的性质
上下文无关文法
下推自动机
图灵机
课程总结
Automata Theory