抽象数据类型的代数方法研究

Research of Abstract Data Type with Algebraic Method

抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论.

Abstruct Data Type is a powerful tool for implementing object—oriented pro- gramming.The goal of this paper is to specify abstract data type and provide its mathemati- cal meaning by using algebra structure;meanwhile,point out that any abstract data type of visible symbol Σ is the class of homogeneons structure of a Σ-computing structure.Furth- more,get a chain of results that abstract data type is equivalent to related computing struc- ture,based on equivalent concept of the basic item T (Σ).