1．以S属性的语法制导定义为基础，将下列产生式附上一定的语义规则。即在原来语法分析的基础上插入相应的语义动作：将输入串翻译成三地址代码序列。
E ® E1 + T
E ® T
T ® T1 * F
T ® F
F® (E)
F ® digit
F ® id
2．以词法分析和语法分析部分的上机结果为基础，添加语义分析部分。即以LR文法为基础。当进行产生式归约时执行对应的语义动作。
3．输入：（-b+c*d）+c*d
输出：
t1= -b
t2= c*d
t3=t1+t2
t4= c*d
t5=t3+t4
4． 若输入有误，如：a++b**c(d+e)
则应提示：+后面缺少运算对象，
*后面缺少运算对象，
c后面缺少运算符，
请重新输入！
扩展：
将三地址代码优化为DAG代码
例如：
输入： （-b+c*d）+c*d
输出：
t1= -b
t2= c*d
t3=t1+t2
t5=t3+t2
