«computability» 태그된 질문

프로그램 정지 여부를 결정할 가능성을 없애기 위해 Halting Problem 이 자주 사용되는 이유를 이해하지 못합니다 . Wikipedia [article] [1]은 유한 한 메모리를 가진 결정 론적 시스템이 이전 상태를 정지 시키거나 반복 할 것이라고 정확하게 설명합니다. 공간리스트가 O (1) 인 Halting 함수를 구현하기 위해 연결된 목록이 반복되는지 여부를 감지하는 알고리즘을 사용할 …

149 computability  halting-problem 

우리는 다음과 같은 운동을 받았습니다. 허락하다 f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} 가 계산 가능 하다는 것을 증명하십시오 .fff 이것이 어떻게 …

130 computability  undecidability 

나는 항상 위의 질문에 대한 대답이 다음 줄을 따라 긍정적이라는 것을 모호하게 생각했습니다. 고델의 불완전 성 정리와 정지 문제의 결정 불가능 성은 결정 가능성에 대한 부정적인 결과이며 대각선 논증 (1930 년대)에 의해 확립 된 것이므로 동일한 문제를 보는 두 가지 방법이어야합니다. 그리고 Turing은 보편적 인 Turing 장비를 사용하여 정지 문제를 …

75 computability  logic  halting-problem  incompleteness 

우리는 Turing Machines에서 정지 문제 (Turing Machines)가 결정 불가능하다는 것을 알고 있습니다. Turing Machines 또는 범용 컴퓨터의 도움 으로 인간의 마음이이 문제를 얼마나 잘 처리 할 수 ​​있는지에 대한 연구가 있습니까? 참고 : 분명히 가장 엄격한 의미에서 튜링 머신이 너무 커서 단일 인간의 수명 동안 읽을 수 없기 때문에 항상 …

60 computability  turing-machines  halting-problem  human-computing 

Turing Complete로 간주되기 위해 프로그래밍 언어로 된 프로그래밍 언어 구문 세트가 있습니까? wikipedia 에서 알 수 있듯이 언어는 재귀를 지원해야하거나 중단없이 실행할 수 있어야합니다. 이것이 전부입니까?

55 computability  programming-languages  turing-machines  turing-completeness 

고차 패턴 매칭은 결정 불가능한 문제입니다. 즉,이 식 주어진 것이라는 알고리즘없는 a => b, a그리고 b, 단순히 입력 람다 계산법에 열려있는 용어를 교체를 발견 S하도록 aS => bS하는 경우, =>"동일한 BN 정상 형태를 갖는"의 약자. 그러나 인간은 그 문제를 효율적으로 해결할 수 있습니다. 예를 들어 다음과 같은 문제가 있습니다. a …

44 computability 

함수가 계산 가능한 경우 튜링 머신이 있음을 알고 있습니다. 그럼 어떻게 함수가 있음을 보여 되지 계산할 수 또는 튜링 기계가 거기에 없습니다. 펌핑 보조기구 같은 것이 있습니까?

43 computability  proof-techniques  undecidability  reference-question 

외부 프로그램 / 함수에 연결 해야하는 인터프리터를 작성할 때 이상한 문제가 발생했습니다 .'C '및'C ++ '의 함수 는 가변성 함수를 연결할 수 없습니다 . 예를 들어'printf ' 정확히 동일한 인수를 사용하고 대신 variadic 객체를 취하는 대체 버전을 호출해야합니다. 익명 후크를 보유한 객체를 만들 수 있기 때문에 이것은 매우 문제가됩니다. 따라서 …

42 computability  programming-languages  turing-completeness 

나는 스택 오버플로를 보았습니다. 예를 들어 여기 , 여기 , 여기 , 여기 , 여기 그리고 여기 에 언급하고 싶지 않은 다른 것들, "재귀를 사용하는 모든 프로그램은 반복만을 사용하는 프로그램으로 변환 될 수 있습니다." 가능하다고 답한 고도로 공감 된 답 을 가진 고도로 공감 된 스레드 가있었습니다 . 지금은 그들이 …

41 computability  recursion  iteration 

에서 이 대답 은 언급 유한 언어로 정규 언어를 인식 할 수 있습니다. 컨텍스트가없는 언어는 스택을 필요로하고, 문맥에 민감한 언어는 두 스택을 (말에 해당하는이 전체 튜링 기계가 필요)가 필요합니다 . 위의 대담한 부분의 진실에 대해 알고 싶었습니다. 사실입니까? 이에 대한 답변을 얻는 좋은 방법은 무엇입니까?

41 computability  turing-machines  automata  pushdown-automata 

계산 및 복잡성 이론 (및 기타 분야)에서 감소는 어디에나 있습니다. 이 많은 종류가 있지만 원칙은 동일하게 유지 : 하나의 문제가 있음을 보여 다른 문제로 하드로 적어도입니다 에서 매핑 인스턴스에 의한 의 솔루션 상응하는 것들 . 기본적으로 대한 모든 솔버 가 축소 기능을 전처리 사용할 수 있도록 허용하면 도 해결할 수 …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

나는 C가 Turing-complete라고 누군가에게 설명하려고 노력했고 실제로 그것이 실제로 Turing-complete인지 알지 못한다는 것을 깨달았습니다. (C는 실제 구현이 아닌 추상 의미론과 동일합니다.) "명백한"답변 (대략 : 임의의 양의 메모리를 처리 할 수 ​​있으므로 RAM 시스템을 에뮬레이트 할 수 있으므로 Turing-complete입니다)은 C 표준이 허용하는 것처럼 알 수있는 한 실제로 정확하지 않습니다. size_t가 임의로 …

39 computability  turing-completeness  c 

적어도 일부 영역에서 튜링 머신 기능을 초과하는 이론적 인 머신이 있습니까?

39 computability  turing-machines  hypercomputation 

요약 : 라이스 정리에 따르면 모든 것이 불가능합니다. 그럼에도 불구하고, 나는 어떻게 이 가정으로 불가능한 것들에게 모든 시간을! 물론 라이스 정리는 단순히 "모든 것이 불가능하다"고 말하는 것은 아닙니다. "컴퓨터 프로그램의 모든 속성은 계산할 수 없습니다." (모발을 나누려면 모든 "사소하지 않은"속성입니다. 즉, 모든 프로그램이 있거나 프로그램이 없는 속성은 간단하게 계산할 수 …

37 terminology  computability  undecidability  rice-theorem 

내가 알고 이드리스가 따라 종류가 있지만 완전한 튜링되지 않습니다. Turing 완전성을 포기하면 무엇을 할 수 없으며, 이는 종속 유형을 갖는 것과 관련이 있습니까? 나는 이것이 매우 구체적인 질문이라고 생각하지만 종속 유형 및 관련 유형 시스템에 대해 많은 것을 알지 못합니다.

35 computability  programming-languages  type-theory  dependent-types