计算理论基础：1、自动机与语言

计算理论基础

NP问题：可以被快速验证的问题

P问题：可以被高效计算的问题(在$n^{O(1)}$的时间内)

1.正则语言

正则语言：一些不需要内存就可以解决的问题（可以被有限自动机解决的问题）

1.1 有限自动机(finite automaton)

$L$的上界：证明$L$是可以在时间$T(n)$内解决的。

$L$的下界：证明$L$是不可能在时间$T(n)$内解决。

例1.1：自动门(门内和门外两个区域)，有两个状态(开、关)，

输入情况：

	front	rear	both	neither
front	√	×	√	×
rear	×	√	√	×

例1.2： L = { ω ∈ { 0 , 1 } ∗ , ω = ω 1 ω 2 ⋯ ω n , ω n = 0 } L=\{\omega \in\{0,1\}^* ,\omega=\omega_1\omega_2\cdots\omega_n,\omega_n=0\} L={ω∈{0,1}∗,ω=ω1​ω2​⋯ωn​,ωn​=0}，可以用有限自动机解决。

​ Q = { q 0 , q 1 } , ∑ = { 0 , 1 } ， δ : Q × ∑ → Q Q=\{q_0,q_1\},\sum=\{0,1\}，\delta:Q\times\sum\rightarrow Q Q={q0​,q1​},∑={0,1}，δ:Q×∑→Q如下表所示

	0	1
$q_0$	$q_0$	$q_1$
$q_1$	$q_0$	$q_1$

例1.3： L = { ω ∈ { 0 , 1 } ∗ , ω = ω 1 ω 2 ⋯ ω n , ω n = 2 ⋅ ω n − 1 + 2 2 ⋅ ω n − 2 + ⋯ ☰  0   m o d 3 } L=\{\omega\in\{0,1\}^*,\omega=\omega_1\omega_2 \cdots \omega_n,\omega_n=2\cdot\omega_{n-1}+2^2\cdot\omega_{n-2}+\cdots ☰\ 0\ mod3\} L={ω∈{0,1}∗,ω=ω1​ω2​⋯ωn​,ωn​=2⋅ωn−1​+22⋅ωn−2​+⋯☰ 0 mod3}(读一个二进制数，从高往低读，判断是否模3)

$Def2.1$ 有限自动机：一个有限自动机是一个五元组$(Q,\sum ,\delta ,q_0,F)$

1. $Q$是一个有限集(状态集合)
2. $\sum$是一个字母表
3. $\delta :Q\times \sum \to Q$是转移函数
4. $q_0$：初始状态
5. $F$：接收状态，$F\subseteq Q$，可以是空集

$Def2.2$ 接收(accept)：$M=(Q,\sum ,\delta ,q_0,F)$,令$M$是一个有限自动机，令$w=w_1\cdots w_n$是一个字符串，有$w_i\in \sum$,若$\exists$一系列状态$r_0,r_1,\cdots ,r_n\in Q$,有：

1. $r_0=q_0$
2. $\delta (r_i,w_{i+1})=r_{i+1},i=0,1,2,\cdots ,n-1$
3. $r_n\in F$

则称$M$接收$w$

$Def2.3$ 可识别：$L$是$M$可接受的一系列字符串(strings)，我们就称$L$是$M$的语言，记为$L(M)=L$,称$M$可识别(判定、接收)$L$，如果$M$不接受任何字符串，则称它接收的语言为空语言(the empty language)。

例1.4： L = { ω ∈ { 0 , 1 } ∗ , ω = ω 1 ω 2 ⋯ ω n , ω 1 ≠ ω n } L=\{\omega\in\{0,1\}^*,\omega=\omega_1\omega_2\cdots\omega_n,\omega_1\neq\omega_n\} L={ω∈{0,1}∗,ω=ω1​ω2​⋯ωn​,ω1​=ωn​}

$q_1,q_3$是可接收的,分支可归约到例二的情况。

例1.5：回文数问题， L = { ω ∈ { 0 , 1 } ∗ , ω R = ω } L=\{\omega \in \{0,1\}^*,\omega^R=\omega\} L={ω∈{0,1}∗,ωR=ω}

无法用有限自动机解决

$Def2.4$ 正则语言：$L\subseteq {\sum }^{\ast }$是正则语言，若存在有限自动机接收$L$

$LetA,B\subseteq {\sum }^{\ast },Define$

• (union) A ∪ B = { x ∈ ∑ ∗ , x ∈ A   o r   x ∈ B } A\cup B=\{x\in\sum^*,x\in A \ or\ x\in B \} A∪B={x∈∑∗,x∈A or x∈B}
• (concatenation) A ∘ B   o r   A B = { x y : x ∈ A , y ∈ B } A\circ B\ or\ AB=\{xy:x\in A,y\in B\} A∘B or AB={xy:x∈A,y∈B}
• (start) $A^{\ast }=x_1{x}_2\cdots x_k,k\ge 0,x_1,x_2,\cdots ,x_k\in A$

例：
∑ = { 0 , 1 } A = { ϵ , 0 , 00 , 000 , ⋯   } B = { ϵ , 1 , 11 , 111 , ⋯   } A B = { 0 i 1 j , i , j > 0 } A ∗ = A B ∗ = B ( A B ) ∗ = ∑ ∗ {\small\sum}=\{0,1\}\\ A=\{\epsilon,0,00,000,\cdots\}\\ B=\{\epsilon,1,11,111,\cdots\}\\ AB=\{0^i1^j,i,j>0\}\\ A^*=A\\ B^*=B\\ (AB)^*=\small {\sum}^* ∑={0,1}A={ϵ,0,00,000,⋯}B={ϵ,1,11,111,⋯}AB={0i1j,i,j>0}A∗=AB∗=B(AB)∗=∑∗
$Thm2.5$ 如果$A_1,A_2$是正则语言，那么$A_1\cup A_2$是正则语言

$Proof$ 若$M_1=(Q_1,\sum ,{\delta }_1,q_1,F_1)$接收$A_1$,$M_2=(Q_2,\sum ,{\delta }_2,q_2,F_2)$接收$A_2$,构造一个有限自动机$M$来接收$A_1\cup A_2$,其中$M=(Q,\sum ,\delta ,q_0,F)$

1. $Q=Q_1\times Q_2=\{(r_1,r_2):r_1\in Q_1,r_2\in Q_2\}$
2. $\delta :Q\times \sum \to$定义为$\forall (r_1,r_2)\in Q,a\in \sum ,$有$\delta ((r_1,r_2),a)=({\delta }_1(r_1,a),{\delta }_2(r_2,a))$
3. $q_0=(q_1,q_2)$
4. $F=\{(r_1,r_2):r_1\in F_{1}or{r}_2\in F_2\}$

类似将

or改为and，就识别了$A_1\cap A_2$

$Thm2.6$ 若$A_1,A_2$是正则语言，则$A_1{A}_2$也是正则语言。

$DFA(deterministicfiniteautomaton)$：确定有限自动机

$NFA(nondeterministicfiniteautomaton)$：不确定有限自动机，转移的情况时不确定的,最终可能接收，可能拒绝，但只要有一条路径接收，就接收了。

1.2 非确定性

$Def2.7$ 非确定有限自动机：一个$NFA$是一个五元组$(Q,\sum ,\delta ,q_0,F)$,有如下定义：

1. $Q$是一个有限状态集合
2. $\sum$是一个字符表
3. δ : Q × ( ∑ ∪ { ϵ } ) → P ( Q ) \delta:Q\times(\sum\cup\{\epsilon\})\rightarrow P(Q) δ:Q×(∑∪{ϵ})→P(Q)是转移函数(可以空转移，下一个状态并不确定，可抵达多个状态，即为状态的集合)
4. $q_0\in Q$ 是初始状态
5. $F\subseteq Q$是一可接受状态集合

$Def2.8$ 令$N=(Q,\sum ,\delta ,q_0,F)$是一个NFA，$w\in {\sum }^{\ast }$，若 w = y 1 y 2 ⋯ y m , y i ∈ ∑ ∪ { ϵ } w=y_1y_2\cdots y_m,y_i\in\sum \cup\{\epsilon\} w=y1​y2​⋯ym​,yi​∈∑∪{ϵ},$\exists r_0,r_1,\cdots ,r_m\in Q$,则我们称$NFA$接受$w$。(即只要有一条路径可接收，就接收了)

$NFA$例1.6：($q_4$有效)

若输入 010110，则在$q_1$状态输入1时，则可能为$q_1,q_2,q_3$($ϵ为空转移$)

例1.7：设计一个$NFA$,判断倒数第三位是0。

猜哪位是倒数第三位，$NFA$每次都猜对,$q_3$是有效的，$NFA$每次都能在倒数第三位是0时空转移到$q_1$

例1.8： L = { 0 k , k 是 2 或 3 的倍数 } L=\{0^k,k是2或3的倍数\} L={0k,k是2或3的倍数}

$NFA$直接猜是2的倍数还是3的倍数，每次都猜对，$q_3，q_2$是有效的，分别2的倍数和3的倍数

$Vanant1\delta :Q\times {\sum }^{\ast }\to Q$

问题(输入011时，可以从01转移，也可以从011转移)

两个处理方法：

1.我们保证最多只有一条转移路径(与DFA等价)

2.在存在多条转移路径时，任意选择一条(与NFA等价)

$Example$ 证明变体(Vanant)是与DFA或NFA等价的

例：

$Q/\sum$	0	1	$ϵ$
$q_0$	{ q 0 } \{q_0\} {q0​}	{ q 0 , q 1 } \{q_0,q_1\} {q0​,q1​}	$\varnothing$
$q_1$	{ q 2 } \{q_2\} {q2​}	$\varnothing$	{ q 2 } \{q_2\} {q2​}
$q_2$	$\varnothing$	{ q 3 } \{q_3\} {q3​}	$\varnothing$
$q_3$	{ q 3 } \{q_3\} {q3​}	{ q 3 } \{q_3\} {q3​}	$\varnothing$

语言为 L = { w ∈ { 0 , 1 } ∗ , w 含有子串 11 或 101 } L=\{w\in\{0,1\}^*,w含有子串11或101\} L={w∈{0,1}∗,w含有子串11或101}，$q_2$处如果是0则转入空集，需从头($q_0$)再来

$Thm2.9$ 任意一个NFA都有一个等价的DFA

$ProofN=(Q,\sum ,\delta ,q_0,F)$是NFA，识别语言A。

构造一个DFA，$M=(Q^{\prime },\sum ,{\delta }^{\prime },q_0^{\prime },F)$也识别语言A。注意到NFA中有空字符转移，

定义 R ⊆ Q , E ( R ) = { q ∈ Q : q 可以从 R 通过 0 个或更多的 ϵ 到达 } R\subseteq Q,E(R)=\{q\in Q:q可以从R通过0个或更多的\epsilon到达\} R⊆Q,E(R)={q∈Q:q可以从R通过0个或更多的ϵ到达}(非常简洁美丽的良定义)

定义 $M$如下：

1. $Q^{\prime }=P(Q)$
2. 对$R\in Q^{\prime }$和$a\in \sum$,定义 δ ′ ( R , a ) = { q ∈ Q : q ∈ E ( δ ( r , a ) ) , f o r   s o m e   r ∈ R } = ⋃ r ∈ R E ( δ ( r , a ) ) \delta'(R,a)=\{q\in Q:q\in E(\delta(r,a)),for\ some \ r \in R\}=\bigcup\limits_{r\in R}E(\delta(r,a)) δ′(R,a)={q∈Q:q∈E(δ(r,a)),for some r∈R}=r∈R⋃​E(δ(r,a))（路径扩展，NFA中的每条路径都扩展为DFA的一个可到达的节点）
3. $q^{\prime }=E(q_0)$
4. F ′ = { R ∈ Q ′ : R ∩ F ≠ ∅ } F'=\{R\in Q':R\cap F\ne\varnothing\} F′={R∈Q′:R∩F=∅}

$Example$
如何将一个NFA转换为DFA
NFA

DFA

$Corolloy2.10$ 语言A是正则的，当且仅当存在NFA可接收他

$Thm2.5$ 两个正则语言的并集也是正则的

图1 N ₁∪N ₂的形象化证明

$N_1=(Q_1,\sum ,{\delta }_1,q_1,F_1)$接受 $A_1$，$N_2=(Q_2,\sum ,{\delta }_2,q_2,F_2)$接受$A_2$，构造$N=(Q,\sum ,\delta ,q_0,F)$，如下：

1. Q = Q 1 ∪ Q 2 ∪ { q 0 } Q=Q_1\cup Q_2\cup \{q_0\} Q=Q1​∪Q2​∪{q0​}
2. $q_0$是初始状态
3. $F=F_1\cup F_2$
4. F o r   q ∈ Q , a ∈ ∑ ∪ { ϵ } For\ q\in Q,a\in \sum\cup\{\epsilon\} For q∈Q,a∈∑∪{ϵ}

δ ( q , a ) = { δ 1 ( q , a )        q ∈ Q 1 δ 2 ( q , a )        q ∈ Q 2 { q 1 , q 2 }        q = q 0   a n d   a = ϵ ∅                  q = q 0   a n d   a ≠ ϵ \delta(q,a)=\begin{cases} \delta_1(q,a)\ \ \ \ \ \ q\in Q_1\\ \delta_2(q,a)\ \ \ \ \ \ q\in Q_2\\ \{q_1,q_2\} \ \ \ \ \ \ q=q_0 \ and\ a=\epsilon\\ \varnothing\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ q=q_0\ and\ a\ne \epsilon \end{cases} δ(q,a)=⎩ ⎨ ⎧​δ1​(q,a)      q∈Q1​δ2​(q,a)      q∈Q2​{q1​,q2​}      q=q0​ and a=ϵ∅                q=q0​ and a=ϵ​

$Thm2.11$ 两个正则语言的连接是正则的

图2 N ₁N ₂的图形化证明

$N_1=(Q_1,\sum ,{\delta }_1,q_1,F_1)$接受 $A_1$，$N_2=(Q_2,\sum ,{\delta }_2,q_2,F_2)$接受$A_2$，构造$N=(Q,\sum ,\delta ,q_0,F)$，如下：

1. Q = Q 1 ∪ Q 2 ∪ { q 0 } Q=Q_1\cup Q_2\cup \{q_0\} Q=Q1​∪Q2​∪{q0​}
2. $q_0=q_1$是初始状态
3. $F=F_2$
4. F o r   q ∈ Q , a ∈ ∑ ∪ { ϵ } For\ q\in Q,a\in\sum\cup\{\epsilon\} For q∈Q,a∈∑∪{ϵ}

$$\delta (q,a)=\{\begin{array}{l}{\delta }_1(q,a)q\in Q_{1}andq\notin F_1\\ {\delta }_2(q,a)q\in Q_2\\ q_{2}q\in F_{1}anda=ϵ\\ \varnothing q=q_{0}anda\ne ϵ\end{array}$$

$Thm$ 2.12 正则语言的*也是正则的。

图3 N ^*的图形化证明

$N_1=(Q_1,\sum ,{\delta }_1,q_1,F_1)$接受 $A_1$，构造$N=(Q,\sum ,\delta ,q_0,F)$，如下：

1. Q = Q 1 ∪ { q 0 } Q=Q_1\cup \{q_0\} Q=Q1​∪{q0​}
2. $q_0$是初始状态
3. F = F 1 ∪ { q 0 } F=F_1\cup\{q_0\} F=F1​∪{q0​}
4. F o r   q ∈ Q , a ∈ ∑ ∪ { ϵ } For\ q\in Q,a\in\sum\cup\{\epsilon\} For q∈Q,a∈∑∪{ϵ}

$$\delta (q,a)=\{\begin{array}{l}{\delta }_1(q,a)q\in Q_1\\ q_{0}q\in F_{1}anda=ϵ\\ q_{1}q=q_{0}anda=ϵ\\ \varnothing q\in F_{1}anda\ne ϵ\end{array}$$

$Thm2.13$ 正则语言的补也是正则的

令$M=(Q,\sum ,\delta ,q_0,F)$,构造$M^{\prime }=(Q,\sum ,\delta ,q_0,Q-F)$，后者显然接收前者的补

1.3正则表达式

$Example$

1. 奇数结尾：$(0\cup 1\cup 2\cup \cdots \cup 9{)}^{\ast }(1\cup 3\cup 5\cup 7\cup 9)$
2. 偶数结尾：$(0\cup 1\cup 2\cup \cdots \cup 9{)}^{\ast }(2\cup 4\cup 6\cup 8\cup 0)$
3. $(0\cup 1)0^{\ast }$，以0或1开头，后面接任意多个0
4. $(0\cup 1{)}^{\ast }={\sum }^{\ast }$
5. $(0\cup {\sum }^{\ast })\cup ({\sum }^{\ast }1)$：所有以0开头或者以1结尾的字符串

$Def2.14$正则表达式 如果$R$满足以下条件，$R$是正则表达式:

1. $aforsomea\in \sum$
2. $ϵ$
3. $\varnothing$
4. $(R_1\cup R_2)$,如果$R_1,R_2$是正则表达式
5. $(R_1{R}_2)$,如果$R_1,R_2$是正则表达式
6. $(R_1^{\ast })$：如果$R_1$是正则表达式

括号可被忽略。

$Example$

1. $0^{\ast }10^{\ast }$，只有一个1的字符串
2. ${\sum }^{\ast }1{\sum }^{\ast }$，至少有一个1的字符串
3. ${\sum }^{\ast }001{\sum }^{\ast }$，含001子串的字符串
4. $1^{\ast }(01^{+}{)}^{\ast }$，没有连续0的字符串
5. $(\sum \sum {)}^{\ast }$,偶数长度的字符串
6. ( 01 ∪ 10 ) = { 01 , 10 } (01\cup10)=\{01,10\} (01∪10)={01,10}
7. $(0\cup ϵ)1^{\ast }=(01^{\ast }\cup 1^{\ast })$
8. ( 0 ∪ ϵ ) ( 1 ∪ ϵ ) = { ϵ , 0 , 1 , 01 } (0\cup\epsilon)(1\cup\epsilon)=\{\epsilon,0,1,01\} (0∪ϵ)(1∪ϵ)={ϵ,0,1,01}
9. $1^{\ast }\varnothing =\varnothing$
10. ∅ ∗ = { ϵ } \varnothing^*=\{\epsilon\} ∅∗={ϵ}

${\sum }^{\ast }110{\sum }^{\ast }$ :含有子串110

$(ϵ\cup 0\cup 1)(10\cup 1{)}^{\ast }$：没有字串00(用1把0隔开)

$(0^{\ast }10^{\ast }10^{\ast }10^{\ast }{)}^{\ast }$：含有3的倍数个1

${\sum }^{\ast }{1}^{+}{\sum }^{\ast }{1}^{+}{\sum }^{\ast }{0}^{+}\cup {\sum }^{\ast }{1}^{+}{\sum }^{\ast }{0}^{+}{\sum }^{\ast }{1}^{+}\cup 0^{+}{\sum }^{\ast }{1}^{+}{\sum }^{\ast }{1}^{+}$：至少有2个1和1个0

$Thm2.15$ 一个语言是正则的$⟺$某一正则表达式能表示它

($\Leftarrow$):如果一个语言可以被正则表达式描述，那么它是正则的：

$Proof:$

1. R = a , a ∈ ∑ ,   L ( R ) = { a } R=a,a\in\sum,\ L(R)=\{a\} R=a,a∈∑, L(R)={a}
2. $R=ϵ$
3. $R=\varnothing$
4. $R=R_1\cup R_2(byThm2.5)$
5. $R=R_1{R}_2(byThm2.11)$
6. $R=R_1^{\ast }(byThm2.12)$

$Example(ab\cup a{)}^{\ast }$

($\Rightarrow$)为了证明充分性，先引入GNFA的定义

$Def2.18$广义非确定型有穷自动机(GNFA)

是一个五元组$(Q,\sum ,\delta ,q_{start},q_{accept})$

1. Q是有穷的状态集
2. $\sum$ 是输入字母表
3. δ : ( Q − { q a c c e p t } ) × R → ( Q − { q s t a r t } ) \delta:(Q-\{q_{accept}\})\times R\rightarrow (Q-\{q_{start}\}) δ:(Q−{qaccept​})×R→(Q−{qstart​}),R是所有正则表达式的集合
4. $q_{start}$是起始状态
5. $q_{accept}$是接收状态

起始状态没有入边，接收状态没有出边，除了起始状态，和接收状态之外，任何两个状态之间必须有一条边，不能有多重边。

CONVERT(G):

1. 设k是G的状态数

2. 如果k=2，则G一定是由1个起始状态，一个接收状态和连接这两个状态的箭头组成，设箭头上的标记为正则表达式R，返回这个表达式R

3. 如果k>2，则任取 q r i p ∈ Q − { q s t a r t , q a c c e p t } q_{rip}\in Q-\{q_{start},q_{accept}\} qrip​∈Q−{qstart​,qaccept​},并且令G’为$GNFA(Q^{\prime },\sum ,{\delta }^{\prime },q_{start},q_{accept})$，其中 Q ′ = Q − { q r i p } Q'=Q-\{q_{rip}\} Q′=Q−{qrip​},令
   $${\delta }^{\prime }(q_i,q_j)=(R_1)(R_2{)}^{\ast }(R_3)\cup R_4$$

4. 计算CONVERT(G’) 且返回这个值

$Claim$ 对任意的$GNFAG$,$CONVERT(G)$ 等价于$CONVERT(G^{\prime })$

$Proof\ $1) $L(G)\subseteq L(G^{\prime })$

$Foranyw\in {\sum }^{\ast },ifGacceptsw,then{G}^{\prime }acceptsw:$
$$q_{start},q_1,q_2,q_3,\cdots ,q_{accept}$$
$ifnoneofthemis{q}_{rip},then{G}^{\prime }alsoacceptsw$

$if{q}_{rip}appears,$
$$q_{start},q_1,\cdots ,q_{i_{t_1}},q_{i_{t_2}}=q_{rip},q_{i_{t_3}},\cdots ,q_{accept}$$
$Then{G}^{\prime }alsoacceptsw$

$2)L(G^{\prime })\subseteq L(G)$

将DFA转换成等价的正则表达式

1.4 非正则语言

$Loma2.17$(泵引理)若A是一个正则语言，则存在一个数$p$(泵长度)使得，如果$s$是$A$中任一长度不小于$p$的字符串，那么$s$可被分成三段,$s=xyz$,满足下述条件：

1. 对每一个$i\ge 0,x{y}^{i}z\in A$
2. $|y|>0$
3. $|xy|\le p$

$Proof$ (p48)

设$M=(Q,\sum ,\delta ,q_1,F)$是一台识别A的DFA，$p=|Q|$

设$s=s_1{s}_2\cdots s_n$是A中长度为$n$的字符串，这里$n\ge p$,又设$r_1,\cdots ,r_{n+1}$是M在处理$s$的过程中进入的状态序列，因而$r_{i+1}=\delta (r_i,s_i),1\le i\le n$,该序列长度为$n+1$，不小于$p+1$。根据鸽巢原理，在该序列的前$p+1$个元素中，一定有两个相同的状态，设第一个是$r_j$,第二个是$r_l$,由于$r_l$出现在序列的前$p+1$个位置中，而且序列是从$r_1$开始的，故有$l\le p+1$。此时，令$x=s_1\cdots ,s_{j-1},y=s_j\cdots s_{l-1},z=s_l\cdots s_n$

例：

1.证明 D = { 1 n 2 ∣ n ≥ 0 } D=\{1^{n^2}|n\ge0\} D={1n2∣n≥0}不是正则的。

假设是正则的，设$p$是泵长度。$s$是字符串$1^{p^2}$，显然长度大于$p$，则可被分为三段，$s=xyz$，使得对任意的$i\ge 0$，字符串$x{y}^{i}z$在$D$中。

考虑$xyz$和$x{y}^{2}z$，它们之间相差$y$的一次重复，长度差$y$的长度。

易知$|xy|\le p$，从而$|y|\le p$，又$|xyz|=p^2$，则$|x{y}^{2}z|=p^2+p$，但$p^2+p<p^2+2p+1=(p+1{)}^2$,又$|y|>0$，则$|x{y}^{2}z|>p^2$,则$x{y}^{2}z$的长度严格在两个相邻的完全平方数之间，肯定不是完全平方数，不是正则的

2.证明 D = { 1 p ∣ p 是素数 } D=\{1^p|p是素数\} D={1p∣p是素数}不是正则的。

假设正则的，设p是泵长度。s是字符串$1^q,q\ge p$,则可被分为三段，$s=xyz$，使得对任意的$i\ge 0$，字符串$x{y}^{i}z$在$D$中。不妨假设$x=1^a,y=1^b,z=1^c$,则$a+ib+c$要为素数，注意到，当$i=a+b+c+1,a+ib+c=(b+1)(a+b+c)$，不是素数。

注意的过程：希望是$(b+w)(ka+mb+tc)=(kab+m{b}^2+tbc+kwa+mwb+twc)$,则对应不难发现可令w=1，有k=1,t=1,则可化为$(b+1)(a+mb+c)=(ab+m{b}^2+bc+a+mb+c)$，则$ib=(ab+m{b}^2+bc+mb)，i=(a+c+mb+m)$,令$m=1$即可得到

3.有点不一样的例子，对于语言 B = { 0 n 1 n ∣ n ≥ 0 } B=\{0^n1^n|n\ge 0 \} B={0n1n∣n≥0}，是容易判断它不是正则的，分成三段，y要么是0串，要么是1串，要么含有01字串，都很容易证明这些不在$B$中。类似的方法做这个就不太行：

证明 C = { w ∣ w 中 0 和 1 的个数相同 } C=\{w|w中0和1的个数相同\} C={w∣w中0和1的个数相同}不是正则的

显然分3段后$y$无论重复几次都是可能满足的，因为没有限制0，1的先后顺序。

但考虑定理的条件3：$|xy|\le p$，可以取字串$s=0^p{1}^p$，则无论怎么取，$y$只能是0串，那么它的重复显然不属于C

可利用条件3来构造一个良好的字串，证明它是不可抽取的