【编译原理】语义分析S属性定义的自下而上计算