$ A_ {TM} $에 관한이 튜닝 - 기계 문제를 이해하도록 도와주세요.

Question

나는 물리학 / c.s이다. 학생은 이제 며칠 동안이 특별한 문제로 어려움을 겪고 있습니다. 따라서 작업은 다음과 같습니다.

---

다음 언어를 고려하십시오 :

$ \ hspace {20pt} L_1={\ langle m \ rangle \, | \, l (m)= a_ {tm} \} \\ \ hspace {20pt} l_2={\ langle m \ rangle \, | \, l (m)=overline {a_ {tm}} \} $

이들이 알지 못합니다. 귀하의 결정을 증명하십시오.

$ A_ {TM} $ _ {TM} $ $ \ {\ langle m, w \ rangle \, | \, \ text {m은 tm이고 m은 w} \} $

을 수락합니다.

---

그래서 첫 번째 언어 $ l_1 $ 을 이해하려고합니다. $ l_1 $ 에 대해 정확히 무엇을 의미합니까? 왜 $ a_ {tm} $ 은 아닙니다. 그러나 $ l_1 $ 실제로?

나는 두 번째 문제에 대한 해결책을 이미 알고있는 것처럼 느낍니다. 그러나 내 장의 본능이 옳은지 여부를 알고 싶습니다. $ \ {tm}} $ 은 $ m $ $ l (m)=overline {a_ {tm}} $ {/ span>이 존재하지 않습니다 / 비어 있지 않습니다. 따라서 $ l_2= equestset $ 이며 쉽게 알리지 못합니다.

Answer 1

언어 $ L_1 $ 은 $ a_ {tm} $ 문제.

귀하의 본능이 맞습니다. 비어 있으므로 미리 읽을 수 있습니다. 어떤 기회에 의해 비어 있지 않은 경우, 쌀의 정리에 의해 알 수 없었을 것입니다