ADT(abstract data types)抽象数据类型

最新推荐文章于 2024-07-30 21:57:41 发布

转载最新推荐文章于 2024-07-30 21:57:41 发布 · 96 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/KennyRom/p/5878945.html

本文介绍了抽象数据类型(ADT)的基本概念，包括其定义、组成元素及如何通过一系列实例进行描述。具体探讨了ADT的定义方式、操作描述及其条件，并以BigInt为例详细解释了加一、减一和乘法等操作。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、What is it?

An abstract data type is a set of objects together with a set of operations.

抽象数据类型是带有一组操作的一组对象的集合。

ADTS=objects+operations

2、How to define?

ADT Name
  Describe of data;
  Operations;
End ADT

Operations description:

Name(parameter list)
  Input:     data used to input
  Output:   data used to output
  Pre-condition:  if the condiont my not be satisfied, the operation may not be correct
  
 Post-condition:  The status after the operation be executed

3、Example

ADT Bigint
    Data
        n: 0..2^54-1
    Operations:
       
         addone
            Pre-condition:     n+1<2^54;
            Post-condition:    n=n+1;
        
         subone
             Pre-condition:    n>0;
             Post-condition:   n=n-1;
         
         mult(x,y)
             Input:   (x:Bigint);
             Output: (y:Bigint);
             Pre-condition:  n*x.n<2^54;
             Post-condition: y.n=n*x.n;
End ADT

转载于:https://www.cnblogs.com/KennyRom/p/5878945.html