«halting-problem» 태그된 질문

주어진 프로그램이 주어진 입력에서 멈추는 지 여부를 결정하기위한 정지 문제에 관한 질문.

12
실제로 Halting Problem이 중요한 이유는 무엇입니까?
프로그램 정지 여부를 결정할 가능성을 없애기 위해 Halting Problem 이 자주 사용되는 이유를 이해하지 못합니다 . Wikipedia [article] [1]은 유한 한 메모리를 가진 결정 론적 시스템이 이전 상태를 정지 시키거나 반복 할 것이라고 정확하게 설명합니다. 공간리스트가 O (1) 인 Halting 함수를 구현하기 위해 연결된 목록이 반복되는지 여부를 감지하는 알고리즘을 사용할 …
5
괴델의 불완전 성 정리, 정지 문제 및 보편적 인 튜링 기계 사이에 구체적인 관계가 있습니까?
나는 항상 위의 질문에 대한 대답이 다음 줄을 따라 긍정적이라는 것을 모호하게 생각했습니다. 고델의 불완전 성 정리와 정지 문제의 결정 불가능 성은 결정 가능성에 대한 부정적인 결과이며 대각선 논증 (1930 년대)에 의해 확립 된 것이므로 동일한 문제를 보는 두 가지 방법이어야합니다. 그리고 Turing은 보편적 인 Turing 장비를 사용하여 정지 문제를 …
10
인간 컴퓨팅 능력 : 인간이 Turing Machines에서 정지 문제를 결정할 수 있습니까?
우리는 Turing Machines에서 정지 문제 (Turing Machines)가 결정 불가능하다는 것을 알고 있습니다. Turing Machines 또는 범용 컴퓨터의 도움 으로 인간의 마음이이 문제를 얼마나 잘 처리 할 수 ​​있는지에 대한 연구가 있습니까? 참고 : 분명히 가장 엄격한 의미에서 튜링 머신이 너무 커서 단일 인간의 수명 동안 읽을 수 없기 때문에 항상 …
7
정지 문제와 열역학적 엔트로피 사이에 연결이 있습니까?
Alan Turing은 (숫자, 함수 등)을 계산하고 Halting Theorem을 증명 한 기계 (Turing Machine, TM)의 모델을 제안했습니다 . TM은 기계 (또는 원하는 경우 엔진)의 추상 개념입니다. 홀팅 정리는 불가능한 결과입니다. Carnot Engine (CE)은 열 엔진의 추상 개념이며 Carnot은 열역학 엔트로피와 관련된 또 다른 불가능한 결과 인 Carnot Theorem을 증명했습니다 . TM이 …
7
대각선 화보다 정지 문제의 결정 불가능 성을 더 직관적으로 증명할 수 있습니까?
나는 대각선 화를 기반으로 중지 문제 (예를 들어 Papadimitriou의 교과서에서 제공)의 결정 불가능한 증거를 이해합니다. 증거가 설득력 이 있지만 (각 단계를 이해합니다), 문제만으로 시작하여 누군가가 어떻게 그것을 이끌어 낼지 알지 못한다는 의미에서 나 에게는 직관적이지 않습니다. 이 책에서 증명은 다음과 같습니다. "MHMHM_H 입력에 정지 문제 해결M;xM;xM;x 이며, 결정 튜링 기계 …
2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
4
이상적인 컴퓨터에서 순수한 프로그램에 대해 중지 문제를 결정할 수 있습니까?
불완전한 프로그램 (예 : I / O 및 / 또는 시스템 전역 상태에 종속 된 상태)에 대해 중지 문제가 결정 불가능한 이유를 이해하는 것은 매우 간단합니다. 그러나 직관적으로, 이상적인 컴퓨터에서 순수한 프로그램의 정지는 정적 분석 등을 통해 결정될 수 있습니다. 이것은 사실입니까? 그렇지 않다면이 주장을 반증하는 반례 나 논문은 무엇입니까?
1
Coq에서 정지 문제의 결정 불가능 성을 증명할 수 있습니까?
나는 Andrej Bauer의 " 건설 수학 수용의 다섯 단계 "를보고 있었고, 모순에 의해 두 가지 종류의 증거가 있다고 말한다. 가 거짓 이라고 가정하자 . 따라서 는 사실이다.P피PP피PP 가 참 이라고 가정하자 . 따라서 는 거짓입니다.P피PP피PP 첫 번째는 제외 된 중간 법칙 (LEM)과 동일하며 두 번째는 부정을 증명하는 방법입니다. 중단 문제 …
6
Turing의 "Halting problem‍"을 해결하는 알고리즘
이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . "Alan Turing은 1936 년에 가능한 모든 프로그램 입력 쌍에 대한 정지 문제를 해결하기위한 일반적인 알고리즘이 존재할 수 없음을 증명했습니다. " 나는에 대한 중단 문제를 해결하기 위해 …
5
더 높은 수준의 계산 설명으로 이탈하여 중단 문제를 "해결"할 수 있습니까?
최근 튜링의 정지 문제에 대한 결정 불가능한 증거는 러셀의 이발사 역설과 매우 유사하다는 흥미로운 비유를 들었습니다. 그래서 수학자들은 Cantor의 순진한 현장 공식화에서 좀 더 복잡한 공리 시스템 (ZFC set theory)으로 전환하여 중요한 배제 (제한) 및 추가를 통해 세트 이론을 일관되게 만들었습니다. 따라서 튜링 머신보다 강력하고 표현력이 뛰어나고, 존재 증거를 얻거나 …
6
특정 입력 / 가정에 대해 중지 문제를 계산할 수 있습니까?
정지 문제를 계산할 수 없다는 증거에 대한 나의 이해에서, 우리가 프로그램 x가 정지하는지 여부를 계산하는 프로그램 P (x)를 가지고 있다면 P를 같은 P, P (P), P가 P를 사용하지 않는지를 결정하려고합니다. 그래서 내 질문은 : 입력으로 사용되는 다른 모든 프로그램에 대해 프로그램 P로 문제를 계산할 수 있습니까? P 자체입니까? 즉,이 특별한 …
4
런타임 환경에서 무한 루프를 감지 할 수 있습니까?
런타임 환경에서 무한 루프를 감지 한 후 관련 프로세스를 중지 할 수 있습니까? 아니면 그러한 논리를 구현하는 것이 중지 문제를 해결하는 것과 동일합니까? 이 질문의 목적을 위해, "무한 루프"를 정의하여 일련의 명령어와 관련 시작 스택 / 힙 데이터를 의미하며, 실행시 프로세스를 이전과 정확히 동일한 상태 (데이터 포함)로 반환합니다. 무한 루프를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.