«turing-machines» 태그된 질문

튜링 기계는 특히 이론적 인 작업에서 기본적인 계산 모델입니다.

2
Turing 완전한 언어 만 해석 할 수있는 전체 언어
튜링이 완료되지 않은 언어는 통역을 직접 작성할 수 없습니다. 나는 그것을 읽을 수있는 단서가 없지만 여러 번 사용 된 것을 보았습니다. 이것이 일종의 "궁극적 인"비 Turing 완전한 언어를 일으키는 것처럼 보입니다. 오직 할 수있는 것튜링 기계에 의해 해석됩니다. 이 언어들은 자연에서 자연에 이르기까지 모든 총 함수를 계산할 필요는 없으며 반드시 …
2
(어떻게) 튜링 계산 모델이 없을 때 NP 문제를 발견 / 분석 할 수 있습니까?
순전히 추상적 인 수학 / 계산 추론 관점에서 3-SAT, 부분 집합, 출장 세일즈맨 등과 같은 문제를 어떻게 발견하거나 추론 할 수 있을까요? 기능적인 관점 만으로도 의미있는 방식으로 그들에 대해 추론 할 수 있을까요? 가능할까요? 나는 람다 미적분학 계산 모델 학습의 일환으로 자체 질문의 관점에서 순수 하게이 질문에 궁리했습니다. 나는 그것이 …
1
단일 테이프 튜링 머신에서 입력 길이 계산
이 질문 과 관련 하여 단일 테이프 단일 헤드 Turing 기계가 입력 길이를 계산하는 데 시간이 얼마나 복잡합니까? 구체적으로, 테이프 알파벳이 이고 입력이 ( 0 + 1 ) 안에있는 문자열이라고 가정합니다. * 공백으로 둘러싸인 기계는 가장 왼쪽에있는 입력 기호에서 시작하며 문자열의 가장 왼쪽 심볼 ( 0 + 1 ) *{0,1,b}{0,1,b}\{0,1,b\}(0+1)∗(0+1)∗(0+1)^*(0+1)∗(0+1)∗(0+1)^*입력 …
2
명백한 튜링 기계 에뮬레이션 하한
잊어 버린 튜링 머신에서 튜링 머신의 에뮬레이션을 미만으로 수행 할 수 없다는 증거가 있습니까? 여기서 은 튜링 머신이 사용하는 단계 수입니다. ? 아니면 상한입니까?O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm Vitányi는 폴 비 타니 (Paul Vitányi)의 논문에서 관련성이없는 튜링 기계에 관한 논문에서 "그들은 [ Pippenger 및 피셔, 1979 기계 튜링 1 테이프 실시간 인식 느릅 …
1
oracles가있는 회로 vs. oracles가있는 Turing 기계
간단히 말해서 : oracles가있는 Turing 기계와 oracles가있는 균일 한 회로 제품군 간의 대응 관계는 무엇입니까? 주어진 오라클 튜링 머신에 대해 동일한 계산 모델을 얻기 위해 후자는 어떻게 정의됩니까? 이것은 기본적인 질문 일지 모르지만 어디에서 볼 것인지는 분명하지 않으며, 나는 나의 기초가 양질의 박격포를 사용하고 있는지 확인하는 것을 좋아하는 사람입니다. 표준 …
1
정지 감지기가 얼마나 좋은가요?
거의 모든 튜링 머신의 정지 여부를 결정할 수있는 튜링 머신이 있습니까? 튜링 머신의 열거 와 자연수 세트 ” ⋅ ” 의“크기”에 대한 개념이 있다고 가정 하고 다음을 정의합니다.N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether …
1
오라클 튜링 머신의 정지 문제에 대한 정보 압축
중지 문제는 계산할 수없는 것으로 잘 알려져 있습니다. 그러나 정지 문제에 대한 정보를 기하 급수적으로 "압축"하여 압축을 풀 수 있습니다. 보다 정확하게는 튜링 기계에 대한 설명을 계산할 수 있으며 비트 권고 는 튜링 기계의 모든 에 대한 정지 문제에 대한 답을 어드바이스 상태는 신뢰할 수 있습니다. 어드바이저는 비트 수를 선택하여 …
1
DSPACE (O (s (n)))의 시간 계층
시간 계층 정리에 따르면 튜링 기계는 시간이 충분하다면 더 많은 문제를 해결할 수 있다고합니다. 공간이 무증상으로 제한되는 경우 어떤 방식으로 유지됩니까? 어떻게 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) 에 관한 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) 의 경우 fgfg\frac{f}{g} 는 충분히 빨리 자 랍니까? I는, 특히 그 경우에 관심이 s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = n^3 및 f(n)=2nf(n)=2nf(n) …
2
다음 아이디어를위한 문학 자료 찾기
나는 내가 제시 할 아이디어를 가장 먼저 접한 사람이 아니라고 확신한다. 그러나 아이디어와 관련된 문헌을 찾을 수 있다면 도움이 될 것입니다. 아이디어는 P = NP 인 경우 M이 다항식 시간에 3-SAT를 해결한다는 특성으로 Turing Machine M을 구성하는 것입니다. (3-SAT의 선택은 임의적입니다. NP의 문제 일 수 있습니다). 분명히, 이것은 P = …
1
가요
을 시간 ( 시간에 (다중 테이프) 튜링 머신에서 허용 할 수있는 언어 클래스로 정의하십시오 . " "은 표기법을 단순화하고 혼동을 피하기위한 것입니다. 주위 에는 가 없습니다 .F ( N ) + 1 + 1 O ( ⋅ ) F ( N ) + 1D T I M E (f( n …
3
"작은"튜링 머신 / NFA의 비 구조적 증거가 있습니까?
알고리즘의 비 구조적 존재 증명에 관한 관련 질문을 읽은 후에 실제로 그것을 작성하지 않고 "작은"(예 : 상태 별) 계산 기계의 존재를 보여주는 방법이 있는지 궁금했습니다. 공식적으로 : 언어 가 주어지고 일부 계산 모델 (NFA / 튜링 머신 등)을 수정 한다고 가정 합니다.L ⊆ Σ※L⊆Σ∗L\subseteq \Sigma^* L에 대한 머신 이 존재하지만 …
6
튜링 머신이 시뮬레이션 할 수있는 작은 C 형 언어
나는 튜링 머신이 충분히 일반적인 컴퓨팅 모델임을 학생들에게 '설득'시키는 데 도움이되는 작은 언어를 찾고 있습니다. 즉, 익숙한 언어와 비슷하지만 튜링 머신에서 시뮬레이션하기 쉬운 언어입니다. Papadimitriou는이 작업에 RAM 기계를 사용하지만 이상한 기계 (튜링 기계)를 다른 이상한 물체 (기본적으로 어셈블리 언어)와 비교하는 것이 많은 학생들에게 너무 설득력이 없을 것 같습니다. 모든 제안은 …
3
P는 이해할 수없는 언어를 포함합니까? (TCS 커뮤니티 위키)
답 : 알려지지 않음 이 질문을 수정하는 데 도움을 주신 모든 분들께 감사드립니다. 이 위키의 정의는 최신 TCS 위키 " P에 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키) " 의 시작점을 제공했습니다 . 최신 위키는이 위키의 정의와 명명법이이 오래된 위키보다 훨씬 정교하기 때문에 선호됩니다. 특히,이 오래된 …
1
Alan Turing의 학생 Robin Gandy는 Charles Babbage가 범용 컴퓨팅 머신에 대한 개념이 없다고 주장 했습니까?
Robin Gandy 는 Alan Turing 의 학생이었습니다 . Gandy는 Babbage의 분석 엔진에 대한 분석을 수행 했습니다 ( 'Herken, Rolf- The Universal Turing Machine-A Half-Century Survey . Springer Verlag'에 인용 된 'Gandy-1936 년 아이디어의 합류점 '참조). p. 52–53) : 산술 함수 +,-, ×, 여기서-는 "적절한"빼기를 나타냅니다. x-y = 0, y ≥ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.