《编译原理》学习笔记 ·002【第二章：文法和语言（形式语言理论）-1】

注：前言、目录见 https://blog.csdn.net/qq_44220418/article/details/108428971

零、引言

在文法和语言这一章节，我们所研究的是$$\{\begin{array}{l}\text{单词}如何构成\\ \text{表达式、各种语句、函数}如何书写\\ \text{语法规则}\\ \text{词法规则}\end{array}$$

在《编译原理》中，我们对源代码的关注点并不像在学习编程基础那样，把关注点放在代码实现了什么逻辑功能上，而是需要把关注点放在源程序的 语法、语义是否正确 上

---

文法，简单来说，就是 用数学的方法 来定义 语言

一、符号串与符号串集合

1、字母表

字母表 是一个 非空有穷集合，习惯上用 大写字母 或 $\Sigma \text{Σ}\Sigma$ 表示。

字母表中至少包含一个元素。

$eg:$
Σ = { a , b , c } \quad \quad \Sigma = \{a, b, c\} Σ={a,b,c}
V = { 0 , 1 } \quad \quad \text{V} = \{0, 1\} V={0,1}

2、符号串

(1).概念

符号串

符号串 是由字母表中的符号所组成的有穷序列，习惯上用小写字母表示。

特别地，空串 表示不包含任何符号的符号串，用 $\text{ε}\text{ε}\text{ε}$ 表示。

$eg:$
对 于 字 母 表 Σ = { a , b , c } ， a 、 a a 、 a b c 都 是 Σ 上 的 符 号 串 \quad \quad 对于字母表 \Sigma=\{a,b,c\}， a、aa、abc都是\Sigma上的符号串 对于字母表Σ={a,b,c}，a、aa、abc都是Σ上的符号串

符号串长度

符号串的长度 表示符号串中包含符号的个数，用 $\text{|x|}$ 表示。:

$eg:$
$|abc|=3,|\text{ε}|=0$

子符号串

设有非空符号串 $\text{u}=\text{xvy}$，其中符号串$\text{v}\ne \text{ε}$，则称 $\text{v}$ 为符号串 $\text{u}$ 的子符号串。

$eg:$
$对于x=abc\{\begin{array}{ll}a、ab、abc& 都是其子串\\ \text{ε}、ac& 并不是其子串\end{array}$

符号串的头与尾

若 $z=xy$ 是一个符号串，则$\{\begin{array}{l}\mathbf{x}是\mathbf{z}的\text{头}\\ \mathbf{y}是\mathbf{z}的\text{尾}\end{array}$，且$\{\begin{array}{ll}\mathbf{x}是\mathbf{z}的\text{固有头}& \mathbf{y}\ne \text{ε}\\ \mathbf{y}是\mathbf{z}的\text{固有尾}& \mathbf{x}\ne \text{ε}\end{array}$

另外，可用省略形式表示符号串，形如$\{\begin{array}{l}z=x\dots \\ z=\dots y\\ z=\dots x\dots \end{array}$

$eg:$
$对于x=56789，\{\begin{array}{ll}\text{ε}、5、56、567、5678、56789& 都是x的头\\ \text{ε}、5、56、567、5678& 都是x的固有头\end{array}$

(2).运算

联结（并置）

设 $x$ 与 $y$ 是同一字母表上的两个符号串，把 $y$ 的各个符号相继写在 $x$ 的符号后所得到的符号串称为 $x$ 与 $y$ 的联结(或并置)，记为 $\mathbf{x}\mathbf{y}$

显然，$|xy|=|x|+|y|\text{∣xy∣=∣x∣+∣y∣}|xy|=|x|+|y|$

特别地，$\text{ε}x=x\text{ε}=x\text{εx=xε=x}\text{ε}x=x\text{ε}=x$

$eg:$
$x=ab，y=abc，则xy=ababc$

幂

设 $x$ 是某字母表上的符号串，把 $x$ 自身联结 $n$ 次，即 $z=xx\dots x(n个x)$，称为符号串 $\mathbf{x}$ 的 $\mathbf{n}$ 次方幂，记为 $z=x^n\text{z=xn}z=x^n$

特别地，当 $n=0$ 时，$x^0=\text{ε}$

显然，$|x^n|=n\cdot |x|\text{∣xn∣=n⋅∣x∣}|x^n|=n\cdot |x|$

$eg:$
$x=0，y=a，则\{\begin{array}{l}{x}^5=00000\\ (xy{)}^5=0a0a0a0a0a\\ x{y}^5=0aaaaa\end{array}$

3、符号串集合

(1).概念-1

符号串集合

若 集合$\text{A}$ 中的一切元素都是某字母表$\Sigma$ 上的符号串，则称 $\text{A}$ 为该字母表 $\Sigma$ 上的符号串集合，常用大写字母 $\text{A、B、C、}\dots$表示。

特别地，空集 表示不包含任何元素的集合，用 $\varnothing \text{∅}\varnothing$ 表示。

符号串集合的表示方法 { 枚 举 表 示 法 { 1 , 11 , 111 } 省 略 表 示 法 { 1 , 11 , 111 , …   } 描 述 表 示 法 { x    ∣    x 满 足 条 件 C } \begin{cases} 枚举表示法 & \{ 1, 11, 111 \} \\ 省略表示法 & \{ 1, 11, 111, \dots \} \\ 描述表示法 & \{ x \; | \; x满足条件\text{C} \} \\ \end{cases} ⎩⎪⎨⎪⎧​枚举表示法省略表示法描述表示法​{1,11,111}{1,11,111,…}{x∣x满足条件C}​

$eg:$
字 母 表 = { x    ∣    x 是 该 字 母 表 上 的 符 号 串 ， 且 ∣ x ∣ = 1 } \quad \quad 字母表 = \{ x \; | \; x是该字母表上的符号串，且|x| = 1 \} 字母表={x∣x是该字母表上的符号串，且∣x∣=1}

(2).运算

乘积

两个符号串集合 $\text{A}$ 与 $\text{B}$ 的 乘积 定义为 AB = { x y    ∣    x ∈ A    且    y ∈ B } \text{AB} = \{ xy \; | \; x \in \text{A} \; 且 \; y \in \text{B} \} AB={xy∣x∈A且y∈B}

$eg:$
A = { 2 , 3 } ， B = { 7 , 8 , 9 } ， 则 AB = { 27 , 28 , 29 , 37 , 38 , 39 } \quad \quad \text{A} = \{ 2, 3 \}， \text{B} = \{ 7, 8, 9 \}，则\text{AB} = \{ 27, 28, 29, 37, 38, 39 \} A={2,3}，B={7,8,9}，则AB={27,28,29,37,38,39}

幂

一个符号串集合的 $\mathbf{n}$ 次幂 即 $\mathbf{n}$个该集合的乘积，如 { A 0 = { ε } A 1 = A A 2 = AA ⋯ ⋯ A n = A n − 1 A    ( n > 0 ) \begin{cases} \pmb{\text{A}^0 = \{ \text{ε} \}} \\ \text{A}^1 = \text{A} \\ \text{A}^2 = \text{AA} \\ \cdots\cdots \\ \text{A}^n = \text{A}^{n-1}\text{A} \; (n > 0) \\ \end{cases} ⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧​A0={ε}​A0={ε}​​A0={ε}A1=AA2=AA⋯⋯An=An−1A(n>0)​

$eg:$
A = { 0 , 1 } ， 则 A 3 = { 000 , 001 , 010 , 011 , 100 , 101 , 110 , 111 } \quad \quad \text{A} = \{ 0, 1 \}，则\text{A}^3 = \{ 000, 001, 010, 011, 100, 101, 110, 111 \} A={0,1}，则A3={000,001,010,011,100,101,110,111}

(3).概念-2

闭包、正闭包

符号串集合$\text{A}$的闭包表示$\text{A}$上一切长度为$n(n\ge 0)$的符号串构成的集合，记为${\text{A}}^{\ast }$：$${\text{A}}^{\ast }={\text{A}}^0\cup {\text{A}}^1\cup {\text{A}}^2\cup \cdots \cup {\text{A}}^n\cup \cdots$$

符号串集合$\text{A}$的闭包表示$\text{A}$上一切长度为$n(n>0)$的符号串构成的集合，记为${\text{A}}^{+}$：$${\text{A}}^{+}={\text{A}}^1\cup {\text{A}}^2\cup \cdots \cup {\text{A}}^n\cup \cdots$$

显然，$\{\begin{array}{l}{\text{A}}^{\ast }={\text{A}}^0\cup {\text{A}}^{+}\text{A∗=A0∪A+}{\text{A}}^{\ast }={\text{A}}^0\cup {\text{A}}^{+}\\ {\text{A}}^{+}={\text{AA}}^{\ast }={\text{A}}^{\ast }\text{A}\text{A+=AA∗=A∗A}{\text{A}}^{+}={\text{AA}}^{\ast }={\text{A}}^{\ast }\text{A}\end{array}$

${\text{A}}^{+}$ 表示 $\text{A}$ 中的符号所能组成的一切符号串，故某字母表上的语言是该字母表正闭包的真子集

$eg:$
字 母 表 V = { 0 , 1 } \quad \quad 字母表\text{V} = \{ 0, 1 \} 字母表V={0,1}，

则 { V ∗ = { ε , 0 , 1 , 00 , 01 , 10 , 11 , 000 , … …   } V + = { 0 , 1 , 00 , 01 , 10 , 11 , 000 , … …   } \quad \quad 则\begin{cases} \text{V}^* = \{ \text{ε}, 0, 1, 00, 01, 10, 11, 000, \dots\dots \} \\ \text{V}^+ = \{ 0, 1, 00, 01, 10, 11, 000, \dots\dots \} \\ \end{cases} 则{V∗={ε,0,1,00,01,10,11,000,……}V+={0,1,00,01,10,11,000,……}​



C 语 言 的 字 符 集 U = { a \quad \quad \text{C}语言的字符集\text{U} = \{ a C语言的字符集U={a , $b$ , $\cdots \cdots$ , $z$ , $0$ , $\cdots \cdots$ , $9$ , $+$ , $-$ , $\ast$ , $/$ , $:$ , ${}^{\prime }$ , $($ , $)$ , $"$ , $\cdots \cdots$$\}$

$则\{\begin{array}{l}{\text{U}}^{+}表示由\text{U}上的字符构成的任意长度的符号串的集合\\ 任何一个正确的\text{C}语言源程序是{\text{U}}^{+}上的一个元素\text{任何一个正确的C语言源程序是U+上的一个元素}任何一个正确的\text{C}语言源程序是{\text{U}}^{+}上的一个元素\\ 所有正确的\text{C}语言源程序构成的符号串集合是{\text{U}}^{+}上的真子集\text{所有正确的C语言源程序构成的符号串集合是U+上的真子集}所有正确的\text{C}语言源程序构成的符号串集合是{\text{U}}^{+}上的真子集\end{array}$

二、文法与语言的形式定义

1、文法的形式定义

(1).重写规则

重写规则

一个重写规则（简称“规则”）是一个有序对$(\alpha ，\beta )$，通常写作$$\alpha ::=\beta 或\alpha \to \beta$$

其中，$\{\begin{array}{l}\alpha 称为重写规则的左部\text{左部}左部\\ \beta 称为重写规则的右部\text{右部}右部\\ 这里的::=或\to 读作“定义为”\end{array}$

$eg:$
\quad \quad 有一组规则 { < 标 识 符 >   →   < 字 母 > { < 字 母 > ∣ < 数 字 > } < 字 母 >   →   a ∣ b ∣ c ∣ … ∣ z < 数 字 >   →   0 ∣ 1 ∣ 2 ∣ … ∣ 9 \begin{cases} \pmb{<标识符>} \ \rightarrow \ \pmb{<字母>\{ <字母> | <数字> \}} \\ \pmb{<字母>} \ \rightarrow \ \pmb{a | b | c | \dots | z} \\ \pmb{<数字>} \ \rightarrow \ \pmb{0 | 1 | 2 | \dots | 9} \\ \end{cases}\quad ⎩⎪⎨⎪⎧​<标识符>​<标识符>​​<标识符> → <字母>{<字母>∣<数字>}​<字母>{<字母>∣<数字>}​​<字母>{<字母>∣<数字>}<字母>​<字母>​​<字母> → a∣b∣c∣…∣z​a∣b∣c∣…∣z​​a∣b∣c∣…∣z<数字>​<数字>​​<数字> → 0∣1∣2∣…∣9​0∣1∣2∣…∣9​​0∣1∣2∣…∣9​或者$\{\begin{array}{l}<标识符>\text{<标识符>}<标识符>\to <字母>\text{<字母>}<字母>\\ <标识符>\text{<标识符>}<标识符>\to <标识符><数字>\text{<标识符><数字>}<标识符><数字>\\ <标识符>\text{<标识符>}<标识符>\to <标识符><字母>\text{<标识符><字母>}<标识符><字母>\\ <字母>\text{<字母>}<字母>\to a|b|c|\dots |z\text{a∣b∣c∣…∣z}a|b|c|\dots |z\\ <数字>\text{<数字>}<数字>\to 0|1|2|\dots |9\text{0∣1∣2∣…∣9}0|1|2|\dots |9\end{array}$
\quad \quad 也可以写成如下形式 { B  →   A { A ∣ D } A  →   a ∣ b ∣ c ∣ … ∣ z D  →   0 ∣ 1 ∣ 2 ∣ … ∣ 9 \begin{cases} \pmb{\text{B}} \ \rightarrow \ \pmb{\text{A}\{ \text{A} | \text{D} \}} \\ \pmb{\text{A}} \ \rightarrow \ \pmb{a | b | c | \dots | z} \\ \pmb{\text{D}} \ \rightarrow \ \pmb{0 | 1 | 2 | \dots | 9} \\ \end{cases}\quad ⎩⎪⎨⎪⎧​BBB → A{A∣D}​A{A∣D}​​A{A∣D}AAA → a∣b∣c∣…∣z​a∣b∣c∣…∣z​​a∣b∣c∣…∣zDDD → 0∣1∣2∣…∣9​0∣1∣2∣…∣9​​0∣1∣2∣…∣9​或者$\{\begin{array}{l}\text{B}\text{B}\text{B}\to \text{A}\text{A}\text{A}\\ \text{B}\text{B}\text{B}\to \text{B}\text{D}\text{BD}\text{B}\text{D}\\ \text{B}\text{B}\text{B}\to \text{B}\text{A}\text{BA}\text{B}\text{A}\\ \text{A}\text{A}\text{A}\to a|b|c|\dots |z\text{a∣b∣c∣…∣z}a|b|c|\dots |z\\ \text{D}\text{D}\text{D}\to 0|1|2|\dots |9\text{0∣1∣2∣…∣9}0|1|2|\dots |9\end{array}$

元语言符号

$::=和\to$ 表示 定义为

$|$ 表示 或者

{   } min ⁡ max ⁡ \{ \ \}^{\max}_{\min} { }minmax​ 表示 括号中的内容至少出现$\min \text{min}\min$次、至多出现$\max \text{max}\max$次

$[]$ 表示 括号内的内容可有可无

$()$ 表示 提出因子， $eg:\text{E}\to \text{E}+\text{T}|\text{E}-\text{T}$ 可写为 $\text{E}\to \text{E}(+|-)\text{T}$

(2).文法

文法

文法$\text{G}$是一个四元组$({\text{V}}_{\text{N}},{\text{V}}_{\text{T}},\text{P},\text{S})$

其中，$\{\begin{array}{ll}{\text{V}}_{\text{N}}& 非终结符号集合\\ {\text{V}}_{\text{T}}& 由终结符号组成的字母表\\ \text{P}& 有穷非空的重写规则集合\\ \text{S}& 识别符号（\text{S}\in {\text{V}}_{\text{N}}）\end{array}$

显然，${\text{V}}_{\text{N}}\cap {\text{V}}_{\text{T}}=\varnothing$

$eg:$
文 法 G E : { 非 终 结 符 号 集 合 V N = { E , T , F } 终 结 符 号 字 母 表 V T = { + , ∗ , i , ( , ) } 识 别 符 S = E 重 写 规 则 集 合 P : { E → E + T E → T T → T ∗ F T → F F → i F → ( E ) \quad \quad 文法\text{G}_\text{E} : \begin{cases} 非终结符号集合 & \text{V}_\text{N} = \{ \text{E}, \text{T}, \text{F} \} \\ \\ 终结符号字母表 & \text{V}_\text{T} = \{ +, *, i, (, ) \} \\ \\ 识别符 & \text{S} = \text{E} \\ \\ 重写规则集合 & \text{P} : \begin{cases} \pmb{\text{E}} → \pmb{\text{E} + \text{T}} \\ \pmb{\text{E}} → \pmb{\text{T}} \\ \pmb{\text{T}} → \pmb{\text{T} * \text{F}} \\ \pmb{\text{T}} → \pmb{\text{F}} \\ \pmb{\text{F}} → \pmb{\text{i}} \\ \pmb{\text{F}} → \pmb{(\text{E})} \\ \end{cases} \\ \end{cases} 文法GE​:⎩⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎧​非终结符号集合终结符号字母表识别符重写规则集合​VN​={E,T,F}VT​={+,∗,i,(,)}S=EP:⎩⎪⎪⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎪⎪⎧​EEE→E+T​E+T​​E+TEEE→TTTTTT→T∗FT∗FT∗FTTT→FFFFFF→iiiFFF→(E)​(E)​​(E)​​

$简单分析，这是一个表达式的文法，是一个简单的有加法、乘法、小括号的表达式文法。$

判断非终结符与终结符的方法
\quad \quad 一般来说，重写规则的左部都是非终结符，只在重写规则右部出现的都是终结符

字汇表

文法$\text{G}$的字汇表$\text{V}={\text{V}}_{\text{N}}\cup {\text{V}}_{\text{T}}$，即字汇表是出现于文法规则中一切符号所组成的集合。

$eg:$
$有文法\text{G}[<无符号整数>]，其有如下重写规则：$ $$\{\begin{array}{l}<无符号整数>\text{<无符号整数>}<无符号整数>\to <数字串>\text{<数字串>}<数字串>\\ <数字串>\text{<数字串>}<数字串>\to <数字串><数字>\text{<数字串><数字>}<数字串><数字>\\ <数字串>\text{<数字串>}<数字串>\to <数字>\text{<数字>}<数字>\\ <数字>\text{<数字>}<数字>\to 0|1|2|\cdots |9\text{0∣1∣2∣⋯∣9}0|1|2|\cdots |9\end{array}$$
则 { V N = { < 数 字 > , < 数 字 串 > , < 无 符 号 整 数 > } V T = { 0 , 1 , 2 , ⋯   , 9 } V = { 0 , 1 , 2 , ⋯   , 9 , < 数 字 > , < 数 字 串 > , < 无 符 号 整 数 > } \quad \quad 则\begin{cases} \text{V}_\text{N} = \{ <数字>, <数字串>, <无符号整数> \} \\ \text{V}_\text{T} = \{ 0, 1, 2, \cdots, 9 \} \\ \text{V} = \{ 0, 1, 2, \cdots, 9, <数字>, <数字串>, <无符号整数> \} \\ \end{cases} 则⎩⎪⎨⎪⎧​VN​={<数字>,<数字串>,<无符号整数>}VT​={0,1,2,⋯,9}V={0,1,2,⋯,9,<数字>,<数字串>,<无符号整数>}​

(3).句子

直接推导（一步推导）

对于文法$\text{G}$，有规则 $\alpha \to \beta$，$x$ 和 $y$ 是 字汇表 $\text{V}$ 上的符号串（可以为空串$\text{ε}$），若 $\text{V}$ 上有另外两个符号串 $v$ 和 $w$ ，使 $v=x\alpha y$ 且 $w=x\beta y$，则称 $v$ 直接推导 或 直接产生出 $w$，或称 $w$ 直接归约到 $v$，分别记为 $v⟹w\text{v⟹w}v⟹w$，$w\underset{△}{\Rightarrow }v\text{w △v}w\underset{△}{\Rightarrow }v$

可以用产生式的右部替换产生式的左部

$eg:$
$设有文法\text{G}[\text{E}]:\{\begin{array}{l}\text{E}\text{E}\text{E}\to \text{E}+\text{T}|\text{T}\text{E+T∣T}\text{E}+\text{T}|\text{T}\\ \text{T}\text{T}\text{T}\to \text{T}\ast \text{F}|\text{F}\text{T∗F∣F}\text{T}\ast \text{F}|\text{F}\\ \text{F}\text{F}\text{F}\to (\text{E})|\text{i}\text{(E)∣i}(\text{E})|\text{i}\end{array}$

$做出如下一系列直接推导：$

$\begin{array}{rl}\text{E}& \Rightarrow \text{E}+\text{T}\\ & \Rightarrow \text{T}+\text{T}\\ & \Rightarrow \text{F}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\ast \text{F}\\ & \Rightarrow \text{i}+\text{F}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{i}\end{array}$

$做出如下一系列直接归约：$

$\begin{array}{rl}\text{i}+\text{i}\ast \text{i}& \underset{△}{\Rightarrow }\text{i}+\text{i}\ast \text{F}\\ & \underset{△}{\Rightarrow }\text{i}+\text{F}\ast \text{F}\\ & \underset{△}{\Rightarrow }\text{i}+\text{T}\ast \text{F}\\ & \underset{△}{\Rightarrow }\text{i}+\text{T}\\ & \underset{△}{\Rightarrow }\text{F}+\text{T}\\ & \underset{△}{\Rightarrow }\text{T}+\text{T}\\ & \underset{△}{\Rightarrow }\text{E}+\text{T}\\ & \underset{△}{\Rightarrow }\text{E}\end{array}$

推导（一步或多步推导）

对于文法$\text{G}$，若存在一直接推导序列 $v=u_0\Rightarrow u_1\Rightarrow u_2\Rightarrow \cdots \Rightarrow u_n=w$ $(n>0)$，则称 $v$ 推导出 $w$ ，或称 $w$ 归约到 $v$，分别记为 $v\stackrel{+}{\Rightarrow }w\text{v+ w}v\stackrel{+}{\Rightarrow }w$，$w\underset{△}{\overset{+}{\Rightarrow }}v\text{w+ △v}w\underset{△}{\overset{+}{\Rightarrow }}v$，并称 $n$ 为 推导长度。

$eg:$
$设有文法\text{G}[\text{E}]:\{\begin{array}{l}\text{E}\text{E}\text{E}\to \text{E}+\text{T}|\text{T}\text{E+T∣T}\text{E}+\text{T}|\text{T}\\ \text{T}\text{T}\text{T}\to \text{T}\ast \text{F}|\text{F}\text{T∗F∣F}\text{T}\ast \text{F}|\text{F}\\ \text{F}\text{F}\text{F}\to (\text{E})|\text{i}\text{(E)∣i}(\text{E})|\text{i}\end{array}$

$做出如下直接推导：$

$\begin{array}{rl}\text{E}& \Rightarrow \text{E}+\text{T}\\ & \Rightarrow \text{T}+\text{T}\\ & \Rightarrow \text{F}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\ast \text{F}\\ & \Rightarrow \text{i}+\text{F}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{i}\end{array}$

$可以写成\text{E}\stackrel{+}{\Rightarrow }\text{i}+\text{i}\ast \text{i}，推导长度为8$

广义推导（零步或多步推导）

对于符号串 $v$ 和 $w$，若 $v\stackrel{+}{\Rightarrow }w$ 或 $v=w$，则称符号串 $v$ 广义推导到 符号串 $w$，或称符号串 $w$ 广义归约到 $v$，分别记为 $v\stackrel{\ast }{\Rightarrow }w\text{v∗ w}v\stackrel{\ast }{\Rightarrow }w$ ，$w\underset{△}{\overset{\ast }{\Rightarrow }}v\text{w∗ △v}w\underset{△}{\overset{\ast }{\Rightarrow }}v$

$eg:$
$\text{E}\stackrel{\ast }{\Rightarrow }\text{E}$

---

句型、句子

设 $\text{G}[\text{Z}]$ 是字汇表 $\text{V}$ 上的一个文法 $\{\begin{array}{ll}若\text{Z}\stackrel{\ast }{\Rightarrow }x,x\in {\text{V}}^{\ast }& 则称x是文法\text{G}的一个句型\text{句型}句型\\ 若\text{Z}\stackrel{\ast }{\Rightarrow }x,x\in {{\text{V}}_{\text{T}}}^{\ast }& 则称x是文法\text{G}的一个句子\text{句子}句子\end{array}$

Tips：${\text{V}}^{\ast }是指\text{V}的闭包$

$eg:$
$设有文法\text{G}[\text{E}]:\{\begin{array}{l}\text{E}\text{E}\text{E}\to \text{E}+\text{T}|\text{T}\text{E+T∣T}\text{E}+\text{T}|\text{T}\\ \text{T}\text{T}\text{T}\to \text{T}\ast \text{F}|\text{F}\text{T∗F∣F}\text{T}\ast \text{F}|\text{F}\\ \text{F}\text{F}\text{F}\to (\text{E})|\text{i}\text{(E)∣i}(\text{E})|\text{i}\end{array}$

$做出如下一系列直接推导：$

$\begin{array}{rl}\text{E}& \Rightarrow \text{E}+\text{T}\\ & \Rightarrow \text{T}+\text{T}\\ & \Rightarrow \text{F}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\\ & \Rightarrow \text{i}+\text{T}\ast \text{F}\\ & \Rightarrow \text{i}+\text{F}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{F}\\ & \Rightarrow \text{i}+\text{i}\ast \text{i}\end{array}$

$因此，\{\begin{array}{l}\text{E}+\text{T}\\ \text{T}+\text{T}\\ \text{F}+\text{T}\\ \text{i}+\text{T}\\ \text{i}+\text{T}\ast \text{F}\\ \text{i}+\text{i}\ast \text{i}\end{array}都是文法\text{G}[\text{E}]的句型$

$而\text{i}+\text{i}\ast \text{i}，既是文法\text{G}[\text{E}]的一个句型，又是文法\text{G}[\text{E}]的一个句子$

2、语言的形式定义

(1).语言

假定 $\text{G}[\text{S}]$ 是一个文法，$\text{S}$ 是文法的识别符号。由该文法描述的语言用 $\text{L}(\text{G}[\text{S}])\text{L(G[S])}\text{L}(\text{G}[\text{S}])$ 表示，则 L ( G [ S ] ) = { x    ∣    S ⇒ ∗ x    且    x ∈ V T ∗ } \text{L}(\text{G}[\text{S}]) = \{ x \; | \; \text{S} \xRightarrow[]{*} x \; 且 \; x \in {\text{V}_\text{T}}^* \} L(G[S])={x∣S∗ ​x且x∈VT​∗}

文法描述的语言是该文法一切句子的集合。
文法描述的语言是该文法的终结符集合的闭包（${{\text{V}}_{\text{T}}}^{\ast }\text{VT∗}{{\text{V}}_{\text{T}}}^{\ast }$）的真子集。

$eg:$
$设有文法\text{G}[\text{E}]:\{\begin{array}{l}\text{E}\text{E}\text{E}\to \text{E}+\text{T}|\text{T}\text{E+T∣T}\text{E}+\text{T}|\text{T}\\ \text{T}\text{T}\text{T}\to \text{T}\ast \text{F}|\text{F}\text{T∗F∣F}\text{T}\ast \text{F}|\text{F}\\ \text{F}\text{F}\text{F}\to (\text{E})|\text{i}\text{(E)∣i}(\text{E})|\text{i}\end{array}$

$则文法\text{G}[\text{E}]描述的语言是由\text{i},+,\ast ,(,)组成的所有表达式$

$像\{\begin{array}{l}(\text{i}+)\\ \text{ii}\\ \text{i})\end{array}这些符号串都不是文法\text{G}[\text{E}]的句子，所以他们都不属于集合\text{L}(\text{G}[\text{E}])$

$\text{L}(\text{G}[\text{E}])是{{\text{V}}_{\text{T}}}^{\ast }的真子集$

\quad \quad 一个正确的源程序应该是能够从该语言的文法识别符号开始推导出来的一个符号串，换句话说，如果一个源程序不能从该语言的文法识别符号推导出来，那么这必然是一个错误的源程序

文法和语言的关系

• 给定一个文法，就能从结构上唯一地确定其语言
• 给定一个语言，能确定其文法，但这种文法不是唯一的

$题例1\text{题例1}题例1$
$设有文法\text{G}[\text{A}]：\text{A}\to b\text{A}|a$
求 证 ： 该 文 法 G [ A ] 所 确 定 的 语 言 是 L ( G [ A ] ) = { b i a    ∣    i ≥ 0 } \quad \quad 求证：该文法 \text{G}[\text{A}] 所确定的语言是 \text{L}(\text{G}[\text{A}]) = \{ b^ia \; | \; i \ge 0 \} 求证：该文法G[A]所确定的语言是L(G[A])={bia∣i≥0}

$数学归纳法\text{数学归纳法}数学归纳法$

$证明：\text{证明：}证明：$
要 证 明 “ 文 法 G [ A ] 所 确 定 的 语 言 是 L ( G [ A ] ) = { b i a    ∣    i ≥ 0 } ” \quad \quad \quad \quad 要证明 “文法 \text{G}[\text{A}] 所确定的语言是 \text{L}(\text{G}[\text{A}]) = \{ b^ia \; | \; i \ge 0 \}” 要证明“文法G[A]所确定的语言是L(G[A])={bia∣i≥0}”
$即证明“\text{A}通过文法\text{G}[\text{A}]的规则广义推导出的句子都是是形如b^{i}a的终结符号串”$
$即证明“使用规则\text{A}\to b\text{A}|a可以得到\text{A}\stackrel{\ast }{\Rightarrow }{b}^{i}a(i\ge 0)”$
$现用数学归纳法证明如下：$
$①当i=0时，显然\text{A}\stackrel{\ast }{\Rightarrow }a，命题成立$
$②假设i=k(k\ge 0)时，命题成立，有\text{A}\stackrel{\ast }{\Rightarrow }{b}^{k}a$
$\begin{array}{rlr}当i=k+1时，\text{A}& ⟹b\text{A}& \\ & \stackrel{\ast }{\Rightarrow }b\cdot b^{k}a& （\text{A}\stackrel{\ast }{\Rightarrow }{b}^{k}a）\\ & =b^{k+1}a& \end{array}$
$即\text{A}\stackrel{\ast }{\Rightarrow }{b}^{k+1}a$
$即当i=k+1时，命题也成立$
$综①②，使用规则\text{A}\to b\text{A}|a可以得到\text{A}\stackrel{\ast }{\Rightarrow }{b}^{i}a(i\ge 0)$
$从而原命题得证$

$题例2\text{题例2}题例2$
设 L = { a 2 n b    ∣    n ≥ 1 } ， 这 里 V T = { a , b } . \quad \quad 设\text{L} = \{ a^{2n} b \; | \; n \ge 1 \}，这里\text{V}_\text{T} = \{ a, b \}. 设L={a2nb∣n≥1}，这里VT​={a,b}.
$试为其构造相应的文法。$

$解：\text{解：}解：$
$先考虑n=1、2、3的特殊情况\{\begin{array}{ll}n=1& aab\\ n=2& aaaab\\ n=3& aaaaaab\end{array}$
$显然，规律是偶数个a后跟一个b，且可能有无穷多个a$
$因此规则中一定有递归$
$可设计规则\text{G}[\text{Z}]:\{\begin{array}{l}\text{Z}\to \text{A}b\\ \text{A}\to a\text{A}a|aa\end{array}或\text{G}[\text{Z}]:\{\begin{array}{l}\text{Z}\to \text{A}b\\ \text{A}\to \text{A}aa|aa\end{array}等。$

小结：其实从 $\underline{题例1\text{题例1}题例1}$ 和 $\underline{题例2\text{题例2}题例2}$ 中看出 文法和语言的关系

(2).递归规则

$\{\begin{array}{ll}如果一个规则形如\text{U}\to \dots \text{U}\dots & 则称该规则是递归\text{递归}递归的\\ 如果一个规则形如\text{U}\to \text{U}\dots & 则称该规则是左递归\text{左递归}左递归的\\ 如果一个规则形如\text{U}\to \dots \text{U}& 则称该规则是右递归\text{右递归}右递归的\end{array}$

(3).等价

若 $\text{L}({\text{G}}_1)=\text{L}({\text{G}}_2)$，则称文法 ${\text{G}}_1$ 和 ${\text{G}}_2$ 是等价的。

$eg:$
$这三种文法就是等价的\{\begin{array}{l}{\text{G}}_1[\text{Z}]:\{\begin{array}{l}\text{Z}\to \text{A}b\\ \text{A}\to a\text{A}a|aa\end{array}\\ \\ {\text{G}}_2[\text{Z}]:\{\begin{array}{l}\text{Z}\to \text{A}b\\ \text{A}\to aa\text{A}|aa\end{array}\\ \\ {\text{G}}_3[\text{Z}]:\{\begin{array}{l}\text{Z}\to \text{A}b\\ \text{A}\to \text{A}aa|aa\end{array}\end{array}$

它 们 都 确 定 了 语 言 L = { a 2 n b    ∣    n ≥ 1 } \quad \quad 它们都确定了语言\text{L} = \{ a^{2n} b \; | \; n \ge 1 \} 它们都确定了语言L={a2nb∣n≥1}