1. 课程名称: An Introduction to Computability Theory（大三CS课程）
2. 大概内容： (纯理论无编程) DFA, NFA, PDA, context-free language, PDA, 图灵机等，共四道大题
3. 课本见附件Textbook.pdf， 包含的章节：
· All of chapter 1
· 2.1 until “ambiguity”, 2.2, 2.3
· All of chapter 3
· 4.2
· 5.1 until “reductions via computation histories”
· 6.1
4. Due: 美西时间3/15中午12：00(本周四中午)，中国时间3/16凌晨4：00(本周五凌晨)
5. 大概所需时间：8-10h（教授估计的时间）
6. 备注：最好可以用LaTex 写，不方便的话不用也可以