形式语言与自动机 第2章 文法理论

第2章 文法理论

文法分类

文法

文法是一个四元组：$G=(V,T,P,S)$ ，其中：

• $V$ 是非终结符（或称变元）的有限集
• $T$ 是终结符的有限集
• $P$ 是生成式的有限集，其中每个生成式都形如 $\alpha \to \beta$ ，其中 $\alpha ,\beta \in (V\cup T{)}^{\ast }$
• $S\in V$ ，称为文法 $G$ 的开始符号

文法分类

① 0 型文法 / 短语结构文法（Phrase Structure Grammar），简记为 PSG

② 1 型文法 / 上下文有关文法（Context Sensitive Grammar），简记为 CSG，要求每个生成式

$\alpha \to \beta$ 都满足条件 $|\alpha |\le |\beta |$

③ 2 型文法 / 上下文无关语法（Context Free Grammar），简记为 CFG，要求每个生成式都具有如下形式：
$$A\to \beta ,\beta \in (V\cup T{)}^{\ast },A\in V$$
④ 3 型文法 / 正则文法（Regular Grammar），简记为 RG，要求每个生成式都具有如下形式：
A → a o r A → a B   ,   a   ∈   T ∪ { ε } ,   A , B   ∈   V A\to a\quad or\quad A\to aB{\,},{\,}a{\,}{\in}{\,}T{\cup}\{\varepsilon\},{\,}A,B{\,}{\in}{\,}V A→aorA→aB,a∈T∪{ε},A,B∈V

1 型文法和 1’ 型文法的等价性

1’ 型文法

1’ 型文法，要求每个生成式都具有如下形式：
$${\alpha }_{1}A{\alpha }_2\to {\alpha }_1\beta {\alpha }_2$$
这里 $A\in V$ ，${\alpha }_1$ 、${\alpha }_2$ $\in$ $(V\cup T{)}^{\ast }$ ，$\beta$ $\in$ $(V\cup T{)}^{+}$

（显然，1’ 型文法更对得起 “上下文有关文法” 这个名字 \doge）

1 型文法和 1’ 型文法的转化

显然，1’ 型文法是 1 型文法的特例（因为 $|{\alpha }_{1}A{\alpha }_2|\le |{\alpha }_1\beta {\alpha }_2|$ ），因此要证明二者的等价性，只需证明对任意 1 型文法 $G$ ，一定存在一个 1’ 型文法 $G^{\prime }$ 使得 $L(G)=L(G^{\prime })$

① 首先将 $G$ 变成 $G^{\prime \prime }=(V^{\prime \prime },T,P^{\prime \prime },S)$ ，其中：

• $V^{\prime \prime }=V\cup M$ ， M = { [ a ] ∣ a   ∈   T } M=\{[a]|a\,{\in}{\,}T\} M={[a]∣a∈T}
• P ′ ′ = P ‾ ∪ { [ a ] → a } P''=\overline{P}{\cup}\{[a]\to a\} P′′=P∪{[a]→a} ， 其中 $\overline{P}$ 是 $P$ 中将所有 $a(a\in T)$ 替换成 $[a]$ 而得来

此时 $G^{\prime \prime }$ 中只有两种文法的形式：

• $A\to \beta$ （$A\in V^{\prime \prime }$）已经满足 1’ 型文法的要求，其中 ${\alpha }_1$ 、${\alpha }_2$ 都是 $\epsilon$

• $A_1{A}_2...A_n\to B_1{B}_2...B_m$ （ $m\ge n\ge 2$ ）

② 第二个还不满足，所以要拆成：

$A_1{A}_2...A_n\to C_1{A}_2...A_n$

$C_1{A}_2...A_n\to C_1{C}_2...A_n$

$...$

$C_1{C}_2...A_n\to C_1{C}_2...C_n$

$C_1{C}_2...C_n\to B_1{C}_2...C_n$

$...$

$B_1{B}_2...B_{n-1}{C}_n\to B_1{B}_2...B_m$ （最后一步直接扩展出了 $B_n{B}_{n-1}...B_m$ ）

例

给出 1 型文法 G 如下：

1. $S\to BC|CBC$
2. $BC\to CB$
3. $cC\to bc$
4. $C\to c$
5. $B\to b$

这里只有 2 和 3 不满足 1’ 型文法的要求，因此：

2. ：$BC\to D_{1}C$ ；$D_{1}C\to D_1{D}_2$ ；$D_1{D}_2\to C{D}_1$ ；$C{D}_1\to CB$ ；

3. ：$[c]C\to E_{1}C$ ；$E_{1}C\to E_1{E}_2$ ； $E_1{E}_2\to [b]E_2$ ；$[b]E_2\to [b][c]$ ；

以及 $[b]\to b$ 和 $[c]\to c$

事实上，$D_i$ 和 $E_i$ 只有一种派生方式能够被消除，所以转化前后是等价的

派生树

就是按照文法的派生过程写成树状