Question abot Recursive\Recursively Enumerable Languages

[markiz]

Note: If this is a wrong section please move this thread to it's appropriate section.How do I prove that Langauge L₁\in R?

L₁={<M>|L(M)\inRE}

( M is a turning machine, <M> is machine's encoding)
I have the answer but i don't understand it!
The answer goes like this (sorry for loose translation):
Because of the fact that L(M)\inRE, L₁ contains all the encodings of the turning machine.
We can build turning machine M that decides L₁ language:
On a given input string X we check if it's comprise an encoding of some machine, if it's M stops.
First of all I don't understand the conclusion that "L₁ contains all the encodings of the turning machine"

 

[HallsofIvy]

First the term is "Turing machine", not "turning machine". It is named for the British mathematician, Alan Turing.

"L_1= {&lt;M&gt;|L(M)\in RE}&quot; <b>says</b> that L_1is the set of such encodings.

 

[markiz]

And if i was L₁={<M>|L(M)\inR} ?