: def X(R: Any): Any = X(R)
그러나 컴파일 시간에 simmilar 일을 할 수 없습니다 scala> type X[R] = X[R]
<console>:11: error: illegal cyclic reference involving type X
type X[R] = X[R]
^
는 무한 루프/재귀 보호처럼
모든 agda 프로그램이 종료되는 곳이 몇 곳 있습니다. 그러나 다음과 같은 함수를 만들 수 있습니다 : stall : ∀ n → ℕ
stall 0 = 0
stall x = stall x
구문 형광펜은 좋아하지 않지만 컴파일 오류가 없습니다. stall 0의 정규형을 계산하면 0이됩니다. stall 1의 결과를 계산하면 Emacs가 멈추지 않는 루프
어셈블리에서 자체 BF 인터프리터로 작성했으며 현재 어셈블리 코드로 컴파일하는 Java에서 BF 컴파일러를 작성하고 있습니다. 메모리 셀 배열이 범위를 벗어난 경우 감지 된 조금 좋은 기능을 구현하고 싶습니다. 배열의 일반적인 제한 사항은 인덱스를 [0, 30000)으로 설정하는 것입니다. 그렇지 않으면 [0, inf)도 일반적으로 사용됩니다. 또 다른 옵
나는 질문에 붙어있어 해결책을위한 약간의 지침을 원합니다. - 프로그램 문제 - 프로그램이 중단되는 가능한 입력의 수는 프로그램이 '이긴 것보다 더 큰 않습니다 입력 : 나는 다음 문제가 결정 불가능 것을 증명해야 멈춰? (입력이 짝수 인 경우) 모든 짝수에 대해 중단되고, 모든 홀수에 대해 무한 루프로 이동하여 입력으로 프로그램을 실행하는 감소를 만들려고
다음은 유물 계산을위한 유성 애플리케이션의 일부 코드 (관련 데이터 포함)의 본질입니다. Meteor.call('projects.increment',1)가 호출되는 경우 각각의 카운트가 다른 링크로 // The counting and linking code.
Meteor.methods({
'counts.increment'(countId) {
중단 문제는 한 프로그램에서 다른 프로그램의 출력을 예측할 수 없거나 프로그램이 종료 될지 여부를 나타냅니다. 내 생각에 ... 휴리스틱 기반 스캐너는 주어진 실행 가능 프로그램의 지침이 "바이러스와 유사한"방식으로 프로그램이 수행 할 작업을 예측하는 것을 완전히 포함하는지 여부를 어떻게 결정합니까?
나는 최근에 문제를 모순적인 증거를 찾아 냈습니다. 증명에서 우리는 튜링 기계에 프로그램 사본과 입력 사본을 입력하여 해당 프로그램이 입력에서 중단되는지 여부를 결정해야합니다. 모순에서 왜 프로그램과 입력으로 프로그램이되어야합니까? 혼란 스러울 경우 미안 해요. 컴퓨터에 프로그램과 임의의 입력을 간단하게 공급할 수 있으며 동일한 결론을 내릴 수 있습니다.
그것은 충분히 간단한 함수를 들어, 가능한 입력을 중단 할 경우 알 수 있습니다 function(boolean input){
while(input){
}
}
을 가정 해 봅시다 나의 이해이다. 위의 함수는 false에 대해 종료되고 true. It's only impossible to solve the halting problem f
나는 TM = DFA는 정지에서 감소를 사용하여 결정 불가능하다는 것을 증명하고있다 이론적으로 Turing Machine은 계산 가능한 모든 기능을 캡처하고 DFA는 상수로 계산할 수있는 기능 만 캡처한다는 것을 이해합니다. 공간 따라서 TM = DFA는 결정 불가능하다. 여기 내 단계는 : 결정하는 R L (M) = L (D)를 가정 EQ_DM = {[D
예를 들어,이 튜링 기계 인 H는 프로그램과 입력이 중단되는지 여부를 알려줍니다. 자체적으로 H를 호출한다고 가정 해 봅시다. 답변을 주어야합니다. 따라서 "멈추지 않는다"라는 문구를 인쇄한다면 기술적으로 문구를 인쇄하지 않는 것이 아닌가? 아니면 항상 이론 상으로는 "멈추지 않을 것"이라고 인쇄 할 것인가? 나는 H를 순전히 부정적으로 부르지 않고, 부정