Introduction to the Theory of Computation
Formal languages, automata, computability, program correctness proofs.
形式语言、自动机、可计算性和程序正确性证明。