이 언어가 인식 할 수 있고 인식 할 수없는 것을 인식 할 수없는 이유는 무엇입니까?

Question

다음 언어가 R.E. 그러나 인식 할 수없는

$ l $ : 입력 $ m $ (여기서 $ m $ 은 튜핑 머신입니다) $ m $ 은 적어도 20 개의 입력

을 허용합니다.

나는 그것이 인식 할 수없는 이유가 없는지 확신 할 수 없다. 아마도 $ \ {tm}} $ 에서 로부터 다음 축소를 할 수 있기 때문에 $ L $ 이 절차 $ R $ (

)

$ r $ : 입력 $ $ :

1. TM $ M_1 $ , 여기서 $ x $ , $ x= 1 $ ,
2. 입력 $ x $ 이 $ 1 $ , $ m $ $ w $ $ | x | $ 단계. $ | x | $ 단계 ( $ m $ 은 $ w $ , $ x $
를 수락하십시오.

$ m $ 은 $ w $ , 즉 $ \ in \ overline {a_ {tm} {a_ {tm}} $ , $ m_1 $ 은 모든 입력을 허용합니다. Word, 즉 $ m_1 \ l $ .

여기에 뭔가를 놓치고 있습니까?

Answer 1

누락 된 것은 $ \ langle m, w \ rangle \ notin \ overline {a _ {\ mathrm {tm}}} $ _ / span>, 즉 $ m $ $ w $ , $ M_1 \ Notin L $ . $ m $ 이 $ w $ 에서 중지하지만 $ 20 $ 단계에서 $ m_1 \ l $ 을 누르고 있습니다.따라서 여기에는 감소가 없습니다.

$ l $ 은 쌀의 정리의 즉각적인 결과가 될 수 없습니다.