2025新书 形式语言与自动机导论 原书第7版 彼得林茨 王春宇 计算机科学丛书 黑皮书 形式语言自动机理论书籍 机械工业 9787111767527

开本：3开

纸张：胶版纸

包装：平装

是否套装：否

国际标准书号ISBN：9787111767527

所属分类：图书>计算机/网络>计算机理论

商品详情
本书是理论计算机科学方面的经典，主要讨论形式语言与自动机理论、可计算性理论 的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节 介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下自动机、图灵机、形式 容，应用部分主要介绍编译器和解析、解析以及解析。本书可帮助读者熟悉计算机科 能力，适合高等院校计算机科学及相关专业的学生学习，也适合理论计算机科学方向的研究