6 처지: 로버트 솔로베이, 결정 문제, 복잡도 종류, 튜링 기계, 정지 문제, 추상 기계.
로버트 솔로베이
버트 마틴 솔로베이(1938–)는 미국의 수학자이.
새로운!!: 신탁 기계와 로버트 솔로베이 · 더보기 »
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
새로운!!: 신탁 기계와 결정 문제 · 더보기 »
복잡도 종류
복잡도 종류(複雜度 種類)는 계산 복잡도 이론에서 계산 복잡도에 따라서 문제를 분류한 것이.
새로운!!: 신탁 기계와 복잡도 종류 · 더보기 »
튜링 기계
링 기계의 작동 방식을 묘사하는 그림 이론 전산학에서, 튜링 기계()는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이.
새로운!!: 신탁 기계와 튜링 기계 · 더보기 »
정지 문제
산 복잡도 이론에서 정지문제(停止問題, halting problem)는 판정 문제의 일종으로 다음과 같이 요약할 수 있. 1936년에 앨런 튜링이 모든 가능한 입력값에 대해 정지문제를 풀 수 있는 일반적인 알고리즘 은 존재하지 않는다는 것을 증명.
새로운!!: 신탁 기계와 정지 문제 · 더보기 »
추상 기계
상기계(抽象機械, abstract machine)는 컴퓨터 하드웨어나 소프트웨어의 이상적인 모형이.
새로운!!: 신탁 기계와 추상 기계 · 더보기 »