[자료구조] 연산자

등록일 2003.06.21 C언어 (cpp) | 5페이지 | 가격 500원

목차

없음

본문내용

/****

다음과 같이 비어 있는 함수의 연산자에 대하여
객체가 변환되는 규칙들을 만들고,
항상 적용되고 또 유일하고 적용되는 것을 증명하고,
그 규칙에 따라 실제로 코딩하여라.


NatNo operator(NatNo x, NatNo y)
{
//
// 이 곳에서는 모든 경우에서도 적용되고
// 오직 하나의 규칙만 적용된다는 것을 보인다
//

.......
....... // 위의 규칙에 따라 실제로 코딩을 한다.
.......
}

빈 곳으로 되어 있는 모든 연산자에 대하여
각각 위와 같은 방식으로 채워 넣는다.

[예제]
int Equal(NatNo x, NatNo y)
{
// (A,Z) Eq(x, Zero) ::= if IsZero(x) then true else false
// (Z,N) Eq(Zero, Succ(y)) ::= fasle
// (N,N) Eq(Succ(x), Succ(y)) ::= Eq(x, y)

if (y == Zero()) // Eq(x, Zero) ::= if IsZero(x) then true else false
return IsZero(x);
else if (x == Zero() && !IsZero(y)) // Eq(Zero, Succ(y)) ::= fasle
return false;
return Equal(x - 1, y - 1); // Eq(Succ(x), Succ(y)) ::= Eq(x, y)
}

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      최근 본 자료더보기
      추천도서