点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,计算机/网络,计算机理论,

作者： 蒋宗礼，姜守旭编著

出 版 社： 清华大学出版社

出版时间： 2003-1-1字数： 439千版次： 1版1次页数： 346印刷时间：开本：印次：纸张：I S B N ： 9787302061038包装： 平装内容简介

形式语言与自动机理论是计算机科学与技术专业本科生的一门重要课程。本书是作者结合其10余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和实步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。

本书适合于计算机科学与技术专业的高年级本科生、研究生使用，也可供相关专业的学生、教师和科研人员参考。

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。