形式语言与自动机 第4章 正规文法和正规集的性质

第4章 正规文法和正规集的性质

正规文法和有穷自动机

RG $\to$ $\epsilon$-NFA

将文法中的变元看作状态，并增加一个新的状态 $f$ 作为终结状态：

DFA $\to$ RG

将文法中的变元看作状态；对于终结状态 F ，若 F 还有出边，则需要增加两条转移函数：

正规集的缩胀定理

缩胀定理：设 $A$ 是一个正规集，则 $\exists k\ge 0$ ，对于任何串 $x$，$y$，$z$ 且 $xyz\in A$ ，只要 $|y|\ge k$ ，就可以将 $y$ 写成 $y=uvw$，$v\ne \epsilon$ ，并且对于 $\forall i\ge 0$ ，都有 $xu{v}^{i}wz\in A$ ；

逆否命题：对于一个语言类 $A$ ，若对 $\forall k\ge 0$ ，存在字符串 $x$，$y$，$z$ 且 $xyz\in A$ ，只要 $|y|\ge k$ ，对于将 $y$ 写成任意 $y=uvw$，$v\ne \epsilon$ ，并且 $\exists i\ge 0$ ，使得 $xu{v}^{i}wz\notin A$ ，则 $A$ 不是正规集；

证明：取 $k=n$ ，$n$ 为对应 DFA 的状态数；在派生出长度大于 $n$ 的字符串过程中，必然会出现两个重复的状态（重复状态中间生成的字符串对应 $v$ ），则该段可以缩减，也可以反复膨胀

（常用逆否命题证明某个语言类不属于正规集）

例：证明集合 L 1 = { 0 i 2 ∣ i   ∈   N + } L_1=\{0^{i^2}|i{\,}{\in}{\,}N^+\} L1​={0i2∣i∈N+} 不是正规集

证明：对 $\forall k\ge 0$ ，取 $x=0^{k(k-1)}$ ，$y=0^k$，$z=\epsilon$ ，显然 $|y|=k$；对于任意 $y=uvw$ ，由于 $1\le |v|\le k$ ，故取 $i=2$ ，此时 $k^2<xu{v}^{2}wz\le k^2+k<(k+1{)}^2$ ，故 $xu{v}^{2}wz\notin L_1$ ，即 $L_1$ 不是正规集

正规集的封闭性质和判定性

RL 的封闭性质

Th 4.5：正规集在并、连接和闭包运算下是封闭的

（由正规集的定义可知）

Th 4.6：正规集在补运算下封闭

（只需将对应的 FA 的终结状态和非终结状态对换）

Th 4.7：正规集在交运算下封闭

（ $L_1\cap L_2=\overline{\overline{L_1}\cup \overline{L_2}}$ ，因为并运算和补运算是封闭的，所以交运算也是封闭的）

Th 4.8：正规集与任意集合的商运算是封闭的

（商运算： L 1 / L 2 = { x ∣ ∃ y   ∈   L 2 , x y   ∈   L 1 } L_1/L_2=\{x|\exists y{\,}{\in}{\,}L_2,xy{\,}{\in}{\,}L_1\} L1​/L2​={x∣∃y∈L2​,xy∈L1​} ）

FA 的判定问题

Th 4.9：具有 $n$ 个状态的有穷自动机具有如下性质：

• 它接受的集合非空，当且仅当它接受一个长度小于 $n$ 的字符串；
• 它接受的集合是无穷的，当且仅当它接受一个长度为 $l$ 的字符串，这里 $n\le l<2n$ ；

（若接受集合非空，则对于其中任意一个字符串，若它长度大于等于 $n$，则接受过程中必然会有重复状态出现，因此可用缩胀定理将其长度缩短至小于 $n$ ；若接受一个长度小于 $n$ 的字符串，自然接受的集合非空）

（若接受的集合无穷，则必然接受一个长度大于等于 $n$ 的串，接受过程中必然会有重复状态出现，将相邻的重复状态删去（每次删去的长度小于等于 $n$ ），直至长度小于 $2n$ ；若接受一个长度为 $l$ 的字符串，根据缩胀定理，可以不断膨胀，故接受的集合是无穷的）

推论：给定一个有穷自动机 $M$

• $L(M)$ 是否为空是可判定的；
• $L(M)$ 是否有穷是可判定的

（只需遍历所有长度小于 $n$ 的字符串）

（只需遍历所有长度大于等于 $n$ 且小于 $2n$ 的字符串）

Th 4.10：两个有穷自动机是否等价是可判定的

（可构造一个有穷自动机，使得 $L=(L_1\cap \overline{L_2})\cup (\overline{L_1}\cap L_2)$ （即对称差）；若该有穷自动机接受的语言为空集，则这两个有穷自动机等价；而有穷自动机接受语言是否为空是可判定的）

有穷自动机的极小化

等价关系：对于 $p,q\in Q$ ，若对任意 $x\in {\Sigma }^{\ast }$ ， $\delta (p,x)\in F$ 当且仅当 $\delta (q,x)\in F$ ，则称 $p$ 和 $q$ 等价

算法：

① 首先画一个这样的阶梯形表格，并且将终结状态和非终结状态对应的位置打上标记；

（标记了意味着不等价）

② 对于上一轮增加的新标记的一对状态，若它们可由另一对状态接受相同字母转移而来，则将前一对状态也打上标记；

③ 重复 ② ，直至没有新的标记产生，最终没有被打上标记的状态是等价的

原理：

• 若 $p$ 、$q$ 等价，则 $\delta (p,a)$ 和 $\delta (q,a)$ 等价；
• 若 $\delta (p,a)$ 和 $\delta (q,a)$ 不等价，则 $p$ 和 $q$ 不等价；

例：将如图所示 FA 进行极小化，算法结果如右图所示，即状态 1 和状态 2 等价，状态 3 和状态 4 等价：

极小化前	算法草稿
极小化后

Myhill-Nerode 定理

（这个定理比较难，简单讲一讲）

Myhill-Nerode 关系：设 $A\subseteq {\Sigma }^{\ast }$ ，$R$ 为 ${\Sigma }^{\ast }$ 上的等价关系，称 $R$ 为关于 $A$ 的 Myhill-Nerode 关系，当且仅当 $R$ 满足：

• 是右不变的（即若 $xRy$ ，则 $xzRyz$ ）
• 细分 $A$
• 具有有穷指数

$R_A$ ：设 $A\subseteq {\Sigma }^{\ast }$ ，定义 ${\Sigma }^{\ast }$ 上的等价关系 $R_A$ 为：$x{R}_{A}y$ 当且仅当对任意 $z\in {\Sigma }^{\ast }$ ，$xz\in A⟺yz\in A$ ；

Myhill-Nerode 定理：设 $A\subseteq {\Sigma }^{\ast }$ ，下列几个命题是等价的：

• $A$ 是一个正规集
• 在 ${\Sigma }^{\ast }$ 上存在一个关于 $A$ 的 Myhill-Nerode 关系
• 关系 $R_A$ 具有有穷指数

（常用第三条反证第一条）

例：证明 $A=0^n{1}^m{2}^m|n,m\ge 1$ 不是正规集

证明：考虑一列语句：$0012$，$00012$，$000012$ …… $0^{n}12$ …… ，其中 $i\ne j$ 时，有 $(0^{i}12+2^{i-1}\in A)$ 而 $(0^{i}12+2^{j-1}\notin A)$ ，因此 $R_A$ 的指数是无穷的，由 Myhill-Nerode 定理得，$A$ 不是正规集；