内容简介
《形式 语言 与自动机导论》是理论 计算机 科学 方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。《形式语言与自动机导论》特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的 数学 细节,这有利于培养学生形式化和严格的数学 推理 能力,加强对问题的理解;《形式语言与自动机导论》通过精心 设计 的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。 《形式语言与自动机导论》主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 《形式语言与自动机导论》是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
下载地址
【新用户手机夸克APP转存可以获得1TB免费空间】
夸克网盘「电影」精选合集:https://pan.quark.cn/s/0755e002f4b6
夸克网盘「纪录片」精选合集:https://pan.quark.cn/s/8c76cd47e8be
夸克网盘「短剧」精选合集:https://pan.quark.cn/s/0f27fae4301e
夸克网盘「音乐」精选合集:https://pan.quark.cn/s/c999e39a7f49
夸克网盘「教程」精选合集:https://pan.quark.cn/s/27984fcacdad
夸克网盘「书籍」精选合集:https://pan.quark.cn/s/2532536273dd
评论列表
发表评论