A Clarification for Yuval's 15:00-16:00 group
http://tau-cm2015b.wikidot.com/forum/t-1217413/a-clarification-for-yuval-s-15:00-16:00-group
Posts in the discussion thread "A Clarification for Yuval's 15:00-16:00 group"Tue, 21 Jan 2020 17:04:12 +0000http://tau-cm2015b.wikidot.com/forum/t-1217413#post-2304856A Clarification for Yuval's 15:00-16:00 group
http://tau-cm2015b.wikidot.com/forum/t-1217413/a-clarification-for-yuval-s-15:00-16:00-group#post-2304856
Wed, 27 May 2015 15:57:25 +0000Yuval Moskovitch1827110
L1={<M>| M always halts} is not equal to L2={<M>| L(M) in R}. Consider the TM M that never halts. L(M) is the empty set and thus L(M) in R. So <M> in L2 but not in L1.
]]>