F#语言及其在自动机理论中的应用PDF电子书下载

第一部分 基 础篇 3

第1章 F#简介和环境搭建 3

1.1 F#简介 3

1.2 环境搭建 5

1.3 F#工程结构 5

第2章 F#语言基础 21

2.1 值与类型 21

2.2 函数 35

2.3 列表 39

2.4 数组 45

2.5 序列 46

2.6 控制结构 48

第二部分 应用篇 55

第3章 DFA（Deterministic finite state automata） 55

3.1 什么是DFA 55

3.2 DFA识别的语言 59

第4章 NFA（Nondeterministic finite state automata） 65

4.1 什么是NFA 65

4.2 NFA识别的语言 68

4.3 NFA到DFA的转化 72

第5章 ？-NFA 93

5.1 什么是？-NFA 93

5.2 ？闭包 98

5.3 ？-NFA识别的语言 101

5.4 ？-NFA-＞DFA的转化 103

第6章 正则表达式和自动机 118

6.1 正则表达式 118

6.2 DFA转化为正则表达式 120

6.3 正则表达式转化为自动机 128

第7章 下推自动机 160

7.1 下推自动机的定义 160

7.2 PDA的瞬时描述 165

第8章 图灵机 179

8.1 图灵机简介 179

8.2 图灵机的瞬时描述 181

参考文献 192