安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

250页:图;26cm

丛编项:

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

丛编项:

计算机科学与技术学科研究生系列教材

个人责任者:

蒋宗礼 编著

个人责任者:

姜守旭 编著

学科主题:

形式语言-研究生-教材

学科主题:

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

中图法分类号:

TP301

书目附注:

有书目和索引

提要文摘附注:

本书照我国计算机相关学科研究生教育的现状需要编写, 结合作者30来年先后在哈尔滨工业大学和北京工业大学讲授形式语言与自动机理论的经验, 选择和组织有关内容撰写而成。全书分9章, 介绍语言与文法, 正则语言的文法、自动机、正则表达式描述和性质, 上下文无关语言的文法及下推自动机描述及其性质, 图灵机, 上下文有关语言的线性有界自动机描述等。

豆瓣简介：