반 decidable= 확인 가능성을 증명하는 방법은 무엇입니까?

Question

언어 L은 r이 계산할 수 있도록 2면 조건조물 r σ * × σ *이 있고, 모든 x ∈ σ * : x ∈ L에 대한 y가 존재한다.x, y)

언어는 반사 할 수없는 경우, L의 모든 문자열을 받아들이는 튜링 머신이 있습니다. 그리고 모든 문자열에서 l에없는 모든 문자열에 거부하거나 루프를 거부합니다.

반지하지 않는 문제의 클래스가 검증 가능한 문제의 클래스와 동일하다는 것을 어떻게 알 수 있습니까?또는 그들은 그렇지 않습니다?

Answer 1

분명히 반지한 언어가 확인 가능한 이유 ( $ w $ )는 $ V (x, W) $ $ L $ 의 검증자가되어 있습니다. $ m (x) $ 을 다음 알고리즘으로 정의하십시오.

1. $ S $ 빈 배열 (머신 에뮬레이션의 튜닝)
$ w \ yigma ^ * : $
1. $ V (x, w) $ 에 $ s $ 에 추가하십시오. < / li>
2. 모든 에뮬레이션 $ e \ in s : $
   1. $ e $ 에 대한 한 단계를 계산하십시오. if, $ e $ 수락 한 다음

   이 알고리즘은 $ x \ \ SPAN>에있는 경우 $ w \ in \ sigma가 있기 때문에 올바른 것입니다. $ V (x, w)= true $ 과 함께 알고리즘이 받아 들일 것입니다.

   알고리즘이 수락 된 경우 $ w \ in \ sigma ^ * $ 여기서 $ V ( x, w)= true $ 및 따라서 $ x \n$ 정의별로