算符优先文法

概述

自底向上分析

在自底向上分析中，分析过程的每一步都是从当前句型中选择一个可规约的子串，将它规约到某个非终结符。
自底向上分析的关键问题是在分析过程中如何确定句柄或其他可规约串，也就是说如何知道何时在栈符号串中已形成某句型的句柄或其他可规约串。

优先关系

任何两个可能相继出现的终结符$a$和$b$可能有三种优先关系：

• $a<b$：$a$的优先级低于$b$
• $a=b$：$a$的优先级等于$b$
• $a>b$：$a$的优先级大于$b$

算符文法

一个文法，如果它的任一产生式的右部都不含两个相继（并列）的非终结符，即不含$\dots QR\dots$形式的产生式右部，则我们称该文法为算符文法。
约定：

• $a,b$代表任意终结符
• $P,Q,R$代表任意非终结符
• '$\dots$'代表由终结符和非终结符组成的任意序列，包括空字

算符优先文法

假定$G$是一个不含$ϵ$-产生式的算符文法，对于任何一对终结符$a,b$，我们说：

• $a=b$，当且仅当文法$G$中含有形如$P\to \dots ab\dots$或$P\to \dots aQb\dots$的产生式；
• $a<b$，当且仅当$G$中含有形如$P\to \dots aR\dots$的产生式，而$R\Rightarrow b\dots$或$R\Rightarrow Qb\dots$；
• $a>b$，当且仅当$G$中含有形如$P\to \dots Rb\dots$的产生式，而$R\Rightarrow \dots a$或$R\Rightarrow \dots aQ$；
  如果一个算符文法$G$中的任何终结符对$(a,b)$至多只满足$a=b、a<b、a>b$这三个关系之一，则称$G$是一个算符优先文法。

构造算符优先表的算法

确定算符优先关系

• 确定满足关系$=$的所有终结符对
  • $a=b$，当且仅当文法$G$中含有形如$P\to \dots ab\dots$或$P\to \dots aQb\dots$的产生式
  • 通过检查$G$的每个产生式的每个候选式，可找出所有满足$a=b$的终结符对
• 确定满足关系$ < $的所有终结符对
  • $a<b$，当且仅当$G$中含有形如$P\to \dots aR\dots$的产生式，而$R\Rightarrow b\dots$或$R\Rightarrow Qb\dots$
  • 构造 F I R S T V T ( P ) = { a ∣ P ⇒ a … FIRSTVT(P) = \{a|P \Rightarrow a\dots FIRSTVT(P)={a∣P⇒a…或$R\Rightarrow Qa\dots ,a\in V_T且Q\in V_N\}$。
• 确定满足关系$ > $的所有终结符对
  • $a>b$，当且仅当$G$中含有形如$P\to \dots Rb\dots$的产生式，而$R\Rightarrow \dots a$或$R\Rightarrow \dots aQ$
  • 构造 L A S T V T ( P ) = { a ∣ P ⇒ … a LASTVT(P) = \{a|P \Rightarrow \dots a LASTVT(P)={a∣P⇒…a或$R\Rightarrow \dots aQ,a\in V_T且Q\in V_N\}$。
• 根据$FIRSTVT$和$LASTVT$集合，检查每个产生式的候选式，确定满足关系$<$和$>$的所有终结符对
  • 假定有个产生式的一个候选形为$\dots aP\dots$，那么，对任何$b\in FIRSTVT(P)$，有$a<b$
  • 假定有个产生式的一个候选形为$\dots Pb\dots$，那么，对任何$a\in LASTVT(P)$，有$a>b$

构造集合$FIRSTVT(P)$的算法

反复使用下面两条规则构造集合FIRSTVT§

• 若有产生式$P\to a\dots$或$P\to Qa\dots$，则$a\in FIRSTVT(P)$
• 若$a\in FIRSTVT(Q)$，且有产生式$P\to Q\dots$，则$a\in FIRSTVT(P)$

构造集合$LASTVT(P)$的算法

反复使用下面两条规则构造集合LASTVT§

• 若有产生式$P\to \dots a$或$P\to \dots aQ$，则$a\in LASTVT(P)$
• 若$a\in LASTVT(Q)$，且有产生式$P\to \dots Q$，则$a\in LASTVT(P)$

构造算符优先表实例

考虑下面的文法$G(E)$:
（1）$E\to E+T|T$
（2）$T\to T\ast F|F$
（3）$F\to P\uparrow F|P$
（4）$P\to (E)|i$
先计算$FIRSTVT$和$LASTVT$：

• $FIRSTVT$集：
  F I R S T V T ( E ) = { + , ∗ , ↑ , ( , i } FIRSTVT(E) = \{+,*,\uparrow,(,i\} FIRSTVT(E)={+,∗,↑,(,i}
  F I R S T V T ( T ) = { ∗ , ↑ , ( , i } FIRSTVT(T) = \{*,\uparrow,(,i\} FIRSTVT(T)={∗,↑,(,i}
  F I R S T V T ( F ) = { ↑ , ( , i } FIRSTVT(F) = \{\uparrow,(,i\} FIRSTVT(F)={↑,(,i}
  F I R S T V T ( P ) = { ( , i } FIRSTVT(P) = \{(,i\} FIRSTVT(P)={(,i}
• $LASTVT$集：
  L A S T V T ( E ) = { + , ∗ , ↑ , ) , i } LASTVT(E) = \{+,*,\uparrow,),i\} LASTVT(E)={+,∗,↑,),i}
  L A S T V T ( T ) = { ∗ , ↑ , ) , i } LASTVT(T) = \{*,\uparrow,),i\} LASTVT(T)={∗,↑,),i}
  L A S T V T ( F ) = { ↑ , ) , i } LASTVT(F) = \{\uparrow,),i\} LASTVT(F)={↑,),i}
  L A S T V T ( P ) = { ) , i } LASTVT(P) = \{),i\} LASTVT(P)={),i}
  然后构造算符优先表：

	$+$	$\ast$	$\uparrow$	$i$	$($	$)$
$+$	>	<	<	<	<	>
$\ast$	>	>	<	<	<	>
$\uparrow$	>	>	<	<	<	>
$i$	>	>	>			>
$($	<	<	<	<	<	=
$)$	>	>	>			>

算符优先分析算法

最左素短语

• 一个文法$G$的句型的素短语是指这样一个短语，它至少含有一个终结符，并且，除它自身之外不再含任何更小的素短语
• 最左素短语是指处于句型最左边的那个素短语

最左素短语定理

• 算符优先文法句型（括在两个#之间）的一般形式：
  $\#N_1{a}_1{N}_2{a}_2\dots N_n{a}_n{N}_{n+1}$
  其中，$a_i$都是终结符，$N_i$是可有可无的非终结符
• 定理：一个算符优先文法$G$的任何举行的最左素短语是满足如下条件的最左子串$N_j{a}_j\dots N_i{a}_i{N}_{i+1}$
  • $a_{j-1}<a_j$
  • $a_j=a_{j+1},\dots ,a_{i+1}=a_i$
  • $a>a_{i+1}$

流程

• 使用一个符号栈$S$，用它寄存终结符和非终结符，$k$代表符号栈$S$的使用深度
• 在正确的情况下，算法工作完毕时，符号栈$S$应呈现：$\#N\#$

评价

• 算符优先分析结果产生的分析树，不一定是语法树
• 优点：简单、快速
• 缺点：可能错误接受非法句子