计算理论

Automata theory, formal languages, Turing machines, and computability.

自动机理论、形式语言、图灵机和可计算性。