形式语言与自动机理论

版权信息

书 名: 形式语言与自动机理论

作者：吴哲辉

出版社：机械工业

出版时间： 2007

ISBN: 9787111209980

开本：16

定价: 20.00 元

内容简介形式语言与自动机理论是计算机科学理论的重要基础。本书主要介绍乔姆斯基文法体系的四类文法以及它们与有限自动机、下推自动机、线性界限自动机和图灵机之间的关系。此外，对语言的各种运算和封闭性质、判定问题及不可判定性以及确定的上下文无关语言与LR-文法也进行了讨论。书中还介绍了一些文法和自动机在文本编辑、编译程序、标注语言以及逻辑电路和时序电路设计中的应用。

全书共分8章：第1章介绍语言及其表示；第2章介绍正规表达式、正规文法与有限自动机；第3章介绍上下文无关文法与下推自动机；第4章介绍图灵机；第5章介绍乔姆斯基文法体系；第6章介绍语言的运算与封闭性质；第7章介绍判定问题与不可判定性；第8章介绍确定的上下文无关语言和LR-文法。

目录前言

第1章语言及其表示

1.1字母表、串和语言

1.1.1字母表

1.1.2串

1.1.3语言

……