* [[集合、关系和语言]] Sets, Relations, and Languages
 * [[有穷自动机]] Finite Automata
 * [[上下文无关语言]] Context-Free Languages
 * [[图灵机]] Turing Machines
 * [[不可判定性]] Undecidability
 * [[计算复杂性]] Computational Complexity
 * [[NP完全性]] NP-completeness