表达式的识别与转换,这是当时的离散数学课程设计