形式语言与自动机理论总结

一：图形总结。

重点：乔姆斯基体系

四大文法之间的关系：

总结全图： 点击图片查看大图

二：文字详解。

1，集合关系（并、交、补、差、笛卡尔积、幂积、二元关系）

1） 笛卡尔积：AXB，即都分别对应的乘积。

例1-1，A={1,2,3}，B={白、黑}

则 AXB={（1，白），（1，黑），（2，白），（2，黑），（3，白），（3，黑）}

2）幂积：2^A，即所有的子集。

例1-2，A={1,2,3},

则2^A={ Φ,{1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}

3）二元关系：任意的R∈A×B，R是A到B的二元关系

2，句子（前后缀）

　　 例2-1，句子abaabb

前缀：ε，a，ab，aba，abaa，abaab，abaabb

真前缀：ε，a，ab，aba，abaa，abaab

后缀：ε，b，bb，abb，aabb，baabb，abaabb

真后缀：ε，b，bb，abb，aabb，baabb

3，文法的构造。

例3-1，L(G)：{ a^n b^n|n,m>0}

S->aSb|ab (n,m>=0时，S->aSb|ε )

例3-2，L(G): {a^n b^n a^m b^m|n,m>=0}

S->AB A->aAb|ε B->aBb|ε

4，（1）确定的有穷状态自动机DFA。

特点：1），初态唯一，终态可有多个。

2），任意状态任意射出弧上的元素均不相等

3），识别对象为空时，初态为终态。

构造：例4-1，L={x000y|x,y ∈{0,1}* }

最小化：

扫描所有的状态对，找出所有的可区分的状态对，不可取分的状态对一定是等价的。

（2）不确定的有穷状态自动机NFA。

特点：1），初态不唯一。

2），同一状态射出弧上的标记可以相同

3），初态可以为终态。

（3）ε-NFA

是在NFA的基础上，允许直接根据当前状态变换到新的状态而不考虑输入带上的符号

（4）等价性

1），NFA与DFA等价、ε-NFA与NFA等价（NFA与DFA等价，ε-NFA与NFA等价，统称它们为FA）

2），FA与正则文法等价（FA和左线性文法、右线性文法等价）

对于一个输入字符，NFA与DFA的差异是前者可以进入若干个状态，而后者只能进入一个惟一的状态。虽然从DFA看待问题的角度来说，NFA在某一时刻同时进入若干个状态，但是，这若干个状态合在一起的“总效果”相当于它处于这些状态对应的一个“综合状态”

5，正则表达式RE-----FA的转换规则

（1）

（2）

（3）

6，正则语言RL

（1）封闭性

1）正则语言的并、交、补是正则语言。

2）正则语言的乘积（连接）是正则语言。

3）正则语言的差是正则语言。

4）正则语言的闭包是正则语言。

5）正则语言的商是正则语言。

6）正则语言的同态是正则语言。

7）正则语言的逆转是正则语言。

附：上下文无关语言CFL的封闭性

1）并、乘积、闭包是封闭的

2）交、补不封闭

（2）泵引理

DFA在处理一个足够长的句子的过程中，必定会重复地经过某一个状态。换句话说，在DFA的状态转移图中，必定存在一条含有回路的从启动状态到某个终止状态的路。由于是回路，所以，DFA可以根据实际需要沿着这个回路循环运行，相当于这个回路中弧上的标记构成的非空子串可以重复任意多次。

（3）等价模型

7，上下文无关语言CFL

（1）语法树

1）每个句型至少存在一颗语法树，每颗语法树至少存在一个推导。

2）每颗树的叶子组成句型（句型就是我们的结果）。

3）每颗简单子树的叶子组成简单短语。

4）最左简单子树的叶子组成句柄。

（2）CFG的化简

1）去无用符号。

首先删除不可终止的，再删除不可到达的

2）去空产生式

先求可空变量，再看空产生式会对哪些产生式有影响

3）去单一产生式

可能会产生新的无用符号或单一产生式

8，图灵机与计算机

（1）用计算机模拟图灵机，不是任何的图灵机都能被计算机来模拟

模拟步骤： 1），在计算机上开辟较大的一维数组来模拟输入带

2），将输入带存入数组

3），转换函数用什么数据结构存储

4），用有穷的编制计算机程序，在输入带上模拟图灵机运行

（2）图灵机比计算机速度慢

（3）运行时间