Theory of Computation
Automata theory, formal languages, Turing machines, and computability.
自动机理论、形式语言、图灵机和可计算性。