[자료구조] 연산자

등록일 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는 ‘패디아’라고 읽는다. ✹정렬✹①데이터를 어떤 기준 항목에 따라 순서대로 배열하는 것. 배열을 저장하는 항목을 정..
  • 자료구조, 큐 0페이지
    자료구조1. 주제선정① 제작할 프로그램 : 아이스크림 판매 프로그램② 프로그램 설명-> 선입선출FIFO(First-In-First-Out) 큐를 이용해 빠른주문 순서부터 아이스크림을 판매를 하는 프로그램 설계
  • 인하대학교 자료구조 position 0페이지
    #include #include "position.h"template class NodeList {protected: struct Node { // Node class ..
  • 자료구조 정렬 8페이지
    자료구조 정렬-버블정렬, 쉘정렬, 퀵정렬, 병합정렬, 기수정렬의 알고리즘과 시간복잡도입니다. ◎버블정렬#include #define MAX 10void swap(int *x, int *y){   int temp;   temp = *x;   *x = *y..
  • 2011년 2학기 자료구조 기말시험 핵심체크 70페이지
    제1장 기본 개념1. 자료구조와 알고리즘(1) 자료와 정보① 자료는 현실 세계에서 관찰이나 측정을 통해서 수집된 값(value)이나 사실(fact)을 말함. 반면에 정보는 어떤 상황에 대해서 적절한 의사결정(decision)을 할 수 있게 하는 지식 (knowledge..
  • 자료구조 정리 20페이지
    1.1 자료구조란?■ 데이터가 가지는 여러 특징을 데이터의 내부 구조로 표현해 주는 방법이 필요한데, 이를 자료구조(Data structure)라고 한다.ex) 성적처리 프로그램 작성시 학생의 성적과 이름, 학번 그리고 과목 이름과 과목번호 등이 처리 대상이 된다. 이..
  • [자료구조] 큐에 대해서(예제포함) 3페이지
    큐의 예제#include #include using namespace std;class Queue{private:int front,rear;char *queue;int qsize;int nitem;public:Queue(int qs);..
더보기

이 자료와 함께 구매한 자료

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