中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

978-7-302-45602-5/CNY39.00

载体形态项:

250页:图;26cm

丛编项:

计算机科学与技术学科前沿丛书

丛编项:

计算机科学与技术学科研究生系列教材:中文版

个人责任者:

蒋宗礼 编著

个人责任者:

姜守旭 编著

学科主题:

形式语言-研究生-教材

学科主题:

自动机理论-研究生-教材

中图法分类号:

TP301

书目附注:

有书目和索引

提要文摘附注:

形式语言与自动机理论因其以体现计算学科中模型描述、模型研究和模型计算为问题求解的主要特征而成为计算机科学与技术、软件工程、网络空间安全等计算机类学科教育的*重要的内容之一。本书按照我国当前计算机类及相关学科研究生教育实际需求，结合作者30余年的教学实践编著而成，以正则语言与上下文无关语言的文法、识别模型及其性质，以及图灵机基本知识为载体，分9章讨论相关内容，力图强化学生基于模型的建立、研究、处理，实现问题求解的意识，让学生掌握相应的基本方法，提升解决问题的能力与水平。

豆瓣简介：