形式语言与自动机理论

如何表达才能没有曲解？超越自然语言。

计算的数学模型

• Chomsky 自然语言的两类形成规则 ⇒ 形式语言
• ALGOL60 语言的语法描述方法（BNF） 马可斯莫尔范式
• Turing Kleene Neumann Huffman 自动机研究
• 59年Chomsky的整合

数学基础

形式语言

形式语言与自动机的等价性

自动机理论

正则语言

PDA

未开课，研究生：《有限自动机》

可计算理论

未开课

NP and Computational Intractability

<aside>

易错点

P与NP的集合关系，NPC的证明

</aside>

计算复杂度理论

转为《算法复杂度分析》

计算复杂度