|
题名:
|
形式语言与自动机 / 杨娟，石川，王柏主编 , |
|
ISBN:
|
978-7-5635-4997-9 价格： 29.00 |
|
语种:
|
chi |
|
载体形态:
|
210页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京邮电大学出版社 出版日期： 2017.02 |
|
内容提要:
|
本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。本教材不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析，书中配有较多的例题和习题。 |
|
主题词:
|
形式语言 高等教育 |
|
主题词:
|
自动机理论 高等教育 |
|
中图分类法:
|
TP301.1 版次： 5 |
|
主要责任者:
|
杨娟 主编 |
|
主要责任者:
|
石川 主编 |
|
版次:
|
2版 |
|
附注:
|
普通高等教育“十二五”规划教材 |