概念 自动机理论-中心概念 Chomsky分类法 正规语言 有穷自动机 正规表达式 有限状态自动机与正规表达式 上下文无关语言 上下文无关文法与上下文无关语言 下推自动机 下推自动机与上下文无关文法 CFG 的简化 上下文无关文法的性质与运算 图灵机与计算理论 图灵机 计算理论初步 补充 形式语言与自动机-各语言正反例