程序语言的语法描述

程序语言的语法描述

该系列博文都是对网上的一些学习资料的总结，特别感谢吴伟大佬和王挺老师的课程资源，以及网上其他大佬的博文分享。这里放出一些链接：

• PLCT实验室 -吴伟(video)

• 国防科技大学·编译原理 -王挺(video)

• 自己动手写编译器

1. 一些基本概念

1.1 字的概念

• 考虑一个有穷字母表$\Sigma$字符集

• 其中每一个元素称为一个字符

• $\Sigma$上的字(也叫字符串)是指由$\Sigma$中的字符所构成的一个有穷序列

• 不包含任何字符列的序列称为空字，记为$\epsilon$

• 用${\Sigma }^{\ast }$表示$\Sigma$上的所有字的全体，包含空字$\epsilon$

• 例如：设 Σ = { a , b } \Sigma=\{a,b\} Σ={a,b}，则

Σ ∗ = { ε , a , b , a a , a b , b a , b b , a a a , . . . } \Sigma^* = \{\varepsilon, a, b, aa, ab, ba, bb, aaa, ...\} Σ∗={ε,a,b,aa,ab,ba,bb,aaa,...}

• ${\Sigma }^{\ast }$的子集U和V的连接(积)定义为
  U V = { α β ∣ α ∈ U & β ∈ V } UV = \{\alpha\beta|\alpha\in U \& \beta \in V\} UV={αβ∣α∈U&β∈V}

• $V$自身的n次积记为

$$V^n=VVV...V$$

• 规定 V 0 = { ε } V^0=\{\varepsilon\} V0={ε}
• 令$V^{\ast }=V^0\cup V^1\cup V^2...$ 称$V^{\ast }$是$V$的闭包
• 记$V^{+}=V{V}^{\ast }$, 称$V^{+}$是$V$的正规 闭包

这里正规闭包其实和闭包的区别在于空字，如果V本身不包含空字，V的闭包是包含空字的，但是V的正则闭包不包含空字。如果V本身就包含空字，则V的闭包和正则闭包是完全一样的。

1.2 上下文无关文法

• 文法：描述语言的语法结构和形式规则

• 上下文无关文法G是一个四元式

$$G=(V_T,V_N,S,P)$$

• 其中：

  • $V_T$：终结符集合(非空)
  • $V_N$: 非终结符集合(非空)，且$V_T\cap V_N=\varnothing$
  • $S$ : 文法的开始符号， $S\in V_N$
  • $P$ : 产生式集合(有限), 每个产生式形式为
    • $P\to \alpha ,P\in V_N,\alpha \in (V_t\cup V_N{)}^{\ast }$

• $\to$也可以用$::=$表示，这种表示称为巴克斯范式(BNF)

• 几点约定

  • $P\to {\alpha }_1$

    $P\to {\alpha }_2$ 可以缩写为 $P\to {\alpha }_1|{\alpha }_2|...|{\alpha }_n$

  其中，“|"读成或， 称${\alpha }_i$为$P$的一个候选式

• 定义： 称$\alpha A\beta$直接退出$\alpha \gamma \beta$，即

$$\alpha A\beta \Rightarrow \alpha \gamma \beta$$

​ 仅当$A\to \gamma$是一个生产式，且$\alpha ,\beta \in (V_T\cup V_N{)}^{\ast }$

• 如果${\alpha }_1\Rightarrow {\alpha }_2\Rightarrow ...\Rightarrow {\alpha }_n$，则我们称这个序列是从${\alpha }_1$到${\alpha }_n$的推导，则称${\alpha }_1$可以推导出${\alpha }_n$。
• 对文法$G(E):E\to i|E+E|E\ast E|(E)$ (需要标明开始符号)
• 通常，用${\alpha }_1{\Rightarrow }^{+}{\alpha }_n$表示从${\alpha }_1$出发，经过一步或若干步，可以推出${\alpha }_n$
• 用${\alpha }_1{\Rightarrow }^{\ast }{\alpha }_n$表示，从${\alpha }_1$出发，经过0步或若干步，可以推出${\alpha }_n$
• 从一个句型到另一个句型的推导往往不唯一
• 最左推导：任何一步$\alpha \Rightarrow \beta$都是对$\alpha$中最左非终结符进行替换
• 最右推导：任何一步$\alpha \Rightarrow \beta$都是对$\alpha$中最右非终结符进行替换
• 定义：假定一个G是一个文法， S是它的开始符号。如果 $S{\Rightarrow }^{\ast }\alpha$，则称 $\alpha$是一个句型。仅包含终结符号的句型是一个句子。文法G产生的句子的全体是一个语言。将它记为L(G)。

L ( G ) = { α ∣ S ⇒ α , α ∈ V t ∗ } L(G) = \{ \alpha | S \Rightarrow \alpha, \alpha \in V ^*_t\} L(G)={α∣S⇒α,α∈Vt∗​}

1.2.1 例题

• 文法$G(A):A\to c|Ab$, G(A)的语言？

​ cbb…b 即 以c开头，后面接任意个b

• 文法$G(S):$

  ​ $S\to A|B$

  ​ $A\to aA|a$

  ​ $B\to bB|b$

aaa…ab…b 即以n个a开始(n>1) 后接m个b(m>1)

• 给出产生语言为 { a n b n ∣ n ≥ 1 } \{a^nb^n|n \ge 1\} {anbn∣n≥1}的文法

$G(S):S\to aSb|ab$

• 给出产生语言为 { a m b n ∣ 1 ≤ n ≤ m ≤ 2 n } \{a^mb^n|1\le n\le m \le 2n\} {ambn∣1≤n≤m≤2n}的文法

$G(S):S\to ab|aab|aSb|aaSb$