«turing-machines» 태그된 질문

전산 복잡도와 터링 머신에 관한 책을 읽기 시작했습니다. 인용문은 다음과 같습니다. 정규 인코딩을 결정하면 알고리즘 (예 : 기계)을 비트 문자열로 나타낼 수 있습니다. 이 주장은 간단한 사실로 제공되지만 이해할 수 없습니다. 예를 들어 를 입력으로 사용하고 계산 하는 알고리즘이 있거나( x + 1 ) 2엑스엑스x( x + 1 )2(엑스+1)2(x+1)^2 int …

17 algorithms  turing-machines  computability  computation-models 

튜링 결정 가능한 많은 계산 가능한 언어가 있습니다. 셀 수없는 언어가 Turing 결정 가능합니까?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

모든 입력에서 멈추는 튜링 머신이 있지만 어떤 이유로 든 그 속성을 증명할 수 없습니까? 이 질문이 공부되었는지 궁금합니다. "불확실하다"는 "제한된"증명 시스템을 의미 할 수 있습니다 (약한 의미에서는 답이 '예'라고 생각합니다). 물론 가능한 가장 강력한 답변, 즉 ZFC 설정 이론 또는 기타 모든 입력에서 중단 될 수없는 답변에 관심이 있습니다. Ackermann …

17 computability  reference-request  turing-machines  halting-problem 

n-body 문제에 대한 일반적인 분석 솔루션은 정확한 정밀도로 임의의 시간 t에서 n-body 시스템의 상태를 제공하는 데 사용할 수있는 분석 함수를 생성 할 수 없습니다. 그러나 분석 기능이 알려진 n-body 시스템의 경우가 있습니다. 거의 같은 방식으로, 임의의 튜링 머신의 결과를 예측할 수있는 일반적인 알고리즘은 없습니다. 그럼에도 불구하고 영원히 멈추거나 달려 있다고 …

16 computability  turing-machines  undecidability  computation-models 

이 질문에서 우리는 모든 입력에서 멈추는 Turing 머신만을 고려합니다. 경우 k∈Nk∈Nk \in \mathbb{N} 다음에 의해 TkTkT_k 우리는 그 코드 튜링 기계 나타낸다 kkk . 다음 기능을 고려하십시오 s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} 다시 말해, 는 문자열 중 하나를 정확하게 인식하는 가장 작은 Turing machine의 코드입니다이제 다음 …

16 computability  turing-machines 

는 시간을 구성 할 수있는 고정 함수로 하자 .fff TM에 대한 고전적인 보편적 시뮬레이션 결과 (Hennie and Stearns, 1966)는 다음과 같이 2 테이프 TM 있다고 밝혔습니다.UUU TM을 설명 ⟨M⟩⟨M⟩\langle M \rangle 및 입력 문자열 ,xxx 단계 동안 실행 하고 x에 대한 M 의 답을 반환합니다 . 그리고 g는 임의 함수로 …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

이 대학에서 CS 과정에서 연구와 관련된 질문을 참고, 그것은 숙제되어 있지 않으므로 찾을 수 있습니다 여기에 2011 년 가을 exam2에서. 다음은 지난 시험에서보고있는 두 가지 질문입니다. 그들은 관련이있는 것 같습니다. 허락하다 FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = \{ < …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

유한 한 관찰자의 과거에 무한 기간의 월드 라인이 포함될 수있는 상대 론적 시공간 (예 : MH 시공간; Hogarth 1994 참조)이 있습니다. 즉, 일반 관찰자는 무한한 수의 계산 단계에 액세스 할 수 있습니다. 컴퓨터가 무한한 시간 동안 완벽하게 작동 할 수 있다고 가정하면 (그리고 그것이 큰 요구라는 것을 알고 있습니다.)이 무한한 …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

토론에서 누군가 특정 문제에 접근하기위한 최소한 연속체가있을 수 있다는 결론을 내 렸습니다. 구체적인 문제는 거래 전략 (알고리즘이 아니라 전략) 이었지만 내 질문의 요점 옆에 있다고 생각합니다. 이것은 알고리즘 세트의 카디널리티에 대해 생각하게했습니다. 나는 조금 둘러보고 있지만 아무것도 찾지 못했습니다. 나는 튜링 머신이 유한 한 알파벳 세트로 작동하고 테이프를 색인 할 …

15 algorithms  turing-machines  combinatorics 

현재의 체스 알고리즘은 플레이어의 움직임과 상대방의 움직임에 따라 가능한 경로의 트리 아래로 약 1 또는 2 레벨 내려갑니다. 체스 게임에서 상대방의 가능한 모든 움직임을 예측하는 알고리즘을 개발할 수있는 컴퓨팅 능력이 있다고 가정 해 봅시다. 플레이어의 움직임에 따라 상대방이 주어진 순간에 취할 수있는 모든 가능한 경로를 가진 알고리즘. 절대 잃어 버리지 …

15 algorithms  turing-machines 

이 메시지를 작성하기 위해 디지털 컴퓨터를 사용하고 있습니다. 이러한 기계는 당신이 그것에 대해 생각한다면, 사실은 꽤 놀라운하는 속성이 있습니다 : 그것은이다 하나 개의 시스템 , 적절하게 프로그램 된 경우, 수행 할 수있는 가능한 모든 계산을 . 물론 어떤 종류의 기계를 계산하는 것은 고대로 돌아갑니다. 사람들은 덧셈과 뺄셈 (예 : 주판), …

15 computability  turing-machines  history 

나는 NAND 게이트를 사용하여 모든 진리표를 구현하는 회로를 만들 수 있으며 최신 컴퓨터는 NAND 게이트로 구성됩니다. NAND 게이트와 튜링 완성도 사이의 이론적 연결은 무엇입니까? NAND 게이트 회로는 튜링 머신보다 유한 오토마타에 더 가깝습니다. 내 직감은 플립 플롭을 만들 수 있으므로 NAND 게이트에서 레지스터와 메모리를 만들 수 있으며 무한 메모리는 Turing …

14 turing-machines  turing-completeness  digital-circuits 

해결하려는 오래된 시험에서 이러한 질문이 있습니다. 각 문제에 대해 입력은 일부 Turing machine 의 인코딩입니다 MMM. 정수 c&gt;1c&gt;1c>1 및 다음 세 가지 문제의 경우 : 모든 입력 xxx 에 대해 M이 x에서|x|+c|x|+c|x|+c 실행할 때 + c 위치 ?xxx 모든 입력 xxx 에 대해 M이 x에서max{|x|−c,1}max{|x|−c,1}\max \{|x|-c,1 \} 실행할 때 − …

14 computability  turing-machines  undecidability 

그럼에도 불구하고 많은 "유명한"결정 불가능한 문제는 적어도 반 결정 불가능하며, 그 보완은 결정 불가능합니다. 무엇보다도 정지 문제와 그 보완이 될 수 있습니다. 그러나 아무도 문제와 그 보완이 결정 불가능하고 반 결정 불가능한 예를 줄 수 있습니까? 나는 대각선 화 언어 Ld에 대해 생각했지만 보완이 결정 불가능한 것으로 보이지는 않습니다. 이 …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

인식 할 수없는 언어의 존재를 이해하려고합니다. 이를 위해서는 Turing 머신이 여러 언어가 아닌 하나의 언어 만 인식하는 이유를 알아야합니다. 왜 이런거야?

13 turing-machines  computation-models