老师是中科院计算所做理论的，讲得很棒，全板书。

课程内容上，会从 DFA 讲起，前半学期基本上 cover 了形式语言与自动机整学期的内容，不过有些内容会眺过。后半学期讲授图灵机和计算理论的内容。

个人感觉考试不难于作业，且有不少与课上讲授/作业强相关的内容。2022年春季学期由于线上考试人数较多，是半开卷的，可以携带任何纸质资料。