7.1 符号计算概述