形式语言与自动机导论

出版时间：2005-9  出版社：机械工业出版社  作者：林兹  页数：289  
Tag标签：无  

内容概要

本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。    本书是理论计算机科学方面的优秀教材之珂作为高等院校计算机专业的教材，也可作为计算机系统研发人员的参考书。

作者简介

Peter Linz 在威斯康星大学获得博士学位，是加州大学戴维斯分校计算机科学系退休教授，其研究领域为计算机数值分析理论。除本书外，他还撰有《Exploring Numerical Methods:Fan Introduction to Scientific Computing》一书。

书籍目录

出版者的话专家指导委员会译者序前言第1章  计算理论导引  1.1 数学预备知识和表示  1.2 三个基本概念  1.3 一些应用第2章  有穷自动机  2.1 确定型有穷接受器  2.2 非确这型有穷接受器  2.3 确定型有穷接受器和非确定型有  2.4 减少有穷自动机中状态的化简第3章  正则语言与正则文法  3.1 正则表达式  3.2 正则表达和正则语言之间的联系  3.3 正则文法第4章  正则语言的性质  4.1 正则语言的封闭性质  4.2 正则语言的基本问题  4.3 识别非正则语言第5章  上下文无关语言  5.1 上下文无关方法  5.2 分析和二义性  5.3 上下文无关文法和程序设计语言第6章  上下文无关文法的化简与范式  6.1 文法变换方法  6.2 两个重要的范式  6.3 上下文无关文法的成员资格第7章  下推自动机  7.1 非确定型下推自动机  7.2 下推自动机与上下文无关语言  7.3 确定型下推自动机和确定型上下文无关语言  7.4 确定型上下文无关语言的方法第8章  上下文无关语言的性质  8.1 两个泵引理  8.2 上下文无关语言的封闭性质和判定算法第9章  图灵机  9.1 标准图灵机  9.2 完成复杂任务的组合图灵机  9.3 图灵论题第10章  图灵机的其他模型  10.1 对图灵机的等价性  10.2 具有更复杂存储的图灵机  10.3 非确定型图灵机  10.4 通用图灵机  10.5 线性有界自动机第11章  形式语言和自动机的层次结构第12章  算法计算的限制第13章  其他的计算模型第14章  计算复杂性介绍部分习题的解答和提示参考文献索引

用户评论 (总计3条)

•   看了一下，不错，导论的书，帮助了解这方面的理论。
•   本书对一些概念阐述的很清楚，很适合初学者学习。
•   挺好的，是我们学校指定的教材，