自动机与复杂度理论导论
对标课程（Instructor: Omer Reingold）：[https://see.stanford.edu/Course/cs154 CS154-2010: Introduction to Automata and Complexity Theory]
对标课程（Instructor: Jeffrey D. Ullman）: [http://infolab.stanford.edu/~ullman/ialc/spr10/spr10.html CS154-2010: Introduction to Automata and Complexity Theory] 对标课程（Instructor: Omer Reingold）：https://see.stanford.edu/Course/cs154
==编程语言==