修改语义符号化表达与计算