编译原理-学习记录3

产生式

关于如何从集合中取出符号，构成程序

产生式规则是一个有序对（$\alpha$，$\beta$），通常写作$\alpha \to \beta$或$\alpha ::=\beta$
$\alpha$称为产生式的左部/头部，$\beta$称为产生式的右部/体
$\alpha \in (V_T\cup V_N{)}^{+}$，$\beta \in (V_T\cup V_N{)}^{\ast }$

产生式用于定义语法成分，描述了一个语法成分的形成规则
例如，标识符的构成规则：
<标识符>$\to$<字母>
<标识符>$\to$<标识符><字母>
<标识符>$\to$<标识符><数字>

竖线|用于简化有相同左部的若干条规则，例如上式可以写为：
<标识符>$\to$<字母>|<标识符><字母>|<标识符><数字>

文法

EBNF：元语言符号
在EBNF中，终结符号被引号包围

文法是产生式的有穷非空的集合
文法G是一个四元组，表示形式为：$G[S]=(V_N,V_T,P,S)$。其中，$V_N$为非终结符号集，$V_T$为终结符号集，$P$表示产生式的有穷非空的集合，$S$表示开始符号，其至少在一条产生式中作为左部

文法的分类

0型文法：短语结构文法。$\alpha \to \beta ,\alpha \in (V_N\cup V_T{)}^{+},\beta \in (V_N\cup V_T{)}^{\ast }$
1型文法：上下文有关文法。$\alpha \to \beta ,1\le |\alpha |\le |\beta |,\alpha \in (V_N\cup V_T{)}^{+},\beta \in (V_N\cup V_T{)}^{\ast }$
2型文法：上下文无关文法。$A\to \beta ,A\in V_N,\beta \in (V_N\cup V_T{)}^{\ast }$
3型文法：正规（正则）文法。右线性：$A\to a$或$A\to aB$，$A,B\in V_N,a\in V_T$；左线性：$A\to a$或$A\to Ba$，$A,B\in V_N,a\in V_T$

3型文法需要全都是左线性或右线性，不能同时出现左右两种线性，否则不是3型文法。例如：
$$S\to aA,A\to Ab|ϵ$$
不是3型文法，因为同时出现了右线性和左线性

在编译中涉及2型和3型文法

语言的形式定义

得到文法后，需要得到符合文法的语言

推导

符号是双向箭头，需要严格遵从定义

直接推导：如果$\alpha \to \beta$是文法G的一条产生式，而$\gamma ,\delta$是$(V_T\cup V_N{)}^{\ast }$中任意一个符号串，则将$\alpha \to \beta$作用于符号串$\gamma \alpha \delta$上得到符号串$\gamma \beta \delta$，称符号串$\gamma \beta \delta$是符号串$\gamma \alpha \delta$的直接推导，记为：$$\gamma \alpha \delta \Rightarrow \gamma \beta \delta$$
直接推导逆过程称作直接规约

推导：设${\alpha }_0,{\alpha }_1,\dots ,a_n(n>0)$均为$(V_T\cup V_N{)}^{\ast }$中的符号串，且有
$${\alpha }_0\Rightarrow {\alpha }_1\Rightarrow \cdots \Rightarrow {\alpha }_n$$
此为长度为n的推导，记为${\alpha }_0\stackrel{+}{\Rightarrow }{\alpha }_n$

关于箭头上的符号：
*：可以是0步推导（${\alpha }_0$到${\alpha }_n$）
+：多步推导

推导过程中没有算术运算，不涉及符号串的含义

语言

句型：S是起始符，如果$S\stackrel{\ast }{\Rightarrow }u$，则称符号串u为文法G[S]的句型

句子：S是起始符，如果$S\stackrel{\ast }{\Rightarrow }u$，且$u\in V_T^{\ast }$，则称符号串u为文法G[S]的句子

句子进行到了终结符阶段

推导与语法树

语言：由某棵语法分析树生成的终结符号串的集合，记做：
L ( G [ S ] ) = { u ∣ S ⇒ ∗ u ,   u ∈ V T ∗ } L(G[S])=\{u|S\mathop\Rightarrow\limits^* u,\ u\in V_T^*\} L(G[S])={u∣S⇒∗u, u∈VT∗​}

从推导到语法树

过程：
1、将开始符号作为根结点
2、对每一个直接推导，画一个分枝
3、重复第二步，直到画不出分枝时结束

一个句子的语法树可能有多个

从语法树到推导

过程：
1、依据分支建立直接推导，然后从语法树中剪去这个分枝
2、重复第一步，直到无分枝可剪

最左推导与最右推导

如果在某个推导过程中的任何一步直接推导$\alpha \Rightarrow \beta$中，都是对符号串$\alpha$的最左(右)非终结符号进行替换，则称其为最左(右)推导。
最右推导又叫做规范推导。由规范推导得到的句型称为规范句型。

为语言构造文法

“凑规则”方法