图书标签: 形式语言与自动机 自动机 计算机 形式语言 计算机科学 编译原理 算法 CS
发表于2024-12-23
形式语言与自动机理论 pdf epub mobi txt 电子书 下载 2024
《普通高等教育"十一五"国家级规划教材•21世纪大学本科计算机专业系列教材:形式语言与自动机理论(第2版)》是作者结合其20余年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识,更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化,既有严格的理论证明,又具有很强的构造性,从而培养学生的形式化描述和抽象思维能力,使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握,附录A还给出了建议的教学设计。
读了前七章,后面的大段大段证明放弃了
评分算是编译原理的预备课程的教材吧
评分很好玩的东西,乔姆斯基,图灵,罗素,拓扑。。。。数学中许多抽象的理论在计算机理论中都得到了具体化,数值分析,偏微分方程,还是泛函,不全面,是计算机语言!
评分很好玩的东西,乔姆斯基,图灵,罗素,拓扑。。。。数学中许多抽象的理论在计算机理论中都得到了具体化,数值分析,偏微分方程,还是泛函,不全面,是计算机语言!
评分编译原理前续,后面几章还得学。
感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
评分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
评分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
评分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
评分感慨一点: 国外书一般是引用参考论文写的, 国内书一般引用参考国外书而写。 这本书相比于它的主要参考书比如离散数学及其应用,最大的好处在与个头厚度小,方便拿在路上看,呵呵。 有国内教科书的一般特征,偏证明。但各个概念的连接做的不错。 总体来说推荐。
形式语言与自动机理论 pdf epub mobi txt 电子书 下载 2024