语言与计算理论数学记号和技术形式语言与自动机计算理论

一 个很好的电子教材，适合自学与研究。详细的讲述了 第一部分 数学记号和技术 基本数学对象 数学归纳法和递归定义 第二部分 形式语言与自动机 正规语言和有限自动机 上下文无关文法和下推自动机 图林机及其语言 第三部分 计算理论 可计算性 计算复杂性