形式语言与自动机 “形式语言与自动机”是计算机科学与技术专业的重要理论基础课程,它不仅是计算机科学的核心课程,而且已成为电子信息类专业的热门课程
本书具有如下特色: (1)对递归定义3要素(基础条款、归纳条款、*小性条款)知识点延伸拓展,培养学生递归子程序的形式化描述方法,解决程序开发过程中软件设计的完备性问题。 (2)对语言的形式化表示进行延伸拓展,培养学生算法的形式化表示能力,解决程序开发过程中程序自动生成问题。 (3)对问题描述进行延伸拓展,培养学生从实例计算到模型计算(类计算)演化的能力,解决程序开发过程中抽象建模问题。 (4)对图灵机知识进行延伸拓展,培养学生底层算法设计能力,解决程序开发过程中算法的可行性证明问题。
¥18.80定价:¥25.00 (7.52折)