«halting-problem» 태그된 질문

적어도 제 자신의 참고 문헌 (Hopcroft + Ullman 1979)에서 Turing machine (TM)의 기본 정의는 결정적입니다. 따라서 정지 문제에 대한 내 자신의 이해 는 주로 결정 론적 TM에 대한 것이지만 다른 종류의 오토마타에서도 고려 될 수 있음을 알고 있습니다. 또한 사람들이 종종 TM을 참조하는 방식이나 정지 문제를 결정하는 데있어 결정론이 다소 …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

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

17 computability  reference-request  turing-machines  halting-problem 

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

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

문제가 있습니다. 프로그램이 존재하지 않는 실수가 무한정 길게 실행되고 해당 숫자의 10 진수를 씁니다. 나는 그것을 Halting 문제로 줄여서 해결할 수 있다고 생각하지만 그렇게하는 방법을 모른다. 추가 연습을 위해 비슷한 문제에 대한 링크를 부탁드립니다.

14 algorithms  reductions  halting-problem 

나는 Wikipedia 와 다른 텍스트를 읽었습니다. 정지 문제는 [...] LBA ( linear bounded automata ) [및] 유한 메모리를 가진 결정 성있는 머신에 대해 결정 가능합니다. 그러나 이전에는 정지 문제가 결정 불가능한 문제이므로 TM이 해결할 수 없다고 기록되었습니다! LBA는 TM의 유형으로 정의되므로 동일하지 않아야합니까?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Turing의 정지 문제를 이해하는 데 어려움이 있습니다. 그의 증거는 컴퓨터가 주어진 입력에 대해 영원히 멈추거나 반복되는지 여부를 결정할 수 있는 마법 기계 가 있다고 가정합니다 . 그런 다음 출력을 반전시키는 다른 기계를 연결하여 모순이 생겨 H 가 존재할 수 없습니다.HHHHHH 내 관심사는 우리가 답을 뒤집어서 답변이 틀렸다고 말하는 것처럼 보입니다. …

12 computability  halting-problem 

나는 최근의 질문에 대한 답을 읽고 있었고, 이상하고 일시적인 생각이 떠 올랐습니다. 이 질문을하면 이론가가 심각하게 부족하거나 (거의 사실임)이 사이트를 읽기에는 너무 이르다는 사실을 배신 할 수 있습니다. 이제 면책 조항을 벗어난 상태에서 ... TM에 대해 정지 문제를 결정할 수 없다는 것은 계산 결과 이론으로 잘 알려진 결과이다. 그러나 특정 …

12 turing-machines  undecidability  halting-problem 

나는 멈춤 오라클이 있다면 대부분의 문제는 사소한 것임을 이해한다 (또는 동등하게 하이퍼 계산이라고 생각한다). 그러나 튜링 머신에서는 Halting Problem을 나타내는 주장을 적용하는 것이 불가능합니다. 또한 Turing + oracle이 Turing + oracle의 Halting Problem을 결정하는 것은 불가능하다는 것을 보여줍니다. 중지 오라클로 해결할 수없는 실제적이고 실용적인 문제의 예가 있습니까? 참고 : "oracle"이란 …

11 computability  undecidability  halting-problem  oracle-machines 

3 기호 1 차원 셀룰러 오토마타에 대해 정지 문제가 결정 가능한지 알아 내려고 노력했습니다. 정의 하자 의 시간 단계에서 시스템의 구성을 나타내는 . 보다 공식적으로 여기서 는 알파벳입니다.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA 정의. 셀룰러 오토 마톤은 구성에 정지 된 , 만약 우리가있다 .f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) 주어진 세포 오토 마톤의 정지 문제는 …

10 computability  decision-problem  halting-problem  cellular-automata 

정지 문제에서, 주어진 튜링 머신 ( 이 주어진 입력 ( 에서 정지 되는지 여부를 알 수 있는 튜링 머신 (Tinging machine) 가 있는지 관심이있다 . 일반적으로 이러한 가 존재 한다고 가정하면 증명이 시작됩니다 . 그런 다음 를 제한 한 다음 대각 인수의 인스턴스를 사용하여 모순을 도출 하는 경우를 고려합니다 . …

10 computability  undecidability  halting-problem 

차이 틴의 메타 수학에서! 오메가 퀘스트 는 힐버트의 10 번째 문제에 대해 간단히 이야기합니다. 그런 다음 Diophantine Equation 은 양의 정수 계수를 가진 두 개의 동일한 다항식으로 변경할 수 있다고 말합니다 . .p = 0p = 0p=0p=0p = 0⟺피1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 그런 다음 우리는이 방정식을 "컴퓨터"처럼 생각할 …

10 logic  halting-problem 

이 사이트에는 TM이 중지 문제를 결정할 수 있는지 여부, 다른 모든 TM 또는 특정 하위 집합에 대한 질문에 많은 변형이 있습니다. 이 질문은 다소 다릅니다. 중지 문제가 모든 TM에 적용되는지를 TM이 결정할 수 있는지 묻습니다. 나는 대답이 '아니오'라고 믿고 나의 추론을 확인하고 싶다. 메타 정지 언어 를 TM이 중지되는지 여부를 …

9 computability  turing-machines  undecidability  halting-problem 

이 질문은 중단 문제에 대해 나에게 제기되었으며 온라인에서 누군가가 도울 수 있는지 궁금해하는 좋은 대답을 찾을 수 없었습니다. 입력이 TM 자체가 아닌 한 모든 입력의 TM에 대해 정지 문제를 결정할 수 있습니까? 원래: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an exception, whatever ELSE: Solve the …

9 computability  undecidability  halting-problem