形式语言与自动机及程序设计PDF电子书下载

第1章 基础知识简介 1

1.1集合 1

1.2语言及其表示 3

1.3 VC ++6.0MFC编程简介 6

第2章 文法 10

2.1文法的定义 10

2.2文法的乔姆斯基分类 12

2.3推导树 13

2.4文法生成句子的程序设计 16

第3章 有限状态自动机 29

3.1确定的有限自动机 29

3.2不确定的有限自动机 39

第4章 下推自动机 73

4.1下推自动机的定义 73

4.2下推自动机的表示 76

4.3下推自动机接受的语言 78

4.4下推自动机程序设计 81

4.5确定的下推自动机 94

第5章 图灵机 106

5.1图灵机的基本模型 106

5.2图灵机的计算功能 114

5.3图灵机的状态中存储符号 122

5.4图灵机的多道技术 132

5.5图灵机的子程序技术 154

5.6图灵机的变形 163

参考文献 165