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

Online Public Access Catalogue

题名/责任者:

形式语言与自动机/杨娟, 石川, 王柏主编

版本说明:

第2版

出版发行项:

北京:北京邮电大学出版社,2017

ISBN及定价:

978-7-5635-4997-9/CNY29.00

载体形态项:

210页:图;26cm

个人责任者:

杨娟 主编

个人责任者:

石川 主编

个人责任者:

王柏 主编

学科主题:

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

学科主题:

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

中图法分类号:

TP301.2

书目附注:

有书目 (第210页)

提要文摘附注:

本书扼要地介绍了形式语言与自动机的基本体系, 是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性, 包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。本教材不追求过多形式化讨论, 强调基本概念的直观背景和主要定理证明的思路分析, 书中配有较多的例题和习题。

使用对象附注:

普通高等教育“十二五”规划教材

豆瓣简介：