[자료구조] 연산자

등록일 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)
}
*원하는 자료를 검색 해 보세요.
  • 자료구조 요약 정리 19페이지
    제1장 자료구조의 개념- 자료(data) : 사람이나 컴퓨터가 인식하고 처리하는데 알맞은 형태로 존재하며 평가되지 않은 것- 자료구조(data structure) : 자료의 처리 및 자료를 기억공간에 저장하는 방법- 자료의 단위 ① bit(binary digit) -..
  • 자료구조 용어설명 2페이지
    ✹순회✹운영 체계(OS)에서 이용자의 작업과 병행하여 컴퓨터의 기능을 주기적으로 또는 쉬는 상태일 때 검사하여 이상을 감시하는 프로그램. 약어 PADIA는 ‘패디아’라고 읽는다. ✹정렬✹①데이터를 어떤 기준 항목에 따라 순서대로 배열하는 것. 배열을 저장하는 항목을 정..
  • [자료구조] Graph 5페이지
    #include "graph-header.h"#include "graph-proto.h"void main(){Graph_Pointerg;g = create_graph(DIGRAPH);insert_vertex( g, 0 );insert_vertex( g, 1 );inse..
  • 자료구조, 큐 0페이지
    자료구조1. 주제선정① 제작할 프로그램 : 아이스크림 판매 프로그램② 프로그램 설명-> 선입선출FIFO(First-In-First-Out) 큐를 이용해 빠른주문 순서부터 아이스크림을 판매를 하는 프로그램 설계
  • [자료구조] 큐에 대해서(예제포함) 3페이지
    큐의 예제#include #include using namespace std;class Queue{private:int front,rear;char *queue;int qsize;int nitem;public:Queue(int qs);..
  • 자료구조 정렬 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..
더보기

이 자료와 함께 구매한 자료

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