【学习笔记】编译原理第二章文法和语言

最新推荐文章于 2023-03-22 01:28:38 发布

Vera_shsf

最新推荐文章于 2023-03-22 01:28:38 发布

阅读量229

点赞数

分类专栏：编译原理文章标签：编译器

本文链接：https://blog.csdn.net/b12345678_123/article/details/120308208

版权

编译原理专栏收录该内容

6 篇文章 1 订阅

订阅专栏

以下为参考课件与《编译技术》（张莉等著）的个人整理，若有错误欢迎指出

第二章文法和语言

文章目录

- 第二章文法和语言

预备知识：

字母表与符号串（离散数学）

设A为字符串集合，如果A是符号表，其闭包 $A^*=\underset{i=0}{\overset{\infty}{\cup}}A^i$ 其实就是符号表生成的所有符号串的集合（ $A^i$ 就是长度为 $i$ 的字符串）

约定：

下文出现的a、b……U、V、W、Z表示符号或者符号集

x、y、t、z……表示符号串

A、B……表示符号串集合

一、文法的非形式讨论

文法（语法）是对语言结构的定义与描述。
语法规则：通过建立一组规则，来描述句子的语法结构。规定用“ ::=”表示“ 由…组成” （或“ 定义为…” ），如 <句子>::=<主语><谓语
合法的句子（由规则推导）：将所有带<>的（非终结符）根据规则替代，最后全变成终结符号【从左到右推即可，也可用语法树】

语法结构正确但不保证语义

二、文法的形式定义

1、文法的形式定义

$\begin{aligned} &文法G=（ V_n， V_t， P， Z），其中:\\ &V_n：非终结符号集 \\ &V_t：终结符号集（句子\in V_t^{*}）\\ &P：产生式或规则的集合\\ &Z：开始符号（识别符号） Z \in V_n \\ \end{aligned}$

规则的形式定义
$\begin{aligned} &规则是一个有序对(U, x),U \in V_n,x \in V^*, 通常写为:\\ &U ::= x 或U \longrightarrow x ,，| U| = 1,|x| \ge 0 \\ \end{aligned}$
说明：有些规则含有相同左部，可以用|连接在一起

2、推导的形式定义

$\begin{aligned} &文法G： v＝ xUy， w＝ xuy,\quad其中x、 y 、u\in V^* ， U\in V_n 。\\ &若U ::= u \in P，则v \longrightarrow w。\\ &特别地，若x＝ y＝ \varepsilon，有U ::= u，则U -> u \end{aligned}$

对于多步推导，可以缩写为 $\overset{+}{\Longrightarrow}$ ，其形式定义如下：
$\begin{aligned} &文法G， u_0, u_1, u_2, ……， u_n ∈ V^+\\ &若 v= u_0 \Longrightarrow u_1\Longrightarrow u_2 …… \Longrightarrow u_n＝ w,则 v \underset{G}{\overset{+}{\Longrightarrow}} w \end{aligned}$
进一步有 $\overset{*}{\Longrightarrow}$ ，个人理解为推导所得+自身，形式定义如下：
$\begin{aligned} &文法G，v,w ∈ V^+\\ &若 v \underset{G}{\overset{+}{\Longrightarrow}} w 或v=w，则v \underset{G}{\overset{*}{\Longrightarrow}} w \end{aligned}$

规范推导（最右推导，即先推右边的非终结符）定义：
$\begin{aligned} &有xUy \Longrightarrow xuy, 若 y\in V_t^*,则此推导为规范的，记为 xUy =|=> xuy \end{aligned}$
同理规范推导也有缩写：
$\begin{aligned} &若有v = u_0 =|=> u_1=|=> ……=|=> u_n= w,则 v \stackrel+{=|=>} w \end{aligned}$

3、语言的形式定义

$\begin{aligned} &给定文法G[Z]\\ &(1)句型： x是句型 \Leftrightarrow Z \overset{*}{\Longrightarrow} x , 且 x\in V^* ；\\ &(2)句子： x是句子 \Leftrightarrow Z \overset{+}{\Longrightarrow} x , 且 x∈ V_t^* ；\\ &(3)语言： L(G[Z])=\{x | x\in V_t^*, Z \overset{+}{\Longrightarrow} x \} ,即句子的集合；\\ \end{aligned}$

Z是识别符号，强调要从Z开始推

可以用形式语言的理论证明:

已知文法，通过推导可以求语言

已知语言，可以构造多种文法

等价文法的定义：

$G 和 G ’ 是两个不同的文法，若 L (G) = L (G ’), 则 G 和 G ’ 为等价文法。$

编译感兴趣的是给定句子 $x$ 和文法 $G$ ，求 $x\in L(G)$

4、递归文法

（1）递归规则：规则右部有与左部相同的符号（非终结符）

（2）分类：
$\begin{aligned} &对于 U::= xUy\\ &\qquad若x=\varepsilon, 即U::= Uy，左递归\\ &\qquad若y=\varepsilon , 即U::= xU，右递归\\ &\qquad若x, y\neq\varepsilon，即U::= xUy，自嵌入递归\\ \end{aligned}$
（3）对应的递归文法分类：
$\begin{aligned} &文法G，存在U \in V_n\\ &\qquad若U \stackrel+\Longrightarrow …U…, 则G为递归文法\\ &\qquad若U \stackrel+\Longrightarrow U…, 则G为左递归文法\\ &\qquad若U \stackrel+\Longrightarrow …U, 则G为右递归文法\\ \end{aligned}$

注： $U$ 不一定是识别符号，所以箭头后方不能说是句型

（4）递归文法优点：可用有穷条规则定义无穷语言

左递归文法缺点：不能自顶向下语法分析（死循环）

5、句型的短语

（1）短语和简单短语
$\begin{aligned} &给定文法G[Z], w = xuy\in V^+(说明w是非空串)，为该文法的句型;\\ &若 Z \stackrel*\Longrightarrow xUy, 且U \stackrel+\Longrightarrow u, 则u是句型w相对于U的短语；\\ &若 Z \stackrel*\Longrightarrow xUy, 且U \Longrightarrow u, 则u是句型w相对于U的简单短语。\\ &其中U \in V_n， u ∈ V^+， x , y \in V^* \end{aligned}$
直观理解：短语是前面句型中的某个非终结符所能推出的符号串。简单短语就是某个非终结符能一步推出的。