$ l (m)의 단어 멤버 $ \ \ \ \ \ \ on the decidable인지를 결정하는 문제는 무엇입니까?

Question

알파벳 {m, e, b, r}에 튜링 머신 m을 감안할 때 멤버 $ \ span> l (m)의 l (m)인지를 결정하라는 메시지가 표시됩니다. m은 m이 하나의 특정 기계가 아니며 동일한 알파벳이있는 튜링 머신이 될 수 있음을 깨닫어야합니다. 내 목표는이 문제가 아픈 언제든지 결정하는 것입니다.

나의 아이디어는 맵핑 환원성을 사용하는 것이 었습니다. $ a_ {tm} $ 의 모든 문제를 현재의 문제로 변환 할 수 있는지 확인하는 것이 었습니다.이것은 전염병에 의해 현재의 문제를 해결할 수 없게됩니다.그러나 나는 가능한지 확실하지 않기 때문에 그렇게하는 데 어려움을 겪고 있습니다. $ A_ {TM} $ 은 W의 단어를 받아들이는 튜링 머신 M으로 정의됩니다.

unstuck을 얻는 데 도움이 될 것입니다.

Answer 1

나는 이것을 시도 할 것이다 :

$ a_ {tm} $ : 주어진 TM $ a $ und word $ W $ .

다음과 같이 작동하는 새 컴퓨터 $ a '$ 을 정의하려면 다음을 사용하십시오.

1. 입력 $ W $
2. $ a $ 은 $ w $ 을 거부하고, 영원한 루프로 이동하십시오.
3. $ a $ 은 대역 내용을 삭제하고 밴드 컨텐츠를 삭제하고 "멤버"
를 씁니다.