[자료구조] 연산자

등록일 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)
}
*원하는 자료를 검색 해 보세요.
  • 자료구조 용어설명 2페이지
    ?순회? 운영 체계(OS)에서 이용자의 작업과 병행하여 컴퓨터의 기능을 주기적으로 또는 쉬는 상태일 때 검사하여 이상을 감시하는 프로그램. 약어 PADIA는 ‘패디아’라고 읽는다. ?정렬? ①데이터를 어떤 기준 항목에 따라 순서대로 배열하는 것. 배열을 저장하는 항목을..
  • [자료구조]자료구조 61페이지
    자료구조 교재 및 참고문헌 교재 C로 쓴 자료구조론 이석호역 사이텍미디어 제1장 기본개념 1.1 자료구조란? 자료를 효율적으로 사용하기 위해서 자료의 특성에 따라서 분류하여 구성하고 저장 및 처리하는 모든 작업 1.1 컴퓨터 분야에서 자료구조를 왜 배워야 하는가? 컴퓨..
  • 2011년 2학기 자료구조 기말시험 핵심체크 70페이지
  • 자료구조, 큐 10페이지
    자료구조1. 주제선정① 제작할 프로그램 : 아이스크림 판매 프로그램② 프로그램 설명-> 선입선출FIFO(First-In-First-Out) 큐를 이용해 빠른주문 순서부터 아이스크림을 판매를 하는 프로그램 설계
  • 자료구조 연습문제 5장 5페이지
    1. 트리의 정의를 쓰시오. 트리란 정보의 항목들이 가지로 연결될 수 있게 데이터가 조직되는 것을 말한다. 트리는 한 개 이상의 노드로 이루어진 유한 집합으로서 노드 중에는 루트라고 하는 노드가 하나 있고 나머지 노드들은 0개 이상의 분리 집합으로 분할될 수 있다. ..
  • 인하대학교 자료구조 position 0페이지
    ..FILE:12080939.dsp # Microsoft Developer Studio Project File - Name="12080939" - Package Owner=<4> # Microsoft Developer Studio Generated Build File,..
  • 자료구조 Binary Search Tree 0페이지
    이진탐색트리를 구현한 소스Insert, search, delete, inorder traversal 함수 구현Insert, delete후 inorder traversal로 트리의 node 출력
더보기

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      추천도서
      [자료구조] 연산자