3 语法分析方法及中间代码形式的描述
3.1 语法分析方法描述
N
First(α)={a|α=>aβ,a∈V ,α,β∈V }
T
若 a=>ε，则规定ε∈First(α)，称为 First(α)为α的开始符号集或首
N
FOLLOW(A)={a|S=>μAβ且 a∈V ,a∈First(β),μ∈V ,β∈V }
T
若 S=>μAβ,且β=>ε,则#∈FOLLOW(A)
给定上下文无关文法的产生式 A--> α A∈V ,α∈V ,若α≠ >ε,则
*
如果α=>ε,则 SELECT(A-->α)=(First(α)-{ε})U FOLLOW(A).
一个上下文无关文法是 LL(1)文法的充分必要条件是,对每个非终结符 A
的两个不同的产生式,A-->α A-->β,满足
SELECT(A-->α)∩SELECT(A-->β)= ф
其中，x y z 为名字、常数或临时变量；op 代表运算符号。每个语句中只能有一个运算符。
三地址码类似于汇编语言代码。语句可以带有符号标号，而且存在各种控制流语句，本程序
条件转移语句 if x relop y goto L //L 为带标号L 的三地址语句
无条件转移语句 goto L //转移到标号为L 的三地址语句。
