세 가지 관련 하위 질문이 있는데 아래 글 머리 기호로 강조 표시되어 있습니다. 궁금한 경우 분할 할 수 없습니다. 안드레이 바우어 (Andrej Bauer)는 여기 에서 튜링 머신을 통해 일부 기능을 구현할 수 있지만 람다 미적분을 통해서는 불가능하다고 썼다 . 그의 추론의 핵심 단계는 다음과 같습니다. 그러나 우리가 람다 미적분학을 사용한다면, …
Turing의 모델이 계산을 설명 할 때 "표준"이되었다는 것을 이해하고 있습니다. 왜 이것이 사실인지 알고 싶습니다. 즉, TM 모델이 다른 이론적으로 동등한 (내 지식과 같은) 모델보다 더 널리 사용되는 이유는 무엇입니까? 전자는 나중에까지 나타나지 않았고 후자는 원래 계산 모델로 특별히 설계되지 않았지만 대안이 처음부터 존재했음을 보여줍니다). 내가 생각할 수있는 것은 TM …
실제 컴퓨터에는 메모리가 제한되어 있고 유한 한 수의 상태 만 있습니다. 그래서 그들은 본질적으로 유한 한 오토마타입니다. 이론적 인 컴퓨터 과학자들이 왜 튜링 머신 (및 기타 동등한 모델)을 사용하여 컴퓨터를 연구합니까? 실제 컴퓨터와 관련하여 훨씬 강력한 모델을 연구하는 요점은 무엇입니까? 유한 오토마타 모델이 충분하지 않은 이유는 무엇입니까?
크기가 인 알파벳을 사용하여 단일 테이프 Turing 기계 에서 시간 로 계산할 수있는 모든 함수 을 다음과 같이 계산할 수 있습니다. 크기가 인 알파벳 (예 : 및 공백)을 사용하는 단일 테이프 튜링 기계에서 시간 )?f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k = O(1)O(t)O(t)O(t)3330,1,0,1,0,1, (OP의 아래 주석에서) 입력은 사용하여 기록 되지만 크기의 알파벳을 …
나는 "정말로 임의의"숫자의 생성이 Turing 계산 가능한지 아닌지에 대한 확실한 대답을 찾고 있습니다. 나는 이것을 정확하게 표현하는 방법을 모른다. "임의의 숫자 생성을위한 효율적인 알고리즘"에 대한이 StackExchange 질문 은 내 질문에 대한 대답과 비슷합니다. Charles Stewart는 그의 대답에서 "[Martin-Löf randomity]는 기계에 의해 생성 될 수 없습니다"라고 말합니다. 로스 스나이더는 "튜링 / …
Paul Wegner와 Dina Goldin은 10 년 넘게 교회-튜링 논문이 종종 CS 이론 공동체와 다른 곳에서 잘못 표현되었다고 주장하는 논문과 책을 출판 해 왔습니다. 즉, 함수 계산에만 적용되는 경우 모든 계산을 포함하는 것으로 표시되는데, 이는 모든 계산의 매우 작은 하위 집합입니다. 대신 그들은 계산하는 동안 외부 세계와의 통신이 이루어지는 대화식 계산을 …
소개 및 설명에서 종종 튜링 머신을 통해 제공되는 P 및 NP 복잡성 클래스. 계산 모델 중 하나는 람다 미적분입니다. 나는 모든 계산 모델이 동등하다는 것을 이해하고 (Turing machine이라는 용어로 무엇이든 도입 할 수 있다면 모든 계산 모델로 이것을 도입 할 수 있음) 이해하지 못했지만 람다 계산법을 통해 설명 아이디어 P …
Turing Machines를 유한 테이프로 제한하는 경우 (즉, 경계 공간 ) 정지 단계는 본질적으로 여러 단계 (상태 및 의 수에서 계산할 수 있음 )와 알파벳 크기) 구성을 반복해야합니다.SSSQQQSSS 정지를 결정할 수있는 다른 자연 튜링 기계 제한이 있습니까? 확실히 상태 전이 그래프에 루프 나 사이클이없는 경우 정지를 결정할 수 있습니다. 다른 사람?
카드 게임 규칙에 따라 간단한 튜링 머신을 인코딩하고 싶습니다. Turing 완전성을 증명하기 위해 범용 Turing 기계로 만들고 싶습니다. 지금까지 Alex Smith의 2- 상태 3- 기호 튜링 머신 을 인코딩하는 게임 상태를 만들었습니다 . 그러나 (2, 3) 기계가 실제로 보편적인지에 대해서는 논란의 여지가있는 것 같습니다 (Wikipedia에 근거한 것 같습니다). rigour를 위해, …
무한한 비트 스트림이 제공되는 컴퓨터는 하나가없는 컴퓨터보다 강력합니다. 문제는 : 정지 문제를 해결하기에 충분히 강력합니까? 즉, 확률 론적 컴퓨터가 결정 론적 프로그램의 중단 여부를 결정할 수 있는가? 결정 론적 컴퓨터로는 할 수없는 일을하는 확률 론적 컴퓨터의 예 : 기가 바이트보다 큰 Kolmogorov 복잡성을 갖는 문자열을 출력하는 작은 프로그램 (길이 킬로바이트 …
적절한 조건 하에서 튜링 머신이 다항식 시간 ( "효율적으로 계산 가능")으로 효율적으로 계산할 수있는 기능은 다항식 신경망에 의해 표현 될 수 있음을 대략적으로 말하면 (예 : [1]의 정리 1 및 3 참조) 합리적인 크기로, 따라서 모든 입력 분포 하에서 다항식 샘플 복잡성 ( "학습 가능")으로 학습 할 수 있습니다. 여기서 …
튜링 완전성에 대한이 위키 백과 기사 에서는 다음과 같이 설명합니다. 형식화되지 않은 람다 미적분은 튜링 완료이지만 시스템 F를 포함한 많은 형식화 된 람다 미적분은 그렇지 않습니다. 유형이 지정된 시스템의 가치는 더 많은 오류를 감지하면서 가장 일반적인 컴퓨터 프로그램을 나타내는 능력에 기초합니다. 시스템 F로 계산할 수없는 총 계산 함수의 예는 무엇입니까 …
기계가 문제를 확인할 수 있도록 중단 문제에 대한 Turing의 증거를 공식화하고 싶다고 가정합니다. 잘 알려진 자동 정리 증명 시스템 중 일부는 Mizar, Coq 및 HOL4를 포함합니다. Coq을 다운로드하여 실험했지만 Turing 머신을위한 라이브러리가 없습니다. 나는 스스로 코드를 작성하려고 생각했지만 튜토리얼이 부족하고 언어를 선택하기가 어렵다는 것을 알았습니다. 내 질문은 : 일반적으로 튜링 …
우리가 책을 읽 거나 원하는 경우 언어 버전의 다른 버전으로 가면 C 구현이 얼마나 많은 계산 능력을 가질 수 있습니까? "C 구현"은 기술적 의미를 갖습니다. 구현 정의 동작이 문서화 된 C 프로그래밍 언어 사양의 특정 인스턴스입니다. 실제 컴퓨터에서 AC 구현을 실행할 필요는 없습니다. 비트 문자열 표현을 가진 모든 객체와 구현 …