반지 할 수없는 줄이 덜 도달하고 있습니까?

Question

$ p_1 $ 및 $ p_2 $ 및 두 줄 번호 $ N_1 $ 및 $ N_2 $ . $ P_1 $ 도달 $ n_1 $ $ p_2 $ $ n_2 $ 에 도달합니까? 멈추는 것으로써, 이것은 분명히 알지 못한다. 그러나 나는 그것이 세미 디지털이라고 생각한다.

$ P_1 $ 및 $ P_2 $ 을 실행하는 인터프리터를 구축합니다. 동시에 단계별로 단계별로 계산하고 각 프로그램의 단계를 계산합니다. $ P_1 $ 이 $ N_1 $ 에 도달하면 $ N_2 $ 이고 적은 경우 true를 반환합니다. $ p_2 $ 이 $ n_2 $ 에 도달하면 false를 반환합니다. 프로그램이 $ N_1 $ 또는 $ N_2 $ 에 도달하는 경우는 일어나는 일이 없습니다 (반독 가능성).

Answer 1

의사 결정 문제를 매우 신중하게 말하면 반시적이지 않습니다.두 프로그램이 $ n $ s가 거부 범주에있는 경우가 있음을 알아야합니다. $ \ infty <\ infty $ 은 모호합니다 / 정의되지 않음이 사례를 결정적으로 언급 할 것입니다.

그 이외에 예, 올바른 것입니다. $ P_1 $ 또는 $ P_2 $ $ n $ 다른 멈춤 조건으로서) 그러한 시나리오에서 정답을 제공합니다.위의 문제를 패치하면 $ P_1, P_2 $ 을 중지하지 않으므로 반제력이 없으므로 반드시뿐만 아니라 반드시 멈추지 않아도됩니다..