튜닝 머신이란?

소개글

컴퓨터학과 - 튜닝머신에 대한 조사

목차

1. 튜링 머신(Turing Machine)
1) 개념/정의
2) 기본 튜링 형태
3) 튜링 머신의 종류
① 양방향 튜링 머신(Two-way Turing Machine)
② 다중 튜링 머신(Multitape Turing Machine)
③ 비 결정 튜링 머신(Non-Deterministic Turing Machine)
4) 처치-튜링 명제와 범용 튜링 머신
① 처치-튜링 명제
② 범용 튜링 머신

2. 기계가 쉽게 판독한다는 의미?

3. 인간이 쉽게 판독한다는 의미?

<참고 자료>

본문내용

1. 튜링 머신(Turing Machine)

1) 개념/정의
컴퓨터의 실행과 저장에 관한 추상적인 모델로서 1939년에 앨런 튜링(Alan Turing : 1912~1954)이 알고리즘에 대한 엄밀한 수학적 정의를 위해 도입한 개념으로 1937년 미국 프린스턴 대학 유학 시절에 최초로 고안한 장치가 튜링 머신입니다. 이 개념은 컴퓨터 과학 이론에서 널리 사용되고 있는데, 특히 계산 복잡도 이론과 계산이론에서 아직도 널리 사용되고 있습니다.
오늘날 컴퓨터의 모델이 되었고 명령어와 프로그램에 의해 작동 되었습니다. 종이테이프에 구멍을 뚫어 명령을 입력하면 자동적으로 작동하게 고안 되었습니다. 튜링 머신은 유한상태의 머신으로서 테이프를 가지고 있고, 테이프에는 부호를 기록하여 이를 다시 읽을 수 있으며, 또 이 부호를 변경할 수도 있고, 테이프를 앞뒤로 움직일 수도 있는 간단한 머신입니다. 따라서 다음의 입력은 다른 장소에 오게 됩니다. 그러므로 튜링 머신은 초보적인 외부기억장치와 각 상태에 따른 내부기억능력을 보유하고 있습니다.
인공지능의 개념을 밝히고자 튜링이 발표한 튜링 테스트와 간혹 혼동되기도 하지만 이 둘은 별개의 개념입니다.
Turing Machine
형식 체계
입력
공리(Axiom)
프로그램
추론규칙(Inference Rule)
출력
정리(Theorem)

이 문제를 대답하는 데 어려운 점 중의 하나는 도대체 `기계적 프로그램` 의 정확한 의미가 무엇인가를 결정하는 것일 것입니다. 그 개념은 당시 일반적인 수학적 개념의 한계를 넘어선 것이었습니다. 그 개념을 수식화하기 위하여 튜링은 머신 동작을 기본적인 식으로 나누어 정형화함으로써 `머신` 라는 개념이 어떻게 수식으로 표현될 수 있는가를 보이려고 하였습니다. 튜링은 인간의 뇌도 하나의 `머신` 로 간주하였습니다. 그러므로 수학 문제를 푸는 수학자의 행동이 무엇이건 그것이 `기계적 프로그램` 으로 표시될 수 있다고 생각하였습니다.

참고 자료

http://ko.wikipedia.org/wiki/%ED%8A%9C%EB%A7%81_%EA%B8%B0%EA%B3%84
http://www.newtonkorea.co.kr/newton/magazine/word/word02_03_15.htm
http://www.encyber.com/infocomdic/content.php?IDNO=43978&key=&P=P17
http://100.naver.com/100.nhn?docid=156299
http://blog.naver.com/visionsic?Redirect=Log&logNo=110002964313
http://mathlab.snu.ac.kr/%7Efreddie1/info-math/Turing.pdf