形式语言与自动机第版

【书名】 形式语言与自动机第版
【作者】 杨娟,石川,王柏
【出版社】 北京北京邮电大学出版社
【关键词】 自动机理论高等学校滩膞形式语言高等学校滩膞
【摘要描述】 本书扼要地介绍了形式语言与自动机的基本体系,是学习计算机科学基础的教材和参考书。
书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性,包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。
同时介绍形式语言与自动机方面的主要理论成果和应用实例。
本教材不追求过多形式化讨论,强调基本概念的直观背景和主要定理证明的思路分析,书中配有较多的例题和习题。
【中国图书分类号】 TP301.1

在线工具导航