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

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

三、文法和语言的分类

1、Chomsky语言分类法

(1).0型文法

对文法$\text{G}$，若 $\text{P}$ 中规则都具有下列形式： $$\alpha \to \beta$$
$$其中，\{\begin{array}{l}\alpha \in {\text{V}}^{\ast }，且至少含有一个非终结符（强调\alpha 不能为空串）\text{（强调α不能为空串）}（强调\alpha 不能为空串）\\ \beta \in {\text{V}}^{\ast }\end{array}$$
则称该文法$\text{G}$ 为 $(Chomsky)0\text{(Chomsky)0}(Chomsky)0$型文法 或 短语结构文法，缩写为$\text{PSG}\text{PSG}\text{PSG}$

$0\text{0}0$型文法相应的语言称为$0\text{0}0$型语言 或 短语结构语言，又称 递归可枚举集

(2).1型文法

对文法$\text{G}$，若 $\text{P}$ 中规则都具有下列形式： $$x\text{U}y\to xuy$$
$$其中，\{\begin{array}{l}\text{U}\in {\text{V}}_{\text{N}}\\ x,y\in {\text{V}}^{\ast }\\ u\in {\text{V}}^{+}\end{array}$$
则称该文法$\text{G}$ 为 $(Chomsky)1\text{(Chomsky)1}(Chomsky)1$型文法 或 上下文有关文法（上下文敏感文法），缩写为$\text{CSG}\text{CSG}\text{CSG}$
其中的 $x\text{x}x$ 即为上文， $y\text{y}y$ 即为下文

$1\text{1}1$型文法相应的语言称为$1\text{1}1$型语言 或 上下文有关语言

(3).2型文法

对文法$\text{G}$，若 $\text{P}$ 中规则都具有下列形式： $$\alpha \to \beta$$
$$其中，\{\begin{array}{l}\alpha \in {\text{V}}_{\text{N}}\\ \beta \in {\text{V}}^{\ast }\end{array}$$
则称该文法$\text{G}$ 为 $(Chomsky)2\text{(Chomsky)2}(Chomsky)2$型文法 或 上下文无关文法，缩写为$\text{CFG}\text{CFG}\text{CFG}$

$2\text{2}2$型文法相应的语言称为$2\text{2}2$型语言 或 上下文无关语言

大多数程序设计语言的文法是上下文无关的

(4).3型文法

对文法$\text{G}$，若 $\text{P}$ 中规则都具有下列形式： $$\begin{array}{rl}\text{A}\to a或& \underline{\text{A}\to \text{B}a}\\ & (左线性\text{左线性}左线性)\end{array}或\text{或}或\begin{array}{rl}\text{A}\to a或& \underline{\text{A}\to a\text{B}}\\ & (右线性\text{右线性}右线性)\end{array}$$
$$其中，\{\begin{array}{l}a\in {\text{V}}_{\text{T}}\\ \text{A},\text{B}\in {\text{V}}_{\text{N}}\end{array}$$
则称该文法$\text{G}$ 为 $(Chomsky)3\text{(Chomsky)3}(Chomsky)3$型文法 或 正则文法（正规文法），又称有穷状态文法，缩写为$\text{RG}\text{RG}\text{RG}$
正则文法按其定义的两种情况可分为左线性文法、右线性文法

$3\text{3}3$型文法相应的语言称为$3\text{3}3$型语言 或 正则语言（正规语言）

Tips：正则文法是我们此后要学习的【词法分析】的基础，本笔记在以后的题目中将统一使用左线性文法（左线性与右线性的形状不一样，有些算法也完全不一样）

(5).举例

$示例1\text{示例1}示例1$
文 法 G 1    :    = ( { S , A , B } , { a , b , c } , P 1 , S ) \quad \quad 文法\text{G}_1 \; : \; = ( \{ \text{S}, \text{A}, \text{B} \}, \{ a, b, c \}, \text{P}_1, \text{S}) 文法G1​:=({S,A,B},{a,b,c},P1​,S)
$其中{\text{P}}_1:\{\begin{array}{l}\text{S}\to \text{B}c|\text{S}c\\ \text{B}\to \text{A}b|\text{B}b\\ \text{A}\to \text{A}a|a\end{array}$

$显然，可以看出所有的规则都满足3型文法\text{3型文法}3型文法中左线性文法\text{左线性文法}左线性文法的定义“\text{A}\to a或\text{A}\to \text{B}a”$
$所以文法{\text{G}}_1是一个3型文法\text{3型文法}3型文法$

另 外 ， 我 们 还 可 以 推 导 、 归 纳 出 文 法 G 1 对 应 的 语 言 为 L 1 = { a i b j c k    ∣    i , j , k ≥ 1 } \quad \quad 另外，我们还可以推导、归纳出文法\text{G}_1对应的语言为\text{L}_1 = \{ a^i b^j c^k \; | \; i, j, k \ge 1 \} 另外，我们还可以推导、归纳出文法G1​对应的语言为L1​={aibjck∣i,j,k≥1}

---

$示例2\text{示例2}示例2$
文 法 G 2    :    = ( { S , A } , { a , b , c } , P 2 , S ) \quad \quad 文法\text{G}_2 \; : \; = ( \{ \text{S}, \text{A} \}, \{ a, b, c \}, \text{P}_2, \text{S}) 文法G2​:=({S,A},{a,b,c},P2​,S)
$其中{\text{P}}_2:\{\begin{array}{l}\text{S}\to \text{A}c|\text{S}c\\ \text{A}\to ab|a\text{A}b\end{array}$

${\text{P}}_2中规则“\text{A}\to a\text{A}b”不满足3型文法\text{3型文法}3型文法的定义“\text{A}\to a或\text{A}\to \text{B}a”或“\text{A}\to a或\text{A}\to a\text{B}”$
( 右 部 a A b 不 符 合 定 义 中 的 三 种 格 式 之 一 ： { a , B a , a B } ) \quad \quad (右部a\text{A}b不符合定义中的三种格式之一：\{ a, \text{B}a, a\text{B} \}) (右部aAb不符合定义中的三种格式之一：{a,Ba,aB})
$所以文法{\text{G}}_2不是一个3型文法\text{3型文法}3型文法$

$可以看出所有的规则都满足2型文法\text{2型文法}2型文法的定义“\alpha \to \beta \left(\{\begin{array}{l}\alpha \in {\text{V}}_{\text{N}}\\ \beta \in {\text{V}}^{\ast }\end{array}\right)”$
$所以文法{\text{G}}_2是一个2型文法\text{2型文法}2型文法$

另 外 ， 我 们 还 可 以 推 导 、 归 纳 出 文 法 G 2 对 应 的 语 言 为 L 2 = { a i b i c k    ∣    i , k ≥ 1 } \quad \quad 另外，我们还可以推导、归纳出文法\text{G}_2对应的语言为\text{L}_2 = \{ a^i b^i c^k \; | \; i, k \ge 1 \} 另外，我们还可以推导、归纳出文法G2​对应的语言为L2​={aibick∣i,k≥1}

---

$示例3\text{示例3}示例3$
文 法 G 3    :    = ( { S , B , C , D } , { a , b , c } , P 3 , S ) \quad \quad 文法\text{G}_3 \; : \; = ( \{ \text{S}, \text{B}, \text{C}, \text{D} \}, \{ \text{a}, \text{b}, \text{c} \}, \text{P}_3, \text{S}) 文法G3​:=({S,B,C,D},{a,b,c},P3​,S)
$其中{\text{P}}_3:\{\begin{array}{l}\text{S}\to \text{aSBC}|\text{abc}\\ \text{CB}\to \text{CD}\\ \text{CD}\to \text{BD}\\ \text{BD}\to \text{BC}\\ \text{bB}\to \text{bb}\\ \text{bC}\to \text{bc}\\ \text{cC}\to \text{cc}\end{array}$

${\text{P}}_3中规则“\text{CB}\to \text{CD}”不满足3型文法\text{3型文法}3型文法的定义“\text{A}\to a或\text{A}\to \text{B}a”或“\text{A}\to a或\text{A}\to a\text{B}”$
$(3型文法\text{3型文法}3型文法的定义要求规则的右部必须包含终结符)$
$所以文法{\text{G}}_3不是一个3型文法\text{3型文法}3型文法$

${\text{P}}_3中规则“\text{CB}\to \text{CD}”不满足2型文法\text{2型文法}2型文法的定义“\alpha \to \beta \left(\{\begin{array}{l}\alpha \in {\text{V}}_{\text{N}}\\ \beta \in {\text{V}}^{\ast }\end{array}\right)”$

$(2型文法\text{2型文法}2型文法的定义只允许规则的左部为单个非终结符)$
$所以文法{\text{G}}_3不是一个2型文法\text{2型文法}2型文法$

$可以看出所有的规则都满足1型文法\text{1型文法}1型文法的定义“x\text{U}y\to xuy\left(\{\begin{array}{l}\text{U}\in {\text{V}}_{\text{N}}\\ x,y\in {\text{V}}^{\ast }\\ u\in {\text{V}}^{+}\end{array}\right)”$
$(规则{\text{P}}_3:\{\begin{array}{ll}\text{S}\to \text{aSBC}& x=\text{ε},y=\text{ε},\text{U}=\text{S},u=\text{aSBC}\\ \text{S}\to \text{abc}& x=\text{ε},y=\text{ε},\text{U}=\text{S},u=\text{abc}\\ \text{CB}\to \text{CD}& x=\text{C},y=\text{ε},\text{U}=\text{B},u=\text{D}\\ \text{CD}\to \text{BD}& x=\text{ε},y=\text{D},\text{U}=\text{C},u=\text{B}\\ \text{BD}\to \text{BC}& x=\text{ε},y=\text{ε},\text{U}=\text{D},u=\text{C}\\ \text{bB}\to \text{bb}& x=\text{b},y=\text{ε},\text{U}=\text{B},u=\text{b}\\ \text{bC}\to \text{bc}& x=\text{b},y=\text{ε},\text{U}=\text{C},u=\text{c}\\ \text{cC}\to \text{cc}& x=\text{c},y=\text{ε},\text{U}=\text{C},u=\text{c}\end{array})$
$所以文法{\text{G}}_3是一个1型文法\text{1型文法}1型文法$

另 外 ， 我 们 还 可 以 推 导 、 归 纳 出 文 法 G 3 对 应 的 语 言 为 L 3 = { a i b i c i    ∣    i ≥ 1 } \quad \quad 另外，我们还可以推导、归纳出文法\text{G}_3对应的语言为\text{L}_3 = \{ a^i b^i c^i \; | \; i \ge 1 \} 另外，我们还可以推导、归纳出文法G3​对应的语言为L3​={aibici∣i≥1}

---

$示例4\text{示例4}示例4$
文 法 G 4    :    = ( { S , A , B , C , D , E } , { a } , P 4 , S ) \quad \quad 文法\text{G}_4 \; : \; = ( \{ \text{S}, \text{A}, \text{B}, \text{C}, \text{D}, \text{E} \}, \{ \text{a} \}, \text{P}_4, \text{S}) 文法G4​:=({S,A,B,C,D,E},{a},P4​,S)
$其中{\text{P}}_4:\{\begin{array}{l}\text{S}\to \text{AcaB}\\ \text{Ca}\to \text{aaC}\\ \text{CB}\to \text{DB}|\text{E}\\ \text{aD}\to \text{Da}\\ \text{AD}\to \text{AC}\\ \text{aE}\to \text{Ea}\\ \text{AE}\to \text{ε}\end{array}$

${\text{P}}_4中规则“\text{AE}\to \text{ε}”不满足3型文法\text{3型文法}3型文法和1型文法\text{1型文法}1型文法的定义$
$(3型文法\text{3型文法}3型文法和1型文法\text{1型文法}1型文法的定义不允许规则的右部为\text{ε})$
$所以文法{\text{G}}_4不是一个3型文法\text{3型文法}3型文法和1型文法\text{1型文法}1型文法$

${\text{P}}_4中规则“\text{Ca}\to \text{aaC}”不满足2型文法\text{2型文法}2型文法的定义“\alpha \to \beta \left(\{\begin{array}{l}\alpha \in {\text{V}}_{\text{N}}\\ \beta \in {\text{V}}^{\ast }\end{array}\right)”$

$(2型文法\text{2型文法}2型文法的定义只允许规则的左部为单个非终结符)$
$所以文法{\text{G}}_4不是一个2型文法\text{2型文法}2型文法$

$可以看出所有的规则都满足0型文法\text{0型文法}0型文法的定义“\alpha \to \beta \left(\{\begin{array}{l}\alpha \in {\text{V}}^{\ast }且至少包含一个非终结符\\ \beta \in {\text{V}}^{\ast }\end{array}\right)”$
$所以文法{\text{G}}_4是一个0型文法\text{0型文法}0型文法$

另 外 ， 我 们 还 可 以 推 导 、 归 纳 出 文 法 G 4 对 应 的 语 言 为 L 4 = { a 2 i    ∣    i ≥ 1 } \quad \quad 另外，我们还可以推导、归纳出文法\text{G}_4对应的语言为\text{L}_4 = \{ a^{2^i} \; | \; i \ge 1 \} 另外，我们还可以推导、归纳出文法G4​对应的语言为L4​={a2i∣i≥1}

四、语法树与句型分析

1、语法树（语法分析树）

(1).语法树

语法树

语法树就是按照某一规则进行推导时所形成的树

其具有如下性质：

• 根结点是文法的开始符
• 每个结点都是文法$\text{G}$的某一终结符或非终结符
• 若某一结点有至少一个子结点，则该结点一定是非终结符
• 若某一结点$\text{A}$有$n$个子结点${\text{B}}_1,{\text{B}}_2,\dots ,{\text{B}}_n$，则必有规则$\text{A}\to {\text{B}}_1{\text{B}}_2\cdots {\text{B}}_n$

子树

子树就是某个结点连同它向下射出的部分

简单子树

简单子树就是只含有单层分支的子树

$eg:\text{eg:}eg:$

$设有文法\text{G}[\text{S}]:\{\begin{array}{l}\text{S}\to a\text{AB}\\ \text{A}\to \text{B}a|a\\ \text{B}\to bd\end{array}$

$根据推导序列\text{S}\Rightarrow a\text{AB}\Rightarrow a\text{B}a\text{B}\Rightarrow abda\text{B}$，可作出语法树如下：

$该语法树有如下左图的子树，有如下右图的简单子树$

(2).推导⟷语法树

语法树并非与语法相对应，而是与推导相对应

更为准确地说，一个推导序列 确定 一个语法树，一个语法树 确定 一个广义推导

推导⟶语法树

$eg:\text{eg:}eg:$

$设有文法\text{G}[\text{N}]:\{\begin{array}{l}\text{N}\to \text{ND}|\text{D}\\ \text{D}\to 0|1|2|\cdots |9\end{array}$

$对于推导序列\text{N}\Rightarrow \text{ND}\Rightarrow \text{DD}\Rightarrow \text{2D}\Rightarrow \text{28}，可构造以下推导树：$

语法树⟶推导

$eg:\text{eg:}eg:$

$设有文法\text{G}[\text{N}]:\{\begin{array}{l}\text{N}\to \text{ND}|\text{D}\\ \text{D}\to 0|1|2|\cdots |9\end{array}$

$有以下推导树：$

$则可得到以下归约序列（不一定唯一）：$ $$28\underset{△}{\Rightarrow }\text{D8}\underset{△}{\Rightarrow }\text{DD}\underset{△}{\Rightarrow }\text{ND}\underset{△}{\Rightarrow }\text{N}$$

$对应以下推导序列：$ $$\text{N}⟹\text{ND}⟹\text{DD}⟹\text{D8}⟹28$$

(3).最左推导/最右推导

最左推导

在一个推导中，如果每步直接推导所被替换的总是最左的非终结符号，则称这种推导为最左推导

最右推导（规范推导）

在一个推导中，如果每步直接推导所被替换的总是最右的非终结符号，则称这种推导为最右推导，又称规范推导

由规范推导所得的句型称为右句型或规范句型

$eg:$

$设有文法\text{G}[\text{N}]:\{\begin{array}{l}\text{N}\to \text{ND}|\text{D}\\ \text{D}\to 0|1|2|\cdots |9\end{array}$

$有推导\text{N}\stackrel{\ast }{\Rightarrow }28$

 

$对于最左推导\text{N}\Rightarrow \text{ND}\Rightarrow \text{DD}\Rightarrow \text{2D}\Rightarrow 28$

$其语法树如下：$

$对于最右推导\text{N}\Rightarrow \text{ND}\Rightarrow \text{N8}\Rightarrow \text{D8}\Rightarrow 28$

$其语法树如下：$

$可以看到，该文法的最左推导和最右推导所对应的语法树是相同的$

$但事实上同一推导的不同推导序列的语法树未必相同$

(4).二义性

若对某文法的同一句子存在两个不同的语法树，则称该句子是二义性的

包含有二义性句子的文法称为二义性文法，否则称为无二义性文法

若关于某语言不存在无二义性文法，则称该语言先天二义性

$示例5\text{示例5}示例5$
$对同一语言\text{L}，有以下两种不同的文法：$ $$\begin{array}{rl}& \text{G}[\text{E}]:\text{E}\to \text{E}+\text{E}|\text{E}\ast \text{E}|i|(\text{E})\\ & \\ & {\text{G}}^{{}^{\prime }}[\text{E}]:\{\begin{array}{l}\text{E}\to \text{E}+\text{T}|\text{T}\\ \text{T}\to \text{T}\ast \text{F}|\text{F}\\ \text{F}\to i|(\text{E})\end{array}\end{array}$$
$下面我们探讨一下，这两种文法在推导“\text{E}\stackrel{\ast }{\Rightarrow }i+i\ast i”时，不同推导序列下的语法树：$

$文法\text{G}[\text{E}]\text{文法G[E]}文法\text{G}[\text{E}]$
$\text{其最右推导：}$
$\text{E}\Rightarrow \text{E}+\text{E}\Rightarrow \text{E}+\text{E}\ast \text{E}\Rightarrow \text{E}+\text{E}\ast i\Rightarrow \text{E}+i\ast i\Rightarrow i+i\ast i$
$其语法树如下：$

$\text{其最左推导：}$
$\text{E}\Rightarrow \text{E}+\text{E}\Rightarrow i+\text{E}\Rightarrow i+\text{E}\ast \text{E}\Rightarrow i+i\ast \text{E}\Rightarrow i+i\ast i$
$其语法树如下：$

$\text{其实还有另一种最左推导：}$
$\text{E}\Rightarrow \text{E}\ast \text{E}\Rightarrow \text{E}+\text{E}\ast \text{E}\Rightarrow i+\text{E}\ast \text{E}\Rightarrow i+i\ast \text{E}\Rightarrow i+i\ast i$
$其语法树如下：$

$显然，文法\text{G}[\text{E}]的句子“i+i\ast i”有两种不同的语法树。$
$所以，文法\text{G}[\text{E}]是一种二义性文法。$


$文法{\text{G}}^{{}^{\prime }}[\text{E}]\text{文法G′[E]}文法{\text{G}}^{{}^{\prime }}[\text{E}]$
$\text{其最右推导：}$
$\text{E}\Rightarrow \text{E}+\text{T}\Rightarrow \text{E}+\text{T}\ast \text{F}\Rightarrow \text{E}+\text{T}\ast i\Rightarrow \text{E}+\text{F}\ast i\Rightarrow \text{E}+i\ast i\Rightarrow \text{T}+i\ast i\Rightarrow \text{F}+i\ast i\Rightarrow i+i\ast i$
$其语法树如下：$

$\text{其最左推导：}$
$\text{E}\Rightarrow \text{E}+\text{T}\Rightarrow \text{T}+\text{T}\Rightarrow \text{F}+\text{T}\Rightarrow i+\text{T}\Rightarrow i+\text{T}\ast \text{F}\Rightarrow i+\text{F}\ast \text{F}\Rightarrow i+i\ast \text{F}\Rightarrow i+i\ast i$
$其语法树如下：$

$我们还可以举出很多文法{\text{G}}^{{}^{\prime }}[\text{E}]的句子“i+i\ast i”的很多种语法树，并发现它们都相同。$
$所以，文法{\text{G}}^{{}^{\prime }}[\text{E}]是无二义性的。$

2、句型分析

(1).句型分析

识别一个符号串是否为某文法的句型，即句型分析

当给定某个符号串时，试图按照某文法的规则为该符号串构造推导/归约或语法树，从而识别出它是该文法的一个句型

目的：用某种分析技术，为程序设计语言构造一个识别程序

(2).分析技术

自顶向下分析技术

$识别符号⟹\cdots ⟹输入字符串$

[ 从识别符号出发，由它推导出与输入符号串相同的终结符号串 ]

自底向上分析技术

$输入字符串\underset{△}{\Rightarrow }\cdots \underset{△}{\Rightarrow }识别符号$

[ 从输入符号触发，将其归约为识别符号 ]

Tips：现在主流的编译程序用的都是自底向上的分析

$eg:\text{eg:}eg:$

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

   \;

$分析句子i+i:$

$自顶向下：\text{E}⟹\text{E}+\text{T}⟹\text{T}+\text{T}⟹\text{F}+\text{T}⟹i+\text{T}⟹i+\text{F}⟹i+i$

$自底向上：i+i\underset{△}{\Rightarrow }\text{F}+i\underset{△}{\Rightarrow }\text{T}+i\underset{△}{\Rightarrow }\text{E}+i\underset{△}{\Rightarrow }\text{E}+\text{F}\underset{△}{\Rightarrow }\text{E}+\text{T}\underset{△}{\Rightarrow }\text{E}$

3、句型分析的基本问题

(1).基本问题

句型分析面临以下两个基本问题
\qquad ① 在自顶向下的分析过程中，有规则$\text{U}\to u_1|u_2|\cdots |u_n$，如何确定用哪个$u_i$替代$\text{U}?$
\qquad ② 在自底向上的分析过程中，有规则$\{\begin{array}{l}\text{A}\to x\\ \text{B}\to x\end{array}$，应该把 $x$ 归约到 $\text{A}$ 还是 $\text{B}?$

(2).句柄

$设有文法\text{G}[\text{Z}]，w=xuy是其一个句型，\text{Z}\stackrel{\ast }{\Rightarrow }x\text{U}y且\text{U}\stackrel{+}{\Rightarrow }u\left(\{\begin{array}{l}\text{U}\in {\text{V}}_{\text{N}}\\ u\in {\text{V}}^{+}\\ x,y\in {\text{V}}^{\ast }\end{array}\right)，则称u是句型w相对于\text{U}的短语\text{u是句型w相对于U的短语}u是句型w相对于\text{U}的短语$

$当\text{U}⟹u时，称u是句型w相对于\text{U}的直接(简单)短语\text{u是句型w相对于U的直接(简单)短语}u是句型w相对于\text{U}的直接(简单)短语$

$句型的最左简单短语\text{最左简单短语}最左简单短语称为该句型的句柄\text{句柄}句柄$

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

$对句型\text{T}+i:$
$\text{E}\stackrel{\ast }{\Rightarrow }\text{E}\stackrel{+}{\Rightarrow }\text{T}+i$
$所以\text{T}+i是句型\text{T}+i相对于\text{E}的短语$

$\text{E}\stackrel{\ast }{\Rightarrow }\text{T}+\text{T}\stackrel{+}{\Rightarrow }\text{T}+i$
$所以\text{T}是句型\text{T}+i相对于\text{T}的短语$

$\text{E}\stackrel{\ast }{\Rightarrow }\text{T}+\text{F}\Rightarrow \text{T}+i$
$所以i是句型\text{T}+i相对于\text{T}的短语、简单短语$

$\text{E}\stackrel{\ast }{\Rightarrow }\text{E}+i\Rightarrow \text{T}+i$
$所以\text{T}是句型\text{T}+i相对于\text{E}的短语、简单短语$
$因为\text{T}出现在句型\text{T}+i的最左边，是句型\text{T}+i的最左简单短语$
$所以\text{T}还是是句型\text{T}+i相对于\text{E}的句柄$

根据语法分析树，可以比较容易地找出某一句型的短语、简单短语、句柄
\qquad 子树的末端节点组成的符号串是原树对应句型相对于子树根的短语
\qquad 简单子树的末端节点组成的符号串是原树对应句型相对于子树根的简单短语
\qquad 最左简单子树的末端节点组成的符号串是原树对应句型相对于子树根的句柄

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

$对句型\text{T}+i，绘制出了如下图所示的语法树:$

$从图中【语法树】中，可以分析出，\text{T}+i是句型\text{T}+i相对于\text{E}的短语$
$从图中【最左简单子树】中，可以分析出，\text{T}是句型\text{T}+i相对于\text{E}的短语、简单短语、句柄$
$从图中【子树】中，可以分析出，i是句型\text{T}+i相对于\text{T}的短语$
$从图中【简单子树】中，可以分析出，i是句型\text{T}+i相对于\text{F}的短语、简单短语$

$其实，有了语法分析树以后，对句型分析来说，就不用去找句柄什么的了$

$第五章会有另外的、更巧妙、更实用的方法去找句柄$