形式语言与自动机导论-西安交通大学图书馆

形式语言与自动机导论

发布日期:2006-06-20 浏览次

『内容简介』
本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。
【目录】
第1章计算理论导引
第2章有穷自动机
第3章正则语言与正则文法
第4章正则语言的性质
第5章上下文无关语言
第6章上下文无关文法的化简与范式
第7章下推自动机
第8章上下文无关语言的性质
第9章图灵机
第10章图灵机的其他模型
第11章形式语言和自动机的层次结构
第12章算法计算的限制
第13章其他的计算模型
第14章计算复杂性介绍

上一条：单片机通信技术与工程实践
下一条：过程控制系统与仪表

【关闭】