可拓基元的形式化表示与实现

研究用广义表存储物元、事元、关系元以及复合元的方法,以及广义表作为数据结构表示基元时,基本的基元可拓变换的算法实现。研究基元的形式化可以巩固可拓学在计算机中的实现基础,为编程提供了新的思路。