【形式语言与自动机】【《形式语言与自动机理论（第4版）》笔记】第二章：文法

2.1|启示

---

2.2|形式定义

文法

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

  • $V$——变量的非空有穷集，$\forall A\in V$，$A$称为语法变量，简称变量，也称为非终极符号，它表示一个语法范畴，记作$L(A)$

  • $T$——终极符的非空有穷集，$\forall a\in T$，$a$称为终极符，由于$V$中符号表示语法范畴，$T$中的符号是语言的句子中出现的字符，所以有$V\cap T=\varnothing$

  • $P$——产生式的非空有穷集合，$P$中的元素均具有形式$\alpha \to \beta$，称为产生式，读作$\alpha$定义为$\beta$，其中$\alpha \in (V\cup T{)}^{+}$，且$\alpha$中至少有$V$中的一个元素出现，$\beta \in (V\cup T{)}^{\ast }$，$\alpha$称为产生式$\alpha \to \beta$的左部，$\beta$称为产生式$\alpha \to \beta$的右部，产生式又称为定义式或者语法规则

  • $S$——$S\in V$，文法$G$的开始符号

产生式

• 对一组有相同左部的产生式：$\alpha \to {\beta }_1$，$\alpha \to {\beta }_2$，$\cdots$，$\alpha \to {\beta }_n$可以简单地记为$\alpha \to {\beta }_1\mid {\beta }_2\mid \cdots \mid {\beta }_n$，其中${\beta }_1$，${\beta }_2$，$\cdots$，${\beta }_n$称为候选式

• 文法中所有定义$\alpha$的产生式为$\alpha$产生式

推导

• 设$G=(V,T,P,S)$是一个文法，如果$\alpha \to \beta \in P$，$\gamma$，$\delta \in (V\cup T{)}^{\ast }$，则称$\gamma \alpha \delta$在$G$中直接推导出$\gamma \beta \delta$，记作$\gamma \alpha \delta \underset{G}{\Rightarrow }\gamma \beta \delta$，读作$\gamma \alpha \beta$在文法$G$中直接推导出$\gamma \beta \delta$，称$\gamma \beta \delta$在文法$G$中直接归约成$\gamma \alpha \delta$

• 推导也称为派生

• $\underset{G}{\Rightarrow }$是$(V\cup T{)}^{\ast }$上的二元关系，用$\underset{G}{\overset{+}{\Rightarrow }}$代表$(\underset{G}{\Rightarrow }{)}^{+}$，用$\underset{G}{\overset{\ast }{\Rightarrow }}$代表$(\underset{G}{\Rightarrow }{)}^{\ast }$，用$\underset{G}{\overset{n}{\Rightarrow }}$代表$(\underset{G}{\Rightarrow }{)}^n$

  • $\alpha \underset{G}{\overset{n}{\Rightarrow }}\beta$表示$\alpha$在$G$中经过$n$步推导出$\beta$，$\beta$在$G$中经过$n$步归约于$\alpha$，即存在${\alpha }_1$，${\alpha }_2$，$\cdots$，${\alpha }_{n-1}\in (V\cup T{)}^{\ast }$，使得$\alpha \underset{G}{\Rightarrow }{\alpha }_1$，${\alpha }_1\underset{G}{\Rightarrow }{\alpha }_2$，$\cdots$，${\alpha }_{n-1}\underset{G}{\Rightarrow }\beta$
  • 当$n=0$时，有$\alpha =\beta$，即$\alpha \underset{G}{\overset{0}{\Rightarrow }}\beta$

语法范畴

• 设 G = ( {   S , A , B   } , {   0 , 1   } , {   S → A ∣ A B , A → 0 ∣ 0 A , B → 1 ∣ 11   } , S ) G = (\set{S , A , B} , \set{0 , 1} , \set{S \rightarrow A \mid AB , A \rightarrow 0 \mid 0A , B \rightarrow 1 \mid 11} , S) G=({S,A,B},{0,1},{S→A∣AB,A→0∣0A,B→1∣11},S)，则有如下一些推导

  • 对于$n\ge 1$，$A\stackrel{n}{\Rightarrow }{0}^n$，$A\stackrel{n}{\Rightarrow }{0}^{n}A$

  • $B\Rightarrow 1$，$B\Rightarrow 11$

  • 语法范畴$A$代表的集合$L(A)$为 {   0 , 00 , 000 , ⋯   } = {   0 n ∣ n ≥ 1   } \set{0 , 00 , 000 , \cdots} = \set{0^{n} \mid n \geq 1} {0,00,000,⋯}={0n∣n≥1}

  • 语法范畴$B$代表的集合$L(B)$为 {   1 , 11   } \set{1 , 11} {1,11}

  • 语法范畴$S$代表的集合为 L ( S ) = L ( A ) ∪ L ( A ) L ( B ) = {   0 , 00 , 000 , ⋯   } ∪ {   0 , 00 , 000 , ⋯   } {   1 , 11   } = {   0 , 00 , 000 , ⋯   } ∪ {   01 , 001 , 0001 , ⋯   } ∪ {   011 , 0011 , 00011 , ⋯   } L(S) = L(A) \cup L(A) L(B) = \set{0 , 00 , 000 , \cdots} \cup \set{0 , 00 , 000 , \cdots} \set{1 , 11} = \set{0 , 00 , 000 , \cdots} \cup \set{01 , 001 , 0001 , \cdots} \cup \set{011 , 0011 , 00011 , \cdots} L(S)=L(A)∪L(A)L(B)={0,00,000,⋯}∪{0,00,000,⋯}{1,11}={0,00,000,⋯}∪{01,001,0001,⋯}∪{011,0011,00011,⋯}

文法产生的语言

• 设文法$G=(V,T,P,S)$，则称 L ( G ) = {   w ∣ w ∈ T ∗ 且 S ⇒ ∗ w   } L(G) = \set{w \mid w \in T^{*} 且 S \xRightarrow{*} w} L(G)={w∣w∈T∗且S∗ ​w}为文法$G$产生的语言

• 对于任意一个文法$G$，$G$产生的语言$L(G)$就是该文法的开始符号$S$对应的语法范畴$L(S)$

句子

• $\forall w\in L(G)$，$w$称为$G$的一个句子

句型

• 设文法$G=(V,T,P,S)$，对于$\forall \alpha \in (V\cup T{)}^{\ast }$，如果$S\stackrel{\ast }{\Rightarrow }\alpha$，则称$\alpha$是$G$产生的一个句型

---

2.3|文法的构造

文法的等价

• 设有两个文法$G_1$和$G_2$，如果$L(G_1)=L(G_2)$，则称$G_1$与$G_2$等价

文法的表示

• 如果约定所列的第一个产生式的左部就是该文法的开始符号，则对于一个文法，只用列出它的所有产生式

文法的构造

• 构造文法$G$，使得 L ( G ) = {   ω ∣ ω ∈ {   0 , 1   } +   } L(G) = \set{\omega \mid \omega \in \set{0 , 1}^{+}} L(G)={ω∣ω∈{0,1}+}

  • $S\to 0\mid 1\mid 0S\mid 1S$

• 构造文法$G$，使得 L ( G ) = {   ω ω T ∣ ω ∈ {   0 , 1 , 2 , 3   } +   } L(G) = \set{\omega \omega^{T} \mid \omega \in \set{0 , 1 , 2 , 3}^{+}} L(G)={ωωT∣ω∈{0,1,2,3}+}

  • $S\to 00\mid 11\mid 22\mid 33\mid 0S0\mid 1S1\mid 2S2\mid 3S3$

• 构造文法$G$，使得 L ( G ) = {   a n b n c n ∣ n ≥ 1   } L(G) = \set{a^{n} b^{n} c^{n} \mid n \geq 1} L(G)={anbncn∣n≥1}

$$\begin{gathered} S\to aBC\mid aSBC \\ CB\to BC \\ aB\to ab \\ bB\to bb \\ bC\to bc \\ cC\to cc \end{gathered}$$

$$\begin{gathered} S\to abc\mid aSBc \\ bB\to bb \\ cB\to Bc \end{gathered}$$

---

2.4|文法的乔姆斯基体系

文法

$0$型文法

• 设文法$G=(V,T,P,S)$，则$G$叫做$0$型文法或短语结构文法，$L(G)$叫做$0$型语言、短语结构语言（$PSL$）或递归可枚举集

$1$型文法

• 设文法$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，均有$|\beta |\ge |\alpha |$成立，则称$G$为$1$型文法或上下文有关文法，$L(G)$叫做$1$型语言或上下文有关语言（$CSL$）

$2$型文法

• 设文法$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，均有$|\beta |\ge |\alpha |$，并且$\alpha \in V$成立，则称$G$为$2$型文法或上下文无关文法，$L(G)$叫做$2$型语言或上下文无关语言（$CFL$）

$3$型文法

• 设文法$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，$\alpha \to \beta$均具有形式$A\to w$或$A\to wB$，$A$，$B\in V$，$w\in T^{+}$，则称$G$为$3$型文法、正则文法或正规文法，$L(G)$叫做$3$型语言、正则语言或正规语言（$RL$）

$L$是$RL$的充要条件

• $L$是$RL$的充要条件是存在一个文法，该文法产生语言$L$，并且它的产生式要么是形如$A\to a$的产生式，要么是形如$A\to aB$的产生式，其中$A$和$B$为语法变量，$a$为终极符号

证明

充分性

• 设有$G^{{}^{\prime }}$，$L(G^{{}^{\prime }})=L$，且$G^{{}^{\prime }}$的产生式形式满足定理要求，这种文法是$RG$，所以，$G^{{}^{\prime }}$产生的语言是$RL$

必要性

• 构造文法$G^{{}^{\prime }}$

  • 设$L$是$RL$，存在有$RGG$，该文法产生$L$，设$G=(V,T,P,S)$，$P$中的产生式要么是形如$A\to w$的，要么是形如$A\to wB$的，设$w=a_1{a}_2\cdots a_n,n\ge 1$

  • 对于$P$中的每一个产生式，如果该产生式形如$A\to a_1{a}_2\cdots a_n$，则将$A\to a_1{A}_1$，$A_1\to a_2{A}_2$，$\cdots$，$A_{n-1}\to a_n$放入产生式集$P^{{}^{\prime }}$

  • 如果该产生式形如$A\to a_1{a}_2\cdots a_{n}B$，则将$A\to a_1{A}_1$，$A_1\to a_2{A}_2$，$\cdots$，$A_{n-1}\to a_{n}B$放入产生式集$P^{{}^{\prime }}$

  • 令$V^{{}^{\prime }}$是由$P^{{}^{\prime }}$中所有产生式中的语法变量构成的集合，$G^{{}^{\prime }}=(V^{{}^{\prime }},T,P^{{}^{\prime }},S)$

• 证明$L(G^{{}^{\prime }})=L(G)$

  • 需证明$\forall x\in T^{\ast },x\in L(G^{{}^{\prime }})\iff x\in L(G)$

  • 首先证明如果$A\underset{G}{\overset{n}{\Rightarrow }}x$，则$A\underset{G^{{}^{\prime }}}{\overset{m}{\Rightarrow }}x$

    • 当$n=1$时，必有$A\to x\in P$，设$x=a_1{a}_2\cdots a_h$，在$P^{{}^{\prime }}$中有$A\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{A}_1\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2{A}_2\underset{G^{{}^{\prime }}}{\Rightarrow }\cdots \underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2\cdots a_h$

    • 所以，$n=1$时结论成立

    • 设$n=k$时结论成立，往证$n=k+1$时结论成立

    • 设$n=k+1$，$x=x_1{x}_2$，有$A\underset{G}{\Rightarrow }{x}_{1}B\underset{G}{\overset{k}{\Rightarrow }}{x}_1{x}_2$，$B\underset{G}{\overset{k}{\Rightarrow }}{x}_2$，设$x_1=a_1{a}_2\cdots a_h$，则$A\to a_1{a}_2\cdots a_{h}B\in P$

    • 在$P^{{}^{\prime }}$中有$A\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{A}_1\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2{A}_2\underset{G^{{}^{\prime }}}{\Rightarrow }\cdots \underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2\cdots a_{h}B$，由归纳假设，存在$m$，使得$B\underset{G^{{}^{\prime }}}{\overset{m}{\Rightarrow }}{x}_2$，所以$A\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{A}_1\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2{A}_2\underset{G^{{}^{\prime }}}{\Rightarrow }\cdots \underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2\cdots a_{h}B\underset{G^{{}^{\prime }}}{\overset{m}{\Rightarrow }}{a}_1{a}_2\cdots a_h{x}_2$

    • 由归纳法原理，结论对$\forall A\in V$成立

  • 再证明，如果$A\underset{G^{{}^{\prime }}}{\overset{n}{\Rightarrow }}x$，则$A\underset{G}{\overset{m}{\Rightarrow }}x$

    • 当$n=1$时，必有$A\to x\in P^{{}^{\prime }}$，必有$A\to x\in P$，所以$A\underset{G}{\Rightarrow }x$，即结论对$n=1$成立

    • 假设结论对$n<k$成立

    • 当$n=k(k\ge 2)$时，必有$A\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{A}_1\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2{A}_2\underset{G^{{}^{\prime }}}{\Rightarrow }\cdots \underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2\cdots a_h$或$A\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{A}_1\underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2{A}_2\underset{G^{{}^{\prime }}}{\Rightarrow }\cdots \underset{G^{{}^{\prime }}}{\Rightarrow }{a}_1{a}_2\cdots a_{h}B\underset{G^{{}^{\prime }}}{\overset{m}{\Rightarrow }}{a}_1{a}_2\cdots a_h{x}_2$

      • 当第一种情况出现时，$x=a_1{a}_2\cdots a_h$，有$A\to a_1{a}_2\cdots a_h\in P$，所以$A\underset{G}{\Rightarrow }{a}_1{a}_2\cdots a_h$

      • 当第二种情况出现时，$x=a_1{a}_2\cdots a_h{x}_2$，必有$A\to a_1{a}_2\cdots a_{h}B\in P$，$A\underset{G}{\Rightarrow }{a}_1{a}_2\cdots a_{h}B$，且$B$在$G^{{}^{\prime }}$中用不足$k$步推导出$x_2$，由归纳假设，存在$m$，$B$在$G$中经过$m$步推导出$x_2$，从而$A\underset{G}{\Rightarrow }{a}_1{a}_2\cdots a_{h}B\underset{G}{\overset{m}{\Rightarrow }}{a}_1{a}_2\cdots a_h{x}_2$

      • 所以，无论是第一种情况还是第二种情况，对$n=k$结论都成立

    • 由归纳法原理，结论对$\forall A\in V$成立

线性文法

• 设$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，$\alpha \to \beta$均具有$A\to x$或$A\to wBx$形式，其中，$A$，$B\in V$，$w$，$x\in T^{\ast }$，则称$G$为线性文法，$L(G)$称为线性语言

右线性文法

• 设$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，$\alpha \to \beta$均具有$A\to x$或$A\to wB$形式，其中，$A$，$B\in V$，$w\in T^{+}$，则称$G$为右线性文法，$L(G)$称为右线性语言

左线性文法

• 设$G=(V,T,P,S)$，如果对于$\forall \alpha \to \beta \in P$，$\alpha \to \beta$均具有$A\to x$或$A\to Bw$形式，其中，$A$，$B\in V$，$w\in T^{+}$，则称$G$为左线性文法，$L(G)$称为左线性语言

$L$是左线性语言的充要条件

• $L$是左线性语言的充要条件是存在文法$G$，$G$中的产生式要么是形如$A\to a$的产生式，要么是形如$A\to Ba$的产生式，且$L(G)=L$，其中$A$，$B$为语法变量，$a$为终极符号

定理

• 左线性文法与右线性文法等价

句子的分析过程

• 在句子的分析过程中，右线性文法对应于句子的推导过程，左线性文法对应于句子的归约过程

---

2.5|空语句

空产生式

• 形如$A\to \epsilon$的产生式称为空产生式，也可称为$\epsilon$产生式

定理

• 设$G=(V,T,P,S)$为一文法，则存在与$G$同类型的文法$G^{{}^{\prime }}=(V^{{}^{\prime }},T,P^{{}^{\prime }},S^{{}^{\prime }})$，使得$L(G)=L(G^{{}^{\prime }})$，但$G^{{}^{\prime }}$的开始符号$S^{{}^{\prime }}$不出现在$G^{{}^{\prime }}$的任何产生式的右部

证明

• 当文法$G=(V,T,P,S)$的开始符号$S$不出现在$P$中任何产生式的右部时，$G$就是所求
• 否则，取$S^{{}^{\prime }}\notin V$， G ′ = ( V ∪ {   S ′   } , T , P ′ , S ′ ) G^{'} = (V \cup \set{S^{'}} , T , P^{'} , S^{'}) G′=(V∪{S′},T,P′,S′)， P ′ = P ∪ {   S ′ → α ∣ S → α ∈ P   } P^{'} = P \cup \set{S^{'} \rightarrow \alpha \mid S \rightarrow \alpha \in P} P′=P∪{S′→α∣S→α∈P}，显然$G^{{}^{\prime }}$与$G$有相同的类型

证明$L(G^{{}^{\prime }})\subseteq L(G)$

• 对任意$x\in L(G^{{}^{\prime }})$，在$G^{{}^{\prime }}$中存在推导$S^{{}^{\prime }}\Rightarrow \alpha \stackrel{\ast }{\Rightarrow }x$
• 由$P^{{}^{\prime }}$的定义，有$S\to \alpha \in P$，所以$S\Rightarrow \alpha \stackrel{\ast }{\Rightarrow }x$，故$x\in L(G)$

证明$L(G)\subseteq L(G^{{}^{\prime }})$

• 对任意$x\in L(G)$，在$G$中存在推导$S\Rightarrow \alpha \stackrel{\ast }{\Rightarrow }x$
• P ′ = P ∪ {   S ′ → α ∣ S → α ∈ P   } P^{'} = P \cup \set{S^{'} \rightarrow \alpha \mid S \rightarrow \alpha \in P} P′=P∪{S′→α∣S→α∈P}，在$G^{{}^{\prime }}$中$S^{{}^{\prime }}\Rightarrow \alpha \stackrel{\ast }{\Rightarrow }x$，故$x\in L(G^{{}^{\prime }})$

---