고정 출력을 가진 튜링 머신을위한 쌀 정리

Question

그래서 나는 쌀의 정리의 도움으로 언어인지 여부를 증명할 것으로 예상했다 : $ L_ {5}={w \ in \ {0,1 \} ^ {*} | \ \ {0,1 \} ^ {*}, m_ {w} (w)= x \} $ 은 아직 없습니다.

첫째로, 나는 이해가 안되며, 왜 우리가 처음으로 쌀 정리를 사용할 수 있습니다 : 2 개의 TuringMachines $ m_ {w} $ $ M_ {W '} $ $ W \ NEQ W'$ 을 사용하면 $ m_ {w} (w)= m_ {w '} (w)= x $ . 그러나 이것은 $ w '$ $ l_ {5} $ 및 $ w \ l_ {5} $ . 아니면 내가 무언가를 오해하고 있니?

두 번째 : $ l_ {5} $ 은 $ l_ {5}=eventyset $ 출력이 고정 된 입력으로 명확하게 결정되기 때문에. 하지만 왜 그렇게 그래서? 나는 $ l_ {5} $ 이 비어 있지 않고 자신의 입력에 X를 출력하는 TM이 있고 그렇지 않은 것이 있기 때문에 비어 있지 않습니다.

Answer 1

단어 $ w $ 은 $ l_5 $ 에 속합니다. $ x \ \ {0,1 \} ^ * $ $ m_w (w)= x $ 의 경우입니다.특히, $ w \ l_5 $ $ m_w (w)= 0 $ 및 $ m_w (w)= 1 $ 모두 true 할 수 없습니다. $ l_5 $ 에 속한 단어가 없습니다.