论文部分内容阅读
目的存储器类型是计算机中十分重要的数据类型,因而对其进行CDT构造具有十分重要的意义.方法采用了构造方法Ⅰ给出存储器类型的构造因子.结果得到了存储器类型的CDT(范畴数据类型),同时讨论了基于构造方式Ⅰ下存储器类型CDT的映射与归约以及存储器CDT变换的因子分解定理,并用例子详细说明了构造的实质.