西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

版本说明:

第2版

出版发行项:

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

ISBN及定价:

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

载体形态项:

210页:图;26cm

个人责任者:

杨娟 主编

个人责任者:

石川 主编

个人责任者:

王柏 主编

学科主题:

形式语言-高等学校-教材

学科主题:

自动机理论-高等学校-教材

中图法分类号:

TP301

中图法分类号:

TP301.1

一般附注:

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

书目附注:

有书目 (第210页)

提要文摘附注:

本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。

使用对象附注:

本书可作为工科计算机专业本科生的教材和研究人员的参考书。

豆瓣简介：