个人信息Personal Information
副教授
博士生导师
硕士生导师
电子邮箱：
形式语言与计算复杂性
当前位置： 中文主页 >> 教学课程 >> 形式语言与计算复杂性课件（2024年春）
1 绪论 |
||
2. Automata and Languages |
Regular Languages |
|
Context-free Languages |
||
3. Computability Theory |
The Church-Turing Thesis |
|
Decidability |
||
Reducibility |
||
4. Complexity Theory |
Time Complexity |
|
Space Complexity |
||
参考书目
Introduction to the Theory of Computation |
常用链接
Adobe Reader |