2024年Go最全形式语言与自动机总结笔记_形式语言与自动机笔记(1)，2024年最新腾讯Golang面试题社招-CSDN博客

本文链接：https://blog.csdn.net/2401_84925977/article/details/138827353

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上Go语言开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

{

}

{q_0, q_2, q_3}

{q0,q2,q3} |

{

}

{q_0, q_3}

{q0,q3} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |

出现新状态

{

}

{q_0, q_3}

{q0,q3}

同理，因此状态转移函数如下

| |

0 |

1 |
| — | — | — |
|

{

}

{q_0}

{q0} |

{

}

{q_0}

{q0} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

{

}

{q_0, q_1,q_2, q_3}

{q0,q1,q2,q3} |

{

}

{q_0, q_2, q_3}

{q0,q2,q3} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

{

}

{q_0, q_2, q_3}

{q0,q2,q3} |

{

}

{q_0, q_3}

{q0,q3} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

{

}

{q_0, q_3}

{q0,q3} |

{

}

{q_0}

{q0} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |

最后，将

q_0

q0设为初始状态，且将含有原转移终止符（

q_3

q3）的状态设置为终止状态，即

{

}

{q_0, q_1,q_2, q_3}

{q0,q1,q2,q3}、

{

}

{q_0, q_2, q_3}

{q0,q2,q3}、

{

}

{q_0, q_3}

{q0,q3}均为终止状态

| |

0 |

1 |
| — | — | — |
|

→

{

}

→{q_0}

→{q0} |

{

}

{q_0}

{q0} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

∗

{

}

* {q_0, q_1,q_2, q_3}

∗{q0,q1,q2,q3} |

{

}

{q_0, q_2, q_3}

{q0,q2,q3} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

∗

{

}

* {q_0, q_2, q_3}

∗{q0,q2,q3} |

{

}

{q_0, q_3}

{q0,q3} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |
|

∗

{

}

* {q_0, q_3}

∗{q0,q3} |

{

}

{q_0}

{q0} |

{

}

{q_0, q_1, q_2, q_3}

{q0,q1,q2,q3} |

5. DFA化简：状态等价性和填表算法

5.1 等价和可区分

对于任意两个状态，一定是

等价
可区分

二者之一

等价
- 即：当两个状态为等价时，对于任意一个输入符，转移状态同时为终止状态或同时不是；
  - 注：不一定相同
  - 因此：不提及两个状态的转移状态是否相同
可区分
- 即：当两个状态为可区分时（不等价），存在至少一个输入符，转移状态不同时为终止（不同时为非终止）

例：化简以下DFA

5.2 填表算法 Table-Filling Algorithm

直接标记终态和非终态之间的状态对
标记所有经过字符 0 到达终态和非终态的状态对

{D, F }×{A, B, C, E, G, H}

标记所有经过字符 1 到达终态和非终态的状态对

{B, H }×{A, C, D, E, F, G}

此时还有 [A,E], [A,G], [B,H], [D,F], [E,G] 未标记, 只需逐个检查.

[A,G] 是可区分的, 因为经串 01 到可区分的 [C,E];
[E,G] 是可区分的, 因为经串 10 到可区分的 [C,H].

[A,E], [B,H] 和 [D,F] 在经过很短的字符串后, 都会到达相同状态，因此都是等价的.

填表完成后如下图
合并等价状态（最小化）

6. 正则表达式（Regular Express）

语言是字符串集合。
语言的运算：并、连接、幂、克林闭包

递归定义：
如果E为字母表，则2上的正则表达式递归定义为:

0是一个正则表达式，表示空语言;
ε

ε

ε是一个正则表达式，表示语言{e};

任意

a

∈

E

a∈E

a∈E，a是一个正则表达式，表示语言{a};

如果正则表达式 r 和 s 分别表示语言

R

R

R和

S

S

S，那么

r

s

，

r

s

,

r

∗

和

(

r

)

r+s，rs, r^*和 ( r )

r+s，rs,r∗和®都是正则表达式

分别表示语言

R

∪

S

，

R

⋅

S

，

R

∗

和

R

R∪S，R·S，R*和R

R∪S，R⋅S，R∗和R

优先级：括号>星（*）>连接（×）>加（+）

例：L = {w | w ∈ {0, 1}∗ and w has no pair of consecutive 0’s.}

解：1∗(011∗)∗(0 + ε) 或 (1 + 01)∗(0 + ε)

7. 正则表达式和有穷自动机的等价关系与转换

正则表达式与有穷自动机等价
有穷自动机可以识别正则语言
正则表达式生成正则语言

7.1 正则表达式–>自动机

正则表达式到自动机的转换分为以下4种

连接（乘法）
并（加法）
幂（星）
闭包

例：正则表达式

(

0

1

)

∗

1

(

0

1

)

(0+1)^*1(0+1)

(0+1)∗1(0+1)转换为

ε

−

N

F

A

ε-NFA

ε−NFA

7.1.1 并（加号）的转换

例：

0+1

7.1.2 幂（星号）的转换

例：

(

0

1

)

∗

(0+1)^*

(0+1)∗

蓝色圈内为一个整体，表示幂运算的底
上方的红箭头是递归，即循环出现
下方的红箭头是蓝色圈内内容一个都不出现的情况，对应该题

ε，即空串情况

7.2 自动机–>正则表达式

若干例题

通过7.1的逆向推导得出

2.

3.

7.2.1 删除状态法

添加首尾两个状态；
从最小的单元开始化简为正则表达式，去掉这个单元，新增一条边，写上转换的表达式；
最后一条表达式即为结果；

7.2.2 归纳法

Pick every label on the path from

q_0

q0 to

q_2

q2 ---- one by one

Form every

RegExp

RegExp on the path from

q_0

q0 to

q_2

q2 ---- one by one

R

i

j

(

k

)

:

0

<

=

k

<

=

n

R_{ij}^{(k)}: 0<=k<=n

Rij(k):0<=k<=n：

i

i

i到

j

j

j路径上的正则表达式

no inner node is greater than k

当k≥1时进行归纳法
公式：

例：

解：

8. 正则语言的性质

8.1 泵引理

确定一个语言是正则语言？
- 是
  - DFA
  - NFA
  - ε-NFA
  - 正则表达式
- 否
  - 泵引理，反证法

即：前

N

N

N的字符中存在一段可以在该位置循环出现
泵引理只是正则语言的必要条件，只能用来证明某个语言不是正则的

证明：

例：

8.2 封闭性

正则语言经某些运算后得到的新语言仍保持正则，称正则语言在这些运算下封闭

正则语言 L 和 M, 在这些运算下封闭

并：

∪

L \cup M

L∪M

连接：

闭包：

∗

L^*

L∗

补：

‾

\overline{L}

差：

−

L-M

L−M

交：

∩

L \cap M

L∩M

反转：

{

∣

}

L^{R} = \left{ w^{R}|w\epsilon L \right}

LR={wR∣wϵL}

同态
逆同态

考点：能够运用这些性质，结合泵引理证明一个语言是否是正则语言

自动机的转换

并：使用

−

ε-NFA

ε−NFA，新建初始状态节点，空转移到原来的初始状态；

连接：前者终止状态空转移到后者初始状态；
闭包：增加新终止状态，原终止状态空转移到新终止状态以及初始状态；
补：终止状态取补
差
交
反转：新增终止状态，原终止状态空转移到新终止状态，然后所有边逆向，是（非）终止状态改为非（是）终止状态；

证明思路

9. 上下文无关文法（CFG）

定义：上下文无关文法(CFG, 简称文法) G 是一个四元组

(

)

G = (V, T, P, S)

G=(V,T,P,S)

V : 变元的有穷集, 变元也称为非终结符或语法范畴;

T: 终结符的有穷集, 且 V ∩ T = ∅;

P: 产生式的有穷集, 每个产生式包括:
+ 一个变元, 称为“产生式的头或左部”；
+ 一个产生式符号 →, 读作“定义为”；
+ 一个

 ( 
 
 
 V 
 
 
 ∪ 
 
 
 T 
 
 
 
 ) 
 
 
 ∗ 
 
 
 
 
 (V ∪ T)^\* 
 
 
 (V∪T)∗中的符号串, 称为“体或右部”；

∈

S ∈V

S∈V：初始符号, 文法开始的地方.

产生

产生式

→

A → α

A→α，读作 A 定义为 α

如果有多个 A 的产生式

→

⋅

→

A → α_1, A → α_2, · · · , A → α_n

A→α1,A→α2,⋅⋅⋅,A→αn

可简写为

→

∣

⋅

∣

A → α_1 | α_2 | · · · | α_n

A→α1∣α2∣⋅⋅⋅∣αn

文法中变元 A 的全体产生式, 称为 A 产生式

符号

终结符: 0, 1, . . . , a, b, . . .
终结符串: . . . , w, x, y, z
非终结符: S, A, B, . . .
终结符或非终结符: . . . , X, Y, Z
终结符或非终结符组成的串: α, β, γ, . . .

例：

回文

G

=

(

A

,

0

,

1

,

A

→

ε

∣

0

∣

1

∣

0

A

0

∣

1

A

1

,

A

)

G = ({A}, {0, 1}, {A → ε | 0 | 1 | 0A0 | 1A1}, A)

G=(A,0,1,A→ε∣0∣1∣0A0∣1A1,A)

L={ w∈{0,1}* | w contains same number of 0’s and 1’s }

R

=

(

S

,

0

,

1

,

P

,

S

)

R = ({S }, {0,1}, P, S )

R=(S,0,1,P,S)

P

：

S

→

ε

∣

0

S

1

∣

1

S

0

∣

S

S

P：S → ε | 0S1 | 1S0 | SS

P：S→ε∣0S1∣1S0∣SS

从字符串到文法变元的分析过程, 称为递归推理或归约;
归约: 自底向上, 由产生式的体向头的分析
从文法变元到字符串的分析过程, 称为推导或派生.
派生: 自顶向下, 由产生式的头向体分析

9.1 规约

例：用算数表达式文法

G

e

x

p

G_{exp}

Gexp, 将

a

∗

(

a

b

00

)

a ∗ (a + b00)

a∗(a+b00) 归约的过程

E → I
E → E + E
E → E ∗ E
E → (E)
I → a
I → b
I → Ia
I → Ib
I → I0
I → I1

目标：从

a

∗

(

a

b

00

)

a ∗ (a + b00)

a∗(a+b00)规约到

E

E

E

解：

∗

(

)

a ∗ (a + b00)

a∗(a+b00)

∗

(

)

I ∗ (I + b00)

I∗(I+b00)

∗

(

)

I ∗ (I + I00)

I∗(I+I00)

∗

(

)

I ∗ (I + I0)

I∗(I+I0)

∗

(

)

I ∗ (I + I)

I∗(I+I)

∗

(

)

E ∗ (E + E)

E∗(E+E)

∗

E ∗ E

E∗E

即：

9.2 派生

最左派生
最右派生

为限制派生的随意性, 要求只替换符号串中最左边变元的派生过程, 称为最
左派生, 记为

⟹

或

⟹

∗

\underset{lm}{\Longrightarrow} 或 \overset{*}{\underset{\text{lm}}{\Longrightarrow}}

lm⟹或lm⟹∗
只替换最右的, 称为最右派生, 记为

⟹

或

⟹

∗

\underset{rm}{\Longrightarrow} 或 \overset{*}{\underset{\text{rm}}{\Longrightarrow}}

rm⟹或rm⟹∗
任何派生都有等价的最左派生和最右派生

⟹

∗

A\overset{*}{\Longrightarrow}w

A⟹∗w 当且仅当

⟹

∗

A\overset{*}{\underset{\text{lm}}{\Longrightarrow}}w

Alm⟹∗w 当且仅当

⟹

∗

A\overset{*}{\underset{\text{rm}}{\Longrightarrow}}w

Arm⟹∗w

即：最左和最右派生同时存在或不存在

当

w

w

w在

L

(

G

)

L(G)

L(G)中时满足：

w

w

w仅由终结符组成

初始符号

S

S

S能派生出

w

w

w

即：

L

(

G

)

=

{

w

∣

w

ϵ

T

∗

,

S

⟹

G

∗

w

}

L\left( G \right) = \left{ w\ |\ w\epsilon T^{*},\ S\overset{*}{\underset{G}{\Longrightarrow}}w \right}

L(G)={w ∣ wϵT∗, SG⟹∗w}

语言 L 是某个 CFG G 定义的语言, 即

(

)

L = L(G)

L=L(G), 则称 L 为上下文无关语言(CFL, Context-Free Language).

上下文无关是指在文法派生的每一步

⇒

αAβ ⇒ αγβ

αAβ⇒αγβ，符号串 γ 仅根据 A 的产生式派生, 而无需依赖 A 的上下文 α 和 β.

如果有两个文法 CFG G1 和 CFG G2，满足L(G1) = L(G2)，则称 G1 和 G2 是等价的.
句型
- 若
C

F

G

G

=

(

V

,

T

,

P

,

S

)

CFG G = (V, T, P, S)

CFGG=(V,T,P,S), 初始符号 S 派生出来的符号串, 称为 G 的句型, 即
- α
∈

(

V

∪

T

)

∗

\alpha \in \left( V \cup T \right)^{*}

α∈(V∪T)∗且

S

⟹

∗

a

S\overset{*}{\Longrightarrow}a

S⟹∗a
- 如果
S

⟹

lm

∗

α

S\overset{*}{\underset{\text{lm}}{\Longrightarrow}}\alpha

Slm⟹∗α，称

α

\alpha

α为左句型
- 如果
S

⟹

rm

∗

α

S\overset{*}{\underset{\text{rm}}{\Longrightarrow}}\alpha

Srm⟹∗α，称

α

\alpha

α为右句型
- 只含有终结符的句型, 也称为 G 的句子
- 而 L(G) 就是文法 G 全部的句子

9.3 解析树

CFG G = (V, T, P, S) 的语法分析树(语法树或派生树) 为:

每个内节点标记为 V 中的变元符号;
每个叶节点标记为 V ∪ T ∪ {ε} 中的符号;
如果某内节点标记是 A, 其子节点从左至右分别为X1, X2, · · · , Xn
- 那么
A

→

X

1

X

2

⋅

⋅

⋅

X

n

∈

P

A → X1X2 · · · Xn ∈ P

A→X1X2⋅⋅⋅Xn∈P
- 若有 Xi = ε, 则 ε 是 A 唯一子节点, 且 A → ε ∈ P
语法树的全部叶节点从左到右连接起来, 称为该树的产物或结果. 如果树根节点是初始符号 S, 叶节点是终结符或 ε, 那么该树的产物属于 L(G).
语法树中标记为 A 的内节点及其全部子孙节点构成的子树, 称为 A 子树.

例：

CFG G = (V, T, P, S) 且 A ∈ V , 那么文法 G 中

A

⟹

∗

α

A\overset{*}{\Longrightarrow}\alpha

A⟹∗α 当且仅当 G 中存在以 A 为根节点产物为 α 的语法树

每棵语法分析树都有唯一的最左 (右) 派生
给定 CFG G = (V, T, P, S), A ∈ V , 以下命题等价:
1. 通过递归推理, 确定串 w 在变元 A 的语言中
2. 存在以 A 为根节点, 产物为 w 的语法分析树
3. A
⟹

∗

w

A\overset{*}{\Longrightarrow}w

A⟹∗w
4. A

⟹

lm

∗

w

A\overset{*}{\underset{\text{lm}}{\Longrightarrow}}w

Alm⟹∗w
5. A

⟹

rm

∗

w

A\overset{*}{\underset{\text{rm}}{\Longrightarrow}}w

Arm⟹∗w

9.4 歧义

有些文法的歧义性, 可以通过重新设计文法来消除

定义同样的语言可以有多个文法, 如果 CFL L 的所有文法都是歧义的，那么称语言 L 是固有歧义的
定义同样的语言可以有多个文法, 如果 CFL L 的所有文法都是歧义的, 那么称语言 L 是固有歧义的.
“判定任何给定 CFG G 是否歧义”是一个不可判定问题

10. 上下文无关文法的化简

文法化简的可靠顺序

消除ε-产生式;
消除单元产生式;
消除非产生的无用符号;
消除非可达的无用符号.

10.1 消除无用符号

无用符号：对文法定义语言没有贡献的符号

初始符号在派生过程中能派生的语言，前后为若干终止符、中间的单一符号为可达的；
某一符号和前后的若干终止符能够最终派生为均为终止符的语言，则其是产生的；
可达 + 产生 = 有用
非（有用）= 无用 = 非（可达）或非（产生）

步骤：

计算“产生的”符号集
- 每个 T 中的符号都是产生的
- A → α ∈ P 且 α 中符号都是产生的, 则 A 是产生的
计算“可达的”符号集
- 符号 S 是可达的
- A → α ∈ P 且 A 是可达的, 则 α 中符号都是可达的
删除全部含有 “非产生的” 和 “非可达的” 符号的产生式

注：先寻找并消除全部非“产生的”符号，再寻找并消除全部非“可达的”符号，否则可能消除不完整。

例：消除如下文法无用符号
S → AB | a
A → b
解：S → bB | a

10.2 消除ε产生式

步骤：

确定“可空变元”
- 如果 A → ε, 则 A 是可空的
- 如果 B → α 且 α 中的每个符号都是可空的，则 B 是可空的
确定“可空变元”
- 将含有可空变元的一条产生式
A

→

X

1

X

2

⋅

⋅

⋅

X

n

A → X_1X_2 · · · X_n

A→X1X2⋅⋅⋅Xn用一组产生式

A

→

Y

1

Y

2

⋅

⋅

⋅

Y

n

A → Y_1Y_2 · · · Y_n

A→Y1Y2⋅⋅⋅Yn代替，其中
- 若 Xi 不是可空的, Yi 为 Xi
- 若 Xi 是可空的, Yi 为 Xi 或 ε
- 但 Yi 不能全为 ε （否则A为可空变元）

例：

消除 CFG G = ({S, A, B}, {a, b}, P, S) 的 ε-产生式.
S → AB
A → AaA | ε
B → BbB | ε

解：

CFG G′ 为
S → AB | A | B
A → AaA | Aa | aA | a
B → BbB | Bb | bB | b

10.3 消除单元产生式

单元产生式：例如 A → B

步骤：

确定“单元对”
- 如果有
A

⟹

∗

B

A\overset{*}{\Longrightarrow}B

A⟹∗B, 则称

[

A

,

B

]

[A, B]

[A,B] 为单元对
- A → B ∈ P, 则 [A, B] 是单元对
- 若 [A, B] 和 [B, C] 都是单元对, 则 [A, C] 是单元对
消除单元产生式
- 删除全部形为 A → B 的单元产生式
- 对每个单元对 [A, B], 将 B 的产生式复制给 A

例：

消除文法的单元产生式
S → A | B | 0S1
A → 0A | 0
B → 1B | 1

解：

单位对为 [S, A] 和 [S, B], 带入得:
S → 0S1
S → 0A | 0
S → 1B | 1
A → 0A | 0
B → 1B | 1

11. 上下文无关文法的范式

11.1 乔姆斯基范式（CNF）

每个不带 ε 的 CFL 都可以由这样的 CFG G 定义, G 中每个产生式的形式都为

→

A → BC

A→BC 或

→

A → a

A→a

这里的 A, B 和 C 是变元, a 是终结符.
利用 CNF 派生长度为 n 的串, 刚好需要 2n − 1 步

方法：

例：

CFG

G

=

(

S

,

A

,

B

,

a

,

b

,

P

,

S

)

G = ({S, A, B}, {a, b}, P, S)

G=(S,A,B,a,b,P,S), 产生式集合 P 为:

S

→

b

A

∣

a

B

S → bA | aB

S→bA∣aB

A

→

b

A

A

∣

a

S

∣

a

A → bAA | aS | a

A→bAA∣aS∣a

B

→

a

B

B

∣

b

S

∣

b

B → aBB | bS | b

B→aBB∣bS∣b

请设计等价的 CNF 文法.

解:

CNF 为：

S

→

C

b

A

∣

C

a

B

S → CbA | CaB

S→CbA∣CaB

A

→

C

a

S

∣

C

b

D

1

∣

a

A → C_aS | C_bD_1 | a

A→CaS∣CbD1∣a

D

1

→

A

A

D1 → AA

D1→AA

C

a

→

a

C_a → a

Ca→a

B

→

C

b

S

∣

C

a

D

2

∣

b

B → C_bS | C_aD_2 | b

B→CbS∣CaD2∣b

D

2

→

B

B

D2 → BB

D2→BB

C

b

→

b

C_b → b

Cb→b

11.2 格雷巴赫范式（GNF）

每个不带 ε 的 CFL 都可以由这样的 CFG G 定义, G 中每个产生式的形式都为

→

A → aα

A→aα
其中 A 是变元, a 是终结符, α 是零或多个变元的串.

GNF 每个产生式都会引入一个终结符
长度为 n 的串的派生恰好是 n 步

例：

将以下文法转换为 GNF.
S → AB
A → aA | bB | b
B → b

解:

GNF 为
S → aAB | bBB | bB
A → aA | bB | b
B → b

特殊情况：

直接左递归
间接左递归

12. 下推自动机（PDA）

下推自动机(PDA, Pushdown Automata) P 为七元组

(

)

P = (Q, Σ, Γ, δ, q_0, Z_0, F)

P=(Q,Σ,Γ,δ,q0,Z0,F)

Q, 有穷状态集;
2. Σ

Σ, 有穷输入符号集;
3. Γ

Γ, 有穷栈符号集;
4. δ

(

∪

)

→

∗

δ : Q × (Σ ∪ {ε}) × Γ → 2^{Q×Γ∗}

δ:Q×(Σ∪ε)×Γ→2Q×Γ∗, 状态转移函数;
5. q

∈

q0 ∈ Q

q0∈Q, 初始状态;
6. Z

∈

−

Z_0 ∈ Γ − Σ

Z0∈Γ−Σ, 栈底符号;
7. F

⊆

F ⊆ Q

F⊆Q, 接收状态集或终态集.

例：设计识别

L

01

=

{

0

n

1

n

∣

n

≥

1

}

L_{01} = {0ⁿ¹n | n ≥ 1}

L01={0n1n∣n≥1} 的 PDA

例：设计识别

L

w

w

r

=

{

w

w

R

∣

w

∈

(

0

1

)

∗

}

L_{ww^r} = {ww^R | w ∈ (0 + 1)^∗}

Lwwr={wwR∣w∈(0+1)∗} 的 PDA

12.1 瞬时描述（ID）

为描述 PDA 瞬间的格局, 定义

∗

Q × Σ^∗ × Γ^∗

Q×Σ∗×Γ∗ 中三元组

(

)

(q, w, γ)

(q,w,γ)
为瞬时描述(ID, Instantaneous Description), 表示此时 PDA 处于状态

q, 剩
余输入串

w, 栈为

γ.

12.1.1 转移

在 PDA

P 中如果

(

)

∈

(

)

(p, β) ∈ δ(q, a, Z)

(p,β)∈δ(q,a,Z), 由

(

)

(q, aw, Zα)

(q,aw,Zα) 到

(

)

(p, w, βα)

(p,w,βα) 的变化, 称为瞬时描述（ID）的转移

⊢

⊢_P

⊢P, 记为

(

)

⊢

(

)

(q, aw, Zα) ⊢_P (p, w, βα)

(q,aw,Zα)⊢P(p,w,βα)
其中

∈

∗

∈

∗

w ∈ Σ^∗, α ∈ Γ^∗

w∈Σ∗,α∈Γ∗.
若有瞬时描述（ID）

J 和

K, 递归定义

⊢

∗

⊢^*_P

⊢P∗ 为:

⊢

∗

I ⊢^*_P I

I⊢P∗I
2. 若

⊢

∗

I ⊢^*_P J

I⊢P∗J,

⊢

∗

J ⊢^*_P K

J⊢P∗K，则

⊢

∗

I ⊢^*_P K

I⊢P∗K

若

P 已知, 可省略, 记为

⊢

⊢ 和

⊢

∗

⊢^*

⊢∗ .

例：语言

L

01

=

{

0

n

1

n

∣

n

≥

1

}

L_{01} = {0ⁿ¹n | n ≥ 1}

L01={0n1n∣n≥1} 的 PDA, 识别 0011 时的 ID 序列.

解：

(

q

0

,

0011

,

Z

0

)

⊢

(

q

0

,

011

,

0

Z

0

)

⊢

(

q

0

,

11

,

00

Z

0

)

⊢

(

q

1

,

1

,

0

Z

0

)

⊢

(

q

1

,

ε

,

Z

0

)

⊢

(

q

2

,

ε

,

Z

0

)

(q_0, 0011, Z_0) ⊢ (q_0, 011, 0Z_0) ⊢ (q_0, 11, 00Z_0) ⊢ (q_1, 1, 0Z_0) ⊢ (q_1, ε, Z_0) ⊢ (q_2, ε, Z_0)

(q0,0011,Z0)⊢(q0,011,0Z0)⊢(q0,11,00Z0)⊢(q1,1,0Z0)⊢(q1,ε,Z0)⊢(q2,ε,Z0)

定理：

∀

∈

∗

∀

∈

∗

∀w ∈ Σ^∗, ∀γ ∈ Γ^∗

∀w∈Σ∗,∀γ∈Γ∗, 如果

(

)

⊢

∗

(

)

(q, x, α) ⊢^*_P (p, y, β),

(q,x,α)⊢P∗(p,y,β),
那么

(

)

⊢

∗

(

)

(q, xw, αγ) ⊢^*_P (p, yw, βγ)

(q,xw,αγ)⊢P∗(p,yw,βγ)
即：在可以转移的两个瞬时描述的剩余输入串后加入相同的剩余输入串、栈后加入相同的栈，仍然可以转移；
2. 对

∀

∈

∗

∀w ∈ Σ^∗

∀w∈Σ∗, 如果

(

)

⊢

∗

(

)

(q, xw, α) ⊢^*_P (p, yw, β),

(q,xw,α)⊢P∗(p,yw,β),
那么

(

)

⊢

∗

(

)

(q, x, α) ⊢^*_P (p, y, β)

(q,x,α)⊢P∗(p,y,β)
即：在可以转移的两个瞬时描述的剩余输入串后删除相同的输入串，仍然可以转移；

12.2 下推自动机接受的语言（终态/空栈）

PDA

(

)

P = (Q, Σ, Γ, δ, q_0, Z_0, F)

P=(Q,Σ,Γ,δ,q0,Z0,F), 以两种方式接受语言:

P 以终态方式接受的语言, 记为

L

(

P

)

L§

L§, 定义为

L

(

P

)

=

w

∣

(

q

0

,

w

,

Z

0

)

⊢

∗

(

p

,

ε

,

γ

)

,

p

∈

F

.

L§ = {w | (q_0, w, Z_0) ⊢^*(p, ε, γ), p ∈ F}.

L§=w∣(q0,w,Z0)⊢∗(p,ε,γ),p∈F.

P 以空栈方式接受的语言, 记为

N

(

P

)

N§

N§, 定义为

N

(

P

)

=

w

∣

(

q

0

,

w

,

Z

0

)

⊢

∗

(

p

,

ε

,

ε

)

.

N§ = {w | (q_0, w, Z_0) ⊢^*(p, ε, ε)}.

N§=w∣(q0,w,Z0)⊢∗(p,ε,ε).

定理及证明（构造）方法：

如果 PDA

P_F

PF 以终态方式接受语言 L，那么一定存在 PDA

P_N

PN 以空栈方式接受 L：

(

)

P_F = (Q, Σ, Γ, δ_F, q_0, Z_0, F)

PF=(Q,Σ,Γ,δF,q0,Z0,F) 构造

(

∪

{

}

∪

{

}

∅

)

P_N = (Q ∪ {p_0, p}, Σ, Γ ∪ {X0}, δ_N, p_0, X_0, ∅)

PN=(Q∪{p0,p},Σ,Γ∪{X0},δN,p0,X0,∅)
**终止状态时，空转移到

p、弹栈栈底符号**

反之亦然：

(

∅

)

P_N = (Q, Σ, Γ, δ_N, q_0, Z_0, ∅)

PN=(Q,Σ,Γ,δN,q0,Z0,∅) 构造

(

∪

{

}

∪

{

}

{

}

)

P_F = (Q ∪ {p_0, p_f}, Σ, Γ ∪ {X_0}, δ_F, p_0, X_0, {p_f})

PF=(Q∪{p0,pf},Σ,Γ∪{X0},δF,p0,X0,{pf})
**空栈时，空转移到新建的终止状态

p_f

pf**

例1：识别

L

w

w

r

L_{ww^r}

Lwwr 的 PDA

P

P

P , 从终态方式接受, 改为空栈方式接受.

解：
**用

(

)

{

(

)

}

δ(q_1, ε, Z_0) = {(q_1, ε)}

δ(q1,ε,Z0)={(q1,ε)} 代替

(

)

{

(

)

}

δ(q_1, ε, Z_0) = {(q_2, Z_0)}

δ(q1,ε,Z0)={(q2,Z0)} 即可**

例2：接受

L

=

{

w

∈

{

0

,

1

}

∗

∣

w

中

字

符

0

和

1

的

数

量

相

同

}

L = {w ∈ {0, 1}^∗ | w 中字符 0 和 1 的数量相同}

L={w∈{0,1}∗∣w中字符0和1的数量相同} 的 PDA

栈空时，压栈；
栈不空时：
- 若输入符与栈顶相同，压栈；
- 若输入符与栈顶不同，弹栈；
栈空为接受状态。

例3：接受

L

=

{

0

n

1

m

∣

0

≤

n

≤

m

≤

2

n

}

L = {0ⁿ¹m | 0 ≤ n ≤ m ≤ 2n}

L={0n1m∣0≤n≤m≤2n} 的 PDA

定义：左、中、右、下4个状态
左状态：读入0（自身递归转移）
- 转移到中状态：空转移（栈中有0或无0都可）
中状态：读入1
- 转移到下状态：（栈中有至少一个0，至少连续2个1）读入一个1，不弹栈
- 下状态转移回来：再读入一个1，弹栈
- 和下状态的一个来回读入2个1
- 自身转移：当1的个数是奇数
右状态：空栈，结束

13. CFG

⟺

\Longleftrightarrow

⟺PDA（等价性）

13.1 CFG

⟹

\Longrightarrow

⟹PDA

例：设计语言

L

=

{

0

n

1

m

∣

1

≤

m

≤

n

}

L = {0ⁿ¹m | 1 ≤ m ≤ n}

L={0n1m∣1≤m≤n} 的 PDA，并转换为CFG
解：

PDA：

CFG G:

→

S → AB

S→AB

→

∣

A → 0A | ε

A→0A∣ε

→

∣

B → 0B1 | 01

B→0B1∣01

字符串 00011 的最左派生:

⟹

00011

S \underset{lm}{\Longrightarrow} AB \underset{lm}{\Longrightarrow} 0AB \underset{lm}{\Longrightarrow} 0B \underset{lm}{\Longrightarrow} 00B1 \underset{lm}{\Longrightarrow} 00011

Slm⟹ABlm⟹0ABlm⟹0Blm⟹00B1lm⟹00011

用 PDA 栈顶符号的替换, 模拟文法的最左派生

栈顶为变元：输入

ε

ε

ε，变元派生（如：

ε

,

S

→

0

S

1

ε, S → 0S1

ε,S→0S1）

栈顶为终结符：输入非空字符，输入串减少，栈顶弹出

例解：

13.2 PDA

⟹

\Longrightarrow

⟹CFG

如果 PDA

(

∅

)

P = (Q, Σ, Γ, δ, q_0, Z_0, ∅)

P=(Q,Σ,Γ,δ,q0,Z0,∅), 那么构造 CFG

(

′

)

G = (V, Σ, P^′, S)

G=(V,Σ,P′,S), 其中

V 和

′

P^′

P′ 为

{

[

]

∣

∈

}

∪

{

}

V = {[qXp] | p,q ∈Q, X ∈ Γ} ∪ {S}

V={[qXp]∣p,q∈Q,X∈Γ}∪{S};
2. 对

∀

∈

∀p ∈ Q

∀p∈Q, 构造产生式

→

[

]

S → [q_0Z_0p]

S→[q0Z0p];
3. 对

∀

(

⋅

)

∈

(

)

∀(p, Y_1Y_2 · · · Y_n) ∈ δ(q, a, X)

∀(p,Y1Y2⋅⋅⋅Yn)∈δ(q,a,X), 构造

∣

|Q|n

∣Q∣n 个产生式

[

]

→

[

]

[

]

⋅

[

−

]

[qXr_n] → a[pY_1r_1][r_1Y_2r_2] · · · [r_{n−1}Y_nr_n]

[qXrn]→a[pY1r1][r1Y2r2]⋅⋅⋅[rn−1Ynrn]
其中

∈

∪

{

}

a ∈ Σ ∪ {ε}

a∈Σ∪{ε},

∈

X,Y_i ∈ Γ

X,Yi∈Γ, 而

∈

r_i ∈ Q

ri∈Q 是

n 次

∣

|Q|

∣Q∣ 种状态的组合; 若

i = 0

i=0, 为

[

]

→

[qXp] → a

[qXp]→a.

简单记忆

(

)

(

)

\delta(a, b, c)=(d, e f)

δ(a,b,c)=(d,ef) 转换为

[

]

→

[

]

[

]

[acr_2]\rightarrow b[der_1][r_1fr_2]

[acr2]→b[der1][r1fr2]

(

)

(

)

\delta(a, b, c)=(d, e)

δ(a,b,c)=(d,e) 转换为

[

]

→

[

]

[acr_1]\rightarrow b[der_1]

[acr1]→b[der1]

(

)

(

)

\delta(a, b, c)=(d, ε)

δ(a,b,c)=(d,ε) 转换为

[

]

→

[acd]\rightarrow b

[acd]→b

最后用有穷状态集带入

r_1 r_2

r1r2

例：将 PDA P = ({p, q}, (0, 1), {X, Z}, δ, q, Z) 转为 CFG, 其中 δ 如下：

解：

化简：

14. GNF

⟹

\Longrightarrow

⟹PDA

如果 GNF 格式的 CFG

(

′

)

G = (V, T, P^′, S)

G=(V,T,P′,S), 那么构造 PDA

(

{

}

∅

)

P = ({q}, T, V, δ, q, S, ∅)

P=({q},T,V,δ,q,S,∅)
为每个产生式, 定义 δ 为:

(

)

{

(

)

∣

→

∈

′

}

δ(q, a, A) = {(q, β) | A → aβ ∈ P^′}

δ(q,a,A)={(q,β)∣A→aβ∈P′}

即：每次读入终结符，将栈中变元进行派生（弹栈+压栈），直到栈中均为终结符。

例：文法

S

→

a

A

A

,

A

→

a

S

∣

b

S

∣

a

S → aAA, A → aS | bS | a

S→aAA,A→aS∣bS∣a 为 GNF 格式, 构造等价的 PDA

15. 确定性下推自动机（DPDA）

如果 PDA

(

)

P = (Q, Σ, Γ, δ, q_0, Z_0, F)

P=(Q,Σ,Γ,δ,q0,Z0,F) 满足

∈

∪

{

}

∀a ∈ Σ ∪ {ε}

∀a∈Σ∪{ε},

(

)

δ(q, a, X)

δ(q,a,X) 至多有一个动作;
2. ∀

∈

∀a ∈ Σ

∀a∈Σ, 如果

(

)

≠

∅

δ(q, a, X) \neq ∅

δ(q,a,X)=∅, 那么

(

)

∅

δ(q, ε, X) = ∅.

δ(q,ε,X)=∅.

∀

(

q

,

a

,

Z

)

∈

Q

×

Σ

×

Γ

∀(q, a, Z) ∈ Q × Σ × Γ

∀(q,a,Z)∈Q×Σ×Γ 满足

∣

δ

(

q

,

a

,

Z

)

∣

∣

δ

(

q

,

ε

,

Z

)

∣

≤

1

|δ(q, a, Z)| + |δ(q, ε, Z)| ≤ 1

∣δ(q,a,Z)∣+∣δ(q,ε,Z)∣≤1
即：每一个瞬时描述下至多有一个转移状态（可以无动作）

则称

P 为确定型下推自动机（DPDA）

DPDA

P 以终态方式接受的语言

(

)

L§

L§ 称为确定性上下文无关语言（DCFL）

注：DPDA 与 PDA 不等价

例：任何 DPDA 都无法接受

L

w

w

r

L_{ww^r}

Lwwr, 但是可以接受

L

w

c

w

r

=

{

w

c

w

R

∣

w

∈

(

0

1

)

∗

}

L_{wcw^r} = {wcw^R | w ∈ (0 + 1)^∗}

Lwcwr={wcwR∣w∈(0+1)∗}
设计DPDA

DCFL 的重要应用

非固有歧义语言的真子集
程序设计语言的语法分析器
LR(k) 文法, Yacc 的基础, 解析时间复杂度为 O(n)

如果

L 是正则语言, 那么存在 DPDA

P 以终态方式接受

L, 即

(

)

L = L§

L=L§

证明: 显然，DPDA

P 可以不用栈而模拟任何 DFA。

结论：

正

则

语

言

⊆

正则语言 ⊆ DCFL ⊆ CFL

正则语言⊆DCFL⊆CFL

前缀性质：如果语言 L 中不存在字符串 x 和 y, 使 x 是 y 的前缀, 称语言 L 满足前缀性质.
DPDA

P

P

P 且

L

=

N

(

P

)

L = N§

L=N§, 当且仅当

L

L

L 有前缀性质, 且存在 DPDA

P

′

P^′

P′ 使

L

=

L

(

P

′

)

L = L(P ′)

L=L(P′).

DPDA

P

P

P 的

N

(

P

)

N§

N§ 更有限, 即使正则语言

0

∗

0^∗

0∗ 也无法接受

但却可以被某个 DPDA 以终态方式接受

DPDA 与歧义文法

DPDA

P, 语言

(

)

L = L§

L=L§, 那么

L 有无歧义的 CFG

因此 DPDA 在语法分析中占重要地位
但是并非所有非固有歧义 CFL 都会被 DPDA 识别
如

L_{ww^r}

Lwwr有无歧义文法

→

∣

S → 0S0 | 1S1 | ε

S→0S0∣1S1∣ε

16 上下文无关语言的泵引理

如果语言

L 是 CFL, 那么存在正整数

N, 对

∀

∈

∀z ∈ L

∀z∈L,
只要

∣

≥

|z| ≥ N

∣z∣≥N, 就可以将

z 分为五部分

z = uvwxy

z=uvwxy 满足:

≠

vx \neq ε

vx=ε (或

∣

|vx| > 0

∣vx∣>0);
2. ∣

∣

≤

|vwx| ≤ N

∣vwx∣≤N;
3. ∀

≥

∈

∀i ≥ 0, uv^iwxiy ∈ L

∀i≥0,uviwxiy∈L.

例：证明

L

=

{

0

n

1

n

2

n

∣

n

≥

1

}

L = {0^{n}1{n}2^{n} | n ≥ 1}

L={0n1n2n∣n≥1} 不是上下文无关语言

解：

假设

L 是 CFL, 那么存在整数 N, 对

∀

∈

(

∣

≥

)

∀z ∈ L (|z| ≥ N)

∀z∈L(∣z∣≥N) 满足泵引理.
2. 从

L 中取

z = 0^N1N2^N

z=0N1N2N, 则显然

∈

z ∈ L

z∈L 且

∣

≥

|z| = 3N ≥ N

∣z∣=3N≥N.
3. 由泵引理,

z 可被分为

z = uvwxy

z=uvwxy, 且有

∣

≤

|vwx| ≤ N

∣vwx∣≤N 和

≠

vx \neq ε

vx=ε.
4. 那么

vwx

vwx 可能
* 只包含 0, 1 或 2, 那么

 u 
 
 
 w 
 
 
 y 
 
 
 ∉ 
 
 
 L 
 
 
 
 uwy \notin L 
 
 
 uwy∈/L;
* 只包含 0 和 1, 或只包含 1 和 2, 那么也有  
 
 
 
 
 u 
 
 
 w 
 
 
 y 
 
 
 ∉ 
 
 
 L 
 
 
 
 uwy \notin L 
 
 
 uwy∈/L;

与泵引理

∈

uwy = uv_0wx_0y ∈ L

uwy=uv0wx0y∈L 矛盾, 假设不成立.
6. L

L 不是上下文无关的

例：证明

L

=

{

w

w

∣

w

∈

0

,

1

∗

}

L = {ww | w ∈ {0, 1}^∗}

L={ww∣w∈0,1∗} 不是上下文无关的

(错误的) 证明: ~~假设

L 是 CFL. 取

z = 0^N10N1

z=0N10N1, 那么

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上Go语言开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

解：

化简：

14. GNF

⟹

\Longrightarrow

⟹PDA

如果 GNF 格式的 CFG

(

′

)

G = (V, T, P^′, S)

G=(V,T,P′,S), 那么构造 PDA

(

{

}

∅

)

P = ({q}, T, V, δ, q, S, ∅)

P=({q},T,V,δ,q,S,∅)
为每个产生式, 定义 δ 为:

(

)

{

(

)

∣

→

∈

′

}

δ(q, a, A) = {(q, β) | A → aβ ∈ P^′}

δ(q,a,A)={(q,β)∣A→aβ∈P′}

即：每次读入终结符，将栈中变元进行派生（弹栈+压栈），直到栈中均为终结符。

例：文法

S

→

a

A

A

,

A

→

a

S

∣

b

S

∣

a

S → aAA, A → aS | bS | a

S→aAA,A→aS∣bS∣a 为 GNF 格式, 构造等价的 PDA

15. 确定性下推自动机（DPDA）

如果 PDA

(

)

P = (Q, Σ, Γ, δ, q_0, Z_0, F)

P=(Q,Σ,Γ,δ,q0,Z0,F) 满足

∈

∪

{

}

∀a ∈ Σ ∪ {ε}

∀a∈Σ∪{ε},

(

)

δ(q, a, X)

δ(q,a,X) 至多有一个动作;
2. ∀

∈

∀a ∈ Σ

∀a∈Σ, 如果

(

)

≠

∅

δ(q, a, X) \neq ∅

δ(q,a,X)=∅, 那么

(

)

∅

δ(q, ε, X) = ∅.

δ(q,ε,X)=∅.

∀

(

q

,

a

,

Z

)

∈

Q

×

Σ

×

Γ

∀(q, a, Z) ∈ Q × Σ × Γ

∀(q,a,Z)∈Q×Σ×Γ 满足

∣

δ

(

q

,

a

,

Z

)

∣

∣

δ

(

q

,

ε

,

Z

)

∣

≤

1

|δ(q, a, Z)| + |δ(q, ε, Z)| ≤ 1

∣δ(q,a,Z)∣+∣δ(q,ε,Z)∣≤1
即：每一个瞬时描述下至多有一个转移状态（可以无动作）

则称

P 为确定型下推自动机（DPDA）

DPDA

P 以终态方式接受的语言

(

)

L§

L§ 称为确定性上下文无关语言（DCFL）

注：DPDA 与 PDA 不等价

例：任何 DPDA 都无法接受

L

w

w

r

L_{ww^r}

Lwwr, 但是可以接受

L

w

c

w

r

=

{

w

c

w

R

∣

w

∈

(

0

1

)

∗

}

L_{wcw^r} = {wcw^R | w ∈ (0 + 1)^∗}

Lwcwr={wcwR∣w∈(0+1)∗}
设计DPDA

DCFL 的重要应用

非固有歧义语言的真子集
程序设计语言的语法分析器
LR(k) 文法, Yacc 的基础, 解析时间复杂度为 O(n)

如果

L 是正则语言, 那么存在 DPDA

P 以终态方式接受

L, 即

(

)

L = L§

L=L§

证明: 显然，DPDA

P 可以不用栈而模拟任何 DFA。

结论：

正

则

语

言

⊆

正则语言 ⊆ DCFL ⊆ CFL

正则语言⊆DCFL⊆CFL

前缀性质：如果语言 L 中不存在字符串 x 和 y, 使 x 是 y 的前缀, 称语言 L 满足前缀性质.
DPDA

P

P

P 且

L

=

N

(

P

)

L = N§

L=N§, 当且仅当

L

L

L 有前缀性质, 且存在 DPDA

P

′

P^′

P′ 使

L

=

L

(

P

′

)

L = L(P ′)

L=L(P′).

DPDA

P

P

P 的

N

(

P

)

N§

N§ 更有限, 即使正则语言

0

∗

0^∗

0∗ 也无法接受

但却可以被某个 DPDA 以终态方式接受

DPDA 与歧义文法

DPDA

P, 语言

(

)

L = L§

L=L§, 那么

L 有无歧义的 CFG

因此 DPDA 在语法分析中占重要地位
但是并非所有非固有歧义 CFL 都会被 DPDA 识别
如

L_{ww^r}

Lwwr有无歧义文法

→

∣

S → 0S0 | 1S1 | ε

S→0S0∣1S1∣ε

16 上下文无关语言的泵引理

如果语言

L 是 CFL, 那么存在正整数

N, 对

∀

∈

∀z ∈ L

∀z∈L,
只要

∣

≥

|z| ≥ N

∣z∣≥N, 就可以将

z 分为五部分

z = uvwxy

z=uvwxy 满足:

≠

vx \neq ε

vx=ε (或

∣

|vx| > 0

∣vx∣>0);
2. ∣

∣

≤

|vwx| ≤ N

∣vwx∣≤N;
3. ∀

≥

∈

∀i ≥ 0, uv^iwxiy ∈ L

∀i≥0,uviwxiy∈L.

例：证明

L

=

{

0

n

1

n

2

n

∣

n

≥

1

}

L = {0^{n}1{n}2^{n} | n ≥ 1}

L={0n1n2n∣n≥1} 不是上下文无关语言

解：

假设

L 是 CFL, 那么存在整数 N, 对

∀

∈

(

∣

≥

)

∀z ∈ L (|z| ≥ N)

∀z∈L(∣z∣≥N) 满足泵引理.
2. 从

L 中取

z = 0^N1N2^N

z=0N1N2N, 则显然

∈

z ∈ L

z∈L 且

∣

≥

|z| = 3N ≥ N

∣z∣=3N≥N.
3. 由泵引理,

z 可被分为

z = uvwxy

z=uvwxy, 且有

∣

≤

|vwx| ≤ N

∣vwx∣≤N 和

≠

vx \neq ε

vx=ε.
4. 那么

vwx

vwx 可能
* 只包含 0, 1 或 2, 那么

 u 
 
 
 w 
 
 
 y 
 
 
 ∉ 
 
 
 L 
 
 
 
 uwy \notin L 
 
 
 uwy∈/L;
* 只包含 0 和 1, 或只包含 1 和 2, 那么也有  
 
 
 
 
 u 
 
 
 w 
 
 
 y 
 
 
 ∉ 
 
 
 L 
 
 
 
 uwy \notin L 
 
 
 uwy∈/L;