编译原理 [0x01][0x00] ==(2.1) 高级语言及其语法描述

最新推荐文章于 2023-05-17 15:41:15 发布

Zeroooooo

最新推荐文章于 2023-05-17 15:41:15 发布

阅读量869

点赞数 2

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

本文链接：https://blog.csdn.net/Zeroooooo/article/details/100582343

版权

编译原理专栏收录该内容

12 篇文章 1 订阅

订阅专栏

高级语言及其语法描述

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

语法描述的几个基本概念（1）

字母表：一个有穷字符集，记为∑
字母表中每个元素称为字符
∑上的字(也叫字符串) 是指由∑中的字符所构成的一个有穷序列
不包含任何字符的序列称为空字，记为ε
用∑*表示∑上的所有字的全体，包含空字ε Ps：即可能组合成的所有字的全体集合
例如: 设 ∑={a， b}，则

语法描述的几个基本概念（2）

∑*的子集U和V的连接（积）定义为

UV＝{ ab | a $\in$ U & b $\in$ V }

示例：设

U＝{ a, aa }

V＝ { b, bb }

UV={ ab, abb, aab, aabb}

ps:左乘和右乘不一定相同

V自身的 n次积记为

$V^{n}=VV\underset{n}{\underbrace{.....}}V$

$V^{0}=\left \{ \varepsilon \right \}$
V*是V的闭包： $V^{*}=V^{0}\bigcup V^{1}\bigcup V^{2}\bigcup V^{3}\bigcup ...$
$V^{+}$ 是V的正规闭包： $V^{+}$ ＝V V*

Ps：所谓闭包就是集合中元素之间组合出所有可能的集合

例如：集合C={1,2}

C的闭包就是{ $\varepsilon$ ,1,2,12,11,22,112,122,111,...........}

这是一个无限集，其中包括所有和1,2有关的字串

Ps：闭包和正规闭包的区别

V*包含 $V^{0}$   ， $V^{+}$ 不包含 $V^{0}$ （ $V^{0}=\left \{ \varepsilon \right \}$ ）

设   V={a,aa}

V*={ $\varepsilon$   , a, aa, aaa, aaaa, …}

$V^{+}$ ={ a, aa, aaa, aaaa, …}

$V^{*}\subseteq V^{+}$

下文无关文法

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

G=( $V_{T}$ ， $V_{N}$ ，S，P)，其中

$V_{T}$ ：终结符(Terminal)集合(非空)
$V_{N}$ ：非终结符(Noterminal)集合(非空)，且 $V_{T}\bigcap V_{N}=\varnothing$
S：文法的开始符号， $S\epsilon V_{N}$
P：产生式集合(有限)，每个产生式形式为
P $\rightarrow$ a， $P\epsilon V_{N}$ ， $a \epsilon (V_{T}\bigcup V_{N})^{*}$
开始符S至少必须在某个产生式的左部出现一次

Ps： 终结符即最小的不可拆分的基本单元元素，而非终结符可再分（即非终结符需要解释）

(一般大写都是非终结符，小写都是终结符)

eg：定义只含+，*的算术表达式的文法

G=< {i，+，*，(，)}，{E}，E， P >，其中，P由下列产生式组成：

E $\rightarrow$ i

E $\rightarrow$ E+E

E $\rightarrow$ E*E

E $\rightarrow$ (E)

{i，+，*，(，)}代表终结符，{E}代表非终结符，E代表开始符号， P代表产生式

约定

P $\rightarrow$ $a_{1}$

P $\rightarrow$ $a_{2}$ →→→→→ 可缩写为 P $\rightarrow$ $a_{1}$ | $a_{2}$ | ...| $a_{n}$

...

P $\rightarrow$ $a_{n}$

其中，“|”读成“或”，称 $a_{i}$ 为P的一个候选式
表示一个文法时，通常只给出开始符号和产生式

推导

定义：称aAb直接推出agb，即

aAb $\Rightarrow$ agb

仅当A $\rightarrow$ g是一个产生式，且 $a,b \in (V_{T}\bigcup V_{N})^{*}$

如果 $a_{1}$ $\Rightarrow$ $a_{2}$ $\Rightarrow$ ... $\Rightarrow$ $a_{n}$ ，则我们称这个序列是从 $a_{1}$ 到 $a_{n}$ 的一个推导。若存在一个从 $a_{1}$ 到 $a_{n}$ 的推导，则称 $a_{1}$ 可以推导出 $a_{n}$

Ps：“ $\Rightarrow$ ”仅指一步推导

eg: 对文法G(E)： E   $\Rightarrow$ i | E+E | E*E | (E)

有 E $\Rightarrow$ (E)   $\Rightarrow$ (E+E) $\Rightarrow$ (i+E) $\Rightarrow$   (i+i) 等若干步推导可缩写为E $\overset{*}{\Rightarrow}$ (i+i)或 E $\overset{+}{\Rightarrow}$ (i+i)

此处应该注意 $\overset{*}{\Rightarrow}$ 和 $\overset{+}{\Rightarrow}$ 的不同 a $\overset{*}{\Rightarrow}$ b   表示a $\Rightarrow$ b或者a $\overset{+}{\Rightarrow}$ b 即 $\overset{*}{\Rightarrow}$ 大于或等于零步， $\overset{+}{\Rightarrow}$ 大于等于一步

句型、句子和语言

句型、句子

假定G是一个文法，S 是它的开始符号。
如果S $\overset{*}{\Rightarrow}$ a，则称a是一个句型。
仅含终结符号的句型是一个句子。
文法G所产生的句子的全体是一个语言，记为 L(G):

$L(G)=\left \{ a|S\overset{+}{\Rightarrow}a,a\in{V_{T}}^{*}\right \}$

eg：请证明 (i*i+i)是文法

G(E)： E $\rightarrow$ i | E+E | E*E | (E) 的一个句子。

证明：

E $\Rightarrow$ (E)

   $\Rightarrow$ (E+E) PS:其中 (i*i+i) 是文法G的句子 ,

   $\Rightarrow$ (E*E+E) E，(E)，(E*E+E)，…，(i*i+i)都是句型。

   $\Rightarrow$ (i*E+E)

   $\Rightarrow$ (i*i+E)

   $\Rightarrow$ (i*i+i)

语言

设文法 $G_{1}$ (A)：

A $\rightarrow$ c | Ab

则 $G_{1}$ (A)产生的语言为

    ①当选择第一种候选式时 A $\Rightarrow$ c 此时产生式右侧不含有非终结符，产生语言结束

    ②当选择第二种候选式时 A $\Rightarrow$ Ab 此时右侧仍含有非终结符A，将表达式进行递归选择候选式

此时选择第一种候选式 A $\Rightarrow$ cb 此时产生式右侧不含有非终结符，产生语言结束

③同理可得    A $\Rightarrow$ Ab

   $\Rightarrow$ Abb

     $\Rightarrow$ Abbb

   $\Rightarrow$ ...

   $\Rightarrow$ Ab...b

   $\Rightarrow$ cb...b

即可得:

$L(G_{1})=\left \{ cb^{n},n\in N^{+} \right \}$

Ps : L(X)指X文法产生的语言,G(R)指以R为开始符号的文法

上下文无关文法示例

请给出产生语言为{ $a^{n}$ $b^{n}$ | $n\geq 1$ }的文法

解 $G_{3}$ (S)：

S $\rightarrow$ aSb

S $\rightarrow$ ab

Ps ：使用递归思维解决，找出最基本的核，即n=1时最简单的情况，再思考以何种方式递归可以得到标准的解

请给出产生语言为{ $a^{m}$ $b^{n}$ | $1\leq n\leq m \leq 2n$ }的文法

PS：同样的找出满足的两种最简单情况：分别为ab或aab

$G_{4}$ (S):

S $\rightarrow$ ab | aab

S $\rightarrow$ aSb | aaSb

最左推导和最右推导

从一个句型到另一个句型的推导往往不唯一

E+E $\Rightarrow$ i+E $\Rightarrow$ i+i

E+E $\Rightarrow$ E+i   $\Rightarrow$ i+i

最左推导：任何一步a Þ b都是对a中的最左非终结符进行替换
最右推导：任何一步a Þ b都是对a中的最右非终结符进行替换

语法树

用一张图表示一个句型的推导,称为语法树
一棵语法树是不同推导过程的共性抽象

eg: G(E)： E $\rightarrow$ i | E+E | E*E | (E)(i*i+i)

最左推导 最右推导

E $\Rightarrow$ (E) E   $\Rightarrow$ (E)

$\Rightarrow$ (E+E) $\Rightarrow$ (E+E)

$\Rightarrow$ (E*E+E) $\Rightarrow$ (E+i)

$\Rightarrow$ (i*E+E)    $\Rightarrow$ (E*E+i)

$\Rightarrow$ (i*i+E)     $\Rightarrow$ (E*i+i)

$\Rightarrow$ (i*i+i) $\Rightarrow$ (i*i+i)

最左推导

最右推导

语法树与二义性(ambiguity)

文法的二义性：如果一个文法存在某个句子对应两棵不同的语法树，则说这个文法是二义的

G(E)： E $\rightarrow$ i | E+E | E*E | (E) 是二义文法

语言的二义性：一个语言是二义的，如果对它不存在无二义的文法

Ps:即某语言只要有一个二义文法则该语言为二义性语言

对于语言L，可能存在G和G’，使得L(G)=L(G’)=L，有可能其中一个文法为二义的，另一个为无二义的
二义性问题是不可判定问题，即不存在一个算法，它能在有限步骤内，确切地判定一个文法是否是二义的，但可以找到一组无二义文法的充分条件

eg:

二义文法G(E)： E $\rightarrow$ i | E+E | E*E | (E)

无二义文法G’(E)：

E $\rightarrow$ T | E + T （表达式 $\rightarrow$ 项 | 表达式 + 项）

T $\rightarrow$ F | T * F （项 $\rightarrow$ 因子 | 项 * 因子）

F $\rightarrow$ (E) | i （因子 $\rightarrow$ ( 表达式 ) | i ）

对于句子i(*i+i)来说，它的推导为

E $\Rightarrow$ T $\Rightarrow$ F $\Rightarrow$ (E) $\Rightarrow$ (E+T) $\Rightarrow$ (T+T) $\Rightarrow$ (T*F+T) $\Rightarrow$ (F*F+T) $\Rightarrow$ (i*F+T) $\Rightarrow$ (i*i+T) $\Rightarrow$ (i*i+F) $\Rightarrow$ (i*i+i)

此时并不存在二义性，即G’(E)为无二义文法

形式语言鸟瞰

乔姆斯基于1956年建立形式语言体系，他把文法分成四种类型：0，1，2，3型，与上下文无关文法一样，它们都由四部分组成，但对产生式的限制有所不同

G=( $V_{T}$ ， $V_{N}$ ，S，P)

$V_{T}$ ：终结符(Terminal)集合(非空)
$V_{N}$ ：非终结符(Noterminal)集合(非空)，且 $V_{T}\bigcap V_{N}=\varnothing$
S：文法的开始符号， $S\epsilon V_{N}$
P：产生式集合(有限)

四类文法

0型(短语文法，图灵机)

产生式形如：   $a\rightarrow b$

其中： $a \in (V_{T}\bigcup V_{N})^{*}$ 且至少含有一个非终结符； $b \in (V_{T}\bigcup V_{N})^{*}$

Ps：左边至少含有一个需要解释的非终结符

eg: aA $\rightarrow$ a (√)   Aa $\rightarrow$ Aa (√) aa $\rightarrow$ Aa (X)

1型(上下文有关文法，线性界限自动机)

产生式形如：   $a\rightarrow b$

其中： $\left | a \right |\leq \left | b \right |$ ，仅 $S\rightarrow \varepsilon$ 例外

Ps： 在0型文法的基础上限制了 $\left | a \right |\leq \left | b \right |$ ，这里的|β|表示的是β的长度。即只能从产生式产生不小于本身的产生式，不能说越产生越少的情况 ,即非终极符不能没有意义被删除

eg： aA $\rightarrow$ a (X) Aa $\rightarrow$ Aa (√)    A $\rightarrow$ Aa (√)

2型(上下文无关文法，非确定下推自动机)

产生式形如：   $A\rightarrow b$

其中： $A \in V_{N}$ ； $b \in (V_{T}\bigcup V_{N})^{*}$

Ps：1.左边必须只有一个字符，且是非终结符

2.2型文法所有产生式的右边可以含有若干个终结符和非终结符（只要是有限的就行，没有个数限制）

eg： Aa $\rightarrow$ Aa (X) A $\rightarrow$ Aa (√)   A $\rightarrow$ Aaaaaa (√)

3型(正规文法，有限自动机)

产生式形如： $A\rightarrow aB$ 或 $A\rightarrow a$ 即右线性文法

其中： $a \in {V_{T}}^{*}$ ； $A,B \in {V_{N}}$

产生式形如： $A\rightarrow Ba$ 或 $A\rightarrow a$   即左线性文法

其中： $a \in {V_{T}}^{*}$ ； $A,B \in {V_{N}}$

Ps：1.左边必须只有一个字符，且是非终结符（同2型）

2.其右边最多只能有两个字符，要么是一个非终结符+终结符（终结符+非终结符），要么是一个终结符。

3.如果是右线性文法，则所有的产生式必须是 $A\rightarrow aB$ | $A\rightarrow a$ 的形式无论几次递归都必须满足此形式，左线性文法亦然

eg:    A $\rightarrow$ Aaaaaa (X) A $\rightarrow$ Aa (√) A $\rightarrow$ a(√)

四种文法总结：

0型：这种文法限制最少，范围最广，最为灵活。一般文法都是0型文法无需判断。

1型：在0型基础上限制 $\left | a \right |\leq \left | b \right |$

2型：在1型基础上限制左边必须是一个非终结符

3型： 在2型基础上限制右边只能是终结符+非终结符的组合

以图像表示则为：（都是真包含）

申明：码字不易，仅为对应学习笔记，侵删！！！

Zeroooooo

关注

2
点赞
踩
3

收藏

觉得还不错? 一键收藏
0
评论
编译原理 [0x01][0x00] ==(2.1) 高级语言及其语法描述

高级语言及其语法描述文法：描述语言的语法结构的形式规则语法描述的几个基本概念（1）字母表：一个有穷字符集，记为∑ 字母表中每个元素称为字符 ∑上的字(也叫字符串) 是指由∑中的字符所构成的一个有穷序列不包含任何字符的序列称为空字，记为ε 用∑*表示∑上的所有字的全体，包含空字ε Ps：即可能组合成的所有字的全体集合 ...
复制链接

扫一扫