logo
分类于: 编程语言 云计算&大数据

简介

形式语言与自动机导论

形式语言与自动机导论 8.0分

资源最后更新于 2020-08-23 08:21:32

作者:林兹

出版社:机械工业出版社

出版日期:2005-01

ISBN:9787111167884

文件格式: pdf

标签: 计算机科学 形式语言 计算机 计算理论 自动机 编译原理 语言学 编程语言

简介· · · · · ·

本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。  本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。  本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统...

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录