«turing-machines» 태그된 질문

컴퓨터 프로그램을 시뮬레이션 할 수있는 이론적 인 기계 계산 모델 인 튜링 머신에 대한 질문.

3
NDTM의 답을 효율적으로 뒤집을 수없는 이유는 무엇입니까?
나는 NDTM의 답을 효율적으로 뒤집을 수 없다는 것을 여러 번 읽었습니다. 그러나 나는 왜 그런지 이해하지 못한다. 예를 들어, 에서 실행 되는 NDTM 이 주어진 경우 , 이 텍스트 (섹션 3.3)는 다른 NDTM 가 시간에 의 답 을 뒤집는 방법을 어떻게 결정할 수 있는지 불분명하다고 말합니다 .O ( n ) …
1
범용 튜링 기계는 어떻게 더 큰 기계를 시뮬레이션 할 수 있습니까?
Universal Turing machine에 관한 두 가지 질문에 대한 답을 찾으려고합니다. 시뮬레이션중인 머신의 상태 수가 더 많은 경우 Universal Turing 머신이 Turing 머신을 어떻게 시뮬레이트 할 수 있습니까? 시뮬레이션중인 기계의 알파벳 수가 더 많은 경우 Universal Turing 기계가 Turing 기계를 어떻게 시뮬레이트 할 수 있습니까? 누구 든지이 질문에 나를 도울 수 …
1
튜링 머신의 서브 라인 공간이란 무엇입니까?
입력이 회문인지 아닌지를 결정하는 문제 는 튜링 머신에 공간 이 필요한 것으로 입증되었습니다 . 그러나 입력을 저장하는데도 공간 n 이 걸리므로 모든 Turing 기계에 공간 Ω ( n )이 필요한 것은 아닙니다 .Ω ( 로그n )Ω(로그⁡엔)\Omega(\log n)엔엔nΩ ( n )Ω(엔)\Omega(n) 물론, 적어도 선형 공간을 사용하는 함수는 적어도 로그 공간을 사용하기 …
2
언어가 Turing Compete라는 명확하고 완전한 증거입니까?
HTML5 + CSS가 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. SQL이 Turing Complete임을 "증명"하는 웹 사이트를 보았습니다. 튜링 컴플리트 (Turing Complete)라는 의미를 "설명"하려는 웹 사이트들이 많이 있습니다. 충분히! "이 언어 XYZ는 계산 능력이 동일한 계산 기계를 설명 할 수 있습니다. 튜링 머신으로 "?
3
결정 가능한 언어와 제한없는 문법?
튜링 머신과 제한되지 않은 문법은 RE 언어를 정의하는 두 가지 다른 형식입니다. 일부 RE 언어는 결정 가능하지만 모든 언어는 아닙니다. 언어의 모든 문자열을 중지하고 허용하고 언어가 아닌 모든 문자열을 중지 및 거부하는 언어에 대한 TM이있는 경우 언어를 결정할 수 있다고 말함으로써 Turing 기계로 결정 가능한 언어를 정의 할 수 있습니다. …
1
RAM 머신에 의해 T (n)에서 계산 가능한 부울 함수가 DTIME (T (n) ^ 2)에 있음을 증명
문제는 Arora-Barak의 저서 Computational Complexity-Modern Approach 의 연습 1.9입니다 . RAM 튜링 머신을 랜덤 액세스 메모리가있는 튜링 머신으로 정의하십시오. 우리는 이것을 다음과 같이 공식화합니다. 기계에는 모든 배열로 초기화되는 무한 배열 A가 있습니다. 다음과 같이이 배열에 액세스합니다. 기기의 작업 테이프 중 하나가 주소 테이프로 지정되어 있습니다. 또한 기계에는 R과 W로 표시되는 …
1
튜링 인식 가능 => 열거 가능
열거 자에서 Turing Machine으로 이동한다는 증거를 얻습니다 (열거를 계속 실행하고 입력과 일치하는지 확인하십시오). 다른 방법이 어떻게 작동하는지 알 수 없습니다. 저의 노트와 저서 (계산 이론 소개-Sipser)에 따르면 Turing 기계에서 Turing 열거자를 얻으려면 기본적으로 알파벳의 모든 조합을 씁니다. 그런 다음이 입력에서 TM을 실행하고 인쇄가 승인되면 새 문자열 반복 광고 무한대로 대체하십시오. …
3
Watson-Crick 회문 인식의 공간 복잡성
다음과 같은 알고리즘 문제가 있습니다. Watson-Crick 회 문인 DNA 문자열 인식의 공간 튜링 복잡도를 결정합니다. Watson-Crick 회문은 역 보체가 원래 문자열 인 문자열입니다. 보완 DNA 영감 문자 와이즈 정의된다 : A는 T의 보수이며, C는 ACGT WC-회문위한 G. 간단한 예를 보완한다. 나는 이것을 해결하는 두 가지 방법을 생각해 냈습니다. 하나는 공간이 …
2
쓸모없는 상태의 튜링 기계와 관련된 질문
자, 여기 계산 이론 수업에서 지난 테스트의 질문이 있습니다. TM에서 쓸모없는 상태는 입력 문자열에 입력되지 않은 상태입니다. 하자 을 결정할 수 없음을 증명하십시오 .USELESSTM={⟨M,q⟩∣q is a useless state in M}.유에스이자형엘이자형에스에스티미디엄={⟨미디엄,큐⟩∣큐 쓸모없는 상태입니다 미디엄}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a useless state in }M\}.USELESSTM유에스이자형엘이자형에스에스티미디엄\mathrm{USELESS}_{\mathrm{TM}} 나는 대답이 있다고 …
4
Turing Machine (TM)이 정지 문제가 모든 TM에 적용되는지 여부를 결정할 수 있습니까?
이 사이트에는 TM이 중지 문제를 결정할 수 있는지 여부, 다른 모든 TM 또는 특정 하위 집합에 대한 질문에 많은 변형이 있습니다. 이 질문은 다소 다릅니다. 중지 문제가 모든 TM에 적용되는지를 TM이 결정할 수 있는지 묻습니다. 나는 대답이 '아니오'라고 믿고 나의 추론을 확인하고 싶다. 메타 정지 언어 를 TM이 중지되는지 여부를 …
4
경계 정지 문제는 결정 가능합니다. 이것이 왜 쌀 정리와 충돌하지 않습니까?
라이스 정리의 한 진술은 "전산 복잡성 : 현대적 접근"(Arora-Barak)의 35 페이지에 나와 있습니다. 에서 부분 기능 {0,1}∗{0,1}∗\{0,1\}^* 에 {0,1}∗{0,1}∗\{0,1\}^*모든 입력에 반드시 정의되어있는 것은 아닙니다. 우리는 TM이라고MMM 부분 함수를 계산합니다 fff 모든 경우에 xxx 어느 fff 정의 M(x)=f(x)M(x)=f(x)M(x) = f(x) 그리고 모든 xxx 어느 fff 정의되지 않았습니다 MMM 입력시 실행될 때 …
2
3 색이 결정 가능하다는 것을 증명하는 방법?
3 색이 결정 가능하다는 것을 증명하기 위해 다음과 같이 말하는 것으로 충분합니다. 그래프의 각 노드에는 3 가지 가능한 색상이 있습니다 따라서 우리는 모든 것을 열거 할 수 있습니다 삼엔삼엔3^n 가능성을 확인한 다음 두 모서리가 동일한 색상의 노드를 연결하지 않는지 확인하십시오. 3 색을 결정할 수 있다는 것을 증명합니까? 또는 적절한 증거를 …
1
비 결정적 튜링 머신의 비결 정성은 유한 오토마타와 다르고 오토마타를 내리는가?
입력 문자열을 다음과 같이 지정하십시오. w1w2...wnw1w2...wnw_1w_2...w_n. 그런 다음 NFA가 현재 상태 인 경우rrr (그리고 알파벳까지의 입력을 읽었습니다. wiwiw_i ) 다음 입력 기호를 읽기 전에 NFA는 두 개의 NFA로 분할되고 하나는 상태입니다. rrr 그리고 다른 존재 sss유형의 전환이있는 경우 r→ϵsr→ϵsr \xrightarrow{\epsilon} s. 유형의주기가있는 경우r→ϵs→ϵq1....→ϵqk→ϵrr→ϵs→ϵq1....→ϵqk→ϵrr \xrightarrow{\epsilon} s \xrightarrow{\epsilon} q_1....\xrightarrow{\epsilon} q_k \xrightarrow{\epsilon} r, …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.