494 views
1 votes
1 votes
L ={ T | e(T) belongs to L(T) } , e(T) is the code for turing machine?

The answer given is RE but not REC ,but cant we apply Rice theorem as follow-

Tyes={Any machine accepting its code} Tno={Machine accepting code of Tyes + a }  //Tno is not accepting its own code

Tyes will become subset of Tno.?

Anyhow we can prove it as RE by simply checking that when e(T) will be applied to T,then members will say say and for Non members it may or may not halt.But where am i wrong in Rice's theorem proof?

Please log in or register to answer this question.

Related questions

1 votes
1 votes
1 answer
1
Abhipsa asked Jan 22, 2019
345 views
What is the difference between Turing Recognizable and Turing Decidable?Thanks!
2 votes
2 votes
2 answers
3
rahul sharma 5 asked Aug 7, 2017
659 views
Check whether the language below is recursive, recursively enumerable but not recursive, or not recursively enumerable?{⟨M1,M2⟩∣ M1 and M2 are two TMs, and ϵ∈L(M...
2 votes
2 votes
0 answers
4