8.1 符号计算概述