杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式语言与自动机理论/蒋宗礼, 姜守旭编著

版本说明:

第4版

出版发行项:

北京:清华大学出版社,2023

ISBN及定价:

978-7-302-63625-0/CNY59.90

载体形态项:

XIV, 301页:图;26cm

丛编项:

21世纪大学本科计算机专业系列教材

个人责任者:

蒋宗礼 编著

个人责任者:

姜守旭 编著

学科主题:

形式语言-高等教育-教材

学科主题:

自动机理论-高等教育-教材

中图法分类号:

TP301

一般附注:

国家精品课程配套教材 国家级精品资源共享课程配套教材 “形式语言与自动机理论”课程相关教材及教学资源

责任者附注:

蒋宗礼, 1978年3月至1984年7月在哈尔滨工业大学计算机系学习, 曾经到美国、加拿大进修。

书目附注:

有书目和索引

提要文摘附注:

本书基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质, 图灵机的基本知识。叙述中特别注意引导读者分析与解决问题, 以培养学生的形式化描述和抽象思维能力, 使学生了解和初步掌握“问题、形式化、自动化 (计算机化) ”的解题思路。

豆瓣简介：