计算理论导论

Formal languages, automata, computability, program correctness proofs.

形式语言、自动机、可计算性和程序正确性证明。