자료구조(2) - 자료추상화

 - 데이터 타입

    : 데이터의 집합과 연산의 집합

    : 추상화

       : 필수적이고 중요한 속성만을 골라서 일반화 시키는 과정

    : 추상데이터 타입 ( ADT )

       : 데이터 타입의 논리적 정의

       : 데이터가 무엇이고, 각 연산은 무슨 기능을 수행하는가만 정의

       : 데이터의 구조 및 연산의 구현방법은 포함시키지 않음

       : 추상 데이터 타입에는 객체와 연산을 정의

       ex) 자연수에 대한 추상 데이터 타입

 

       zero() ::= return 0;

       is_zero() ::= if ( x ) return FALSER;

                    else reutrnTRUE;

       add(x, y) ::= if( ( x+y ) <= INT_MAX ) return x+y;

                    else return INT_MAX;

       sub(x, y) ::= if( x<y ) return 0;

                    else return x-y;
       equal (x, y) ::= if( x==y ) return TRUE;
                    else return FALSE;
       successor(x) ::= if( x==INT_MAX ) return x;
                    else return x+1;
end Nat_No

 

 라 한다.