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?