«semi-decidability» 태그된 질문

함수 열거의 개념에 대해 배웠습니다. 실제로는 프로그래밍 언어에 해당합니다. 지나가는 말에서 교수는 모든 총 함수의 클래스 (즉, 모든 입력에서 항상 종료되는 함수)는 열거 할 수 없다고 언급했습니다 . 그것은 우리가 모든 함수를 작성할 수있게하는 프로그래밍 언어를 고안 할 수 없다는 것을 의미합니다. 적절한 계산 능력을 원한다면 어떻게 비 종료 가능성을 …

29 computability  semi-decidability  enumeration 

세트는 자연수와 함께 bijection 이 있는 경우 셀 수 있으며 멤버를 열거하는 알고리즘이있는 경우 계산 가능합니다 (ce) . 열거 할 수없는 계산 가능한 집합은 계산할 수 있어야합니다. 계산할 수없는 계산 가능한 집합의 예가 있습니까? 즉,이 세트와 자연수 사이에 궤적이 존재하지만이 궤적을 계산할 수있는 알고리즘은 없습니다.

15 computability  semi-decidability 

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

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