形式语言与自动机理论
如何表达才能没有曲解？超越自然语言。
计算的数学模型
Chomsky 自然语言的两类形成规则 ⇒ 形式语言
ALGOL60 语言的语法描述方法（BNF） 马可斯莫尔范式
Turing Kleene Neumann Huffman 自动机研究
59年Chomsky的整合
数学基础
形式语言
形式语言与自动机的等价性
自动机理论
未开课，研究生：《有限自动机》
可计算理论
未开课
计算复杂度理论
转为《算法复杂度分析》
计算复杂度
编程：
Parallel Computer System