자료구조별 추상 데이타 타입

리스트

객체 : n 개의 element형으로 구성된 순서있는 컬렉션

연산 :

add_last(list, item) :: = 맨 끝에 요소를 추가한다.

add_first(list, item) :: = 맨 앞에 요소를 추가한다.

add(list, pos. item) :: = delete(list, pos) :: = pos 위치의 요소를 제거한다.

replace(list, pos, item) :: = pos 위치의 요소를 item으로 바꾼다.

is_in_list(list, item) :: = item이 리스트안에 있는지를 검사한다.

get_entry(list, pos) :: = pos 위치의 요소를 반환한다.

get_length(list) :: = 리스트의 길이를 구한다.

is_empty(list) :: = 리스트가 비었는지를 거사한다.

is_full(list) :: = 리스트가 꽉찼는지를 검사한다.

display(list) ::= 리스트의 모든 요소를 표시한다.

스택

객체 : n 개의 element 형의 요소들의 순서있는 모임

연산 :

create() :: = 스택을 생성한다.

is_empty(s) :: = 스택이 비어있는지 검사한다.

is_full(s) :: = 스택이 가득 찼는가를 검사한다.

push(s, e) :: = 스택의 맨 위에 요소 e를 추가한다.

pop(s) :: = 스택의 맨 위에 있는 요소를 삭제한다.

peek(s) ::= 스택의 맨 위에 있는 요소를 삭제하지 않고 반환한다.