属性文法举例 num,num, digit num, val if digit. val-error or num. val-error then error else numa. val*num,. basetdigit val num2 base=numj base digit base=num, base属性文法举例 num1→num2 digit num1.val= if digit.val=error or num2.val=error then error else num2.val*num1.base+digit.val num2.base=num1.base digit.base=num1.base