存储器类型的CDT构造Ⅰ

作者:边根庆; 邵必林; 冯钢
来源:微电子学与计算机, 2005, (01): 122-127.
DOI:10.19304/j.cnki.issn1000-7180.2005.01.033

摘要

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

全文