위키원
오라클 머신 편집하기
편집을 되돌릴 수 있습니다.
이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 저장해주세요.
| 최신판 | 당신의 편집 | ||
| 7번째 줄: | 7번째 줄: | ||
* '''블랙박스와 차이''' | * '''블랙박스와 차이''' | ||
| − | : 오라클머신은 튜링머신(turing machine)에 오라클을 블랙박스처럼 붙여놓은 것이다. 즉, 블랙박스처럼 미리 설정된 [[하드웨어]]를 제공한다. | + | : 오라클머신은 튜링머신(turing machine)에 오라클을 블랙박스처럼 붙여놓은 것이다. 즉, 블랙박스처럼 미리 설정된 [[하드웨어]]를 제공한다. DB목록을 재구성하거나 메모리 크기를 바꾸는 등 세부적인 조정과정이 필요없다. 들여온 기기에 전원을 넣고 바로 사용가능하다. 기기에 오라클 SW를 얹어 돌린다. 오라클 머신을 사용하는 고객들은 효율을 높이고자 최적화된 하드웨어를 유지하면서 DB 테이블 구조를 바꾸거나 데이터 목록을 재구성하는 등 [[SW]]를 조율하는데에 아무 제약이 없다. 성능 문제로 조정을 가할 때 이를 되돌릴 수 없는 블랙박스 제품과는 다르다 |
| − | * '''튜링머신''' | + | * '''[[튜링머신]]''' |
: 튜링머신은 테이프에 입력값을 작성하여 신탁값에 전달한다. 신탁은 단 한 번의 계산을 마치고 테이프에 작성되어 있는 입력값을 지우고 결과값을 쓴다. 때로는 튜링머신이 오라클 머신의 입력과 출력 용도로 두 개의 테이프를 가진다고 가정하기도 하며, 오라클 머신은 한 번의 동작으로 어떤 결정문제를 풀 수 있는 블랙박스를 가진 튜링머신으로 상상한다.<ref>Faustinus, 〈[http://blog.naver.com/777gud/110081719818 신탁]〉, 《네이버 블로그》, 2010-03-01</ref> 이러한 상상들을 통해 컴퓨터에 주어지는 문제를 연구한다. 정치문제와 같이 컴퓨터로 풀 수 없는 문제가 있다. 이에도 풀 수 있는 신탁이 존재한다고 가정할 수 있는데, 이러한 문제를 해결할 수 있는 신탁이 달린 기계는 초월기계라고 부른다. 정지 문제의 역설이 이 초월기게에 그대로 적용된다. 즉, 특정한 튜링머신이 특정한 입력에 대해 멈출지의 여부를 판별할 수 있지만, 동일한 정지신탁이 달린 기계가 멈출지의 여부는 판별할 수 없다는 것이다. 이런 사실에서 기계에 대한 위계를 생각할 수 있으며, 이것을 산술 위계라고 한다.<ref name="위키"></ref> | : 튜링머신은 테이프에 입력값을 작성하여 신탁값에 전달한다. 신탁은 단 한 번의 계산을 마치고 테이프에 작성되어 있는 입력값을 지우고 결과값을 쓴다. 때로는 튜링머신이 오라클 머신의 입력과 출력 용도로 두 개의 테이프를 가진다고 가정하기도 하며, 오라클 머신은 한 번의 동작으로 어떤 결정문제를 풀 수 있는 블랙박스를 가진 튜링머신으로 상상한다.<ref>Faustinus, 〈[http://blog.naver.com/777gud/110081719818 신탁]〉, 《네이버 블로그》, 2010-03-01</ref> 이러한 상상들을 통해 컴퓨터에 주어지는 문제를 연구한다. 정치문제와 같이 컴퓨터로 풀 수 없는 문제가 있다. 이에도 풀 수 있는 신탁이 존재한다고 가정할 수 있는데, 이러한 문제를 해결할 수 있는 신탁이 달린 기계는 초월기계라고 부른다. 정지 문제의 역설이 이 초월기게에 그대로 적용된다. 즉, 특정한 튜링머신이 특정한 입력에 대해 멈출지의 여부를 판별할 수 있지만, 동일한 정지신탁이 달린 기계가 멈출지의 여부는 판별할 수 없다는 것이다. 이런 사실에서 기계에 대한 위계를 생각할 수 있으며, 이것을 산술 위계라고 한다.<ref name="위키"></ref> | ||
