Proof of equivalence of L0 and language accepted by made up machine I have a made up machine, which has the same definition as Turing machine, but the transition function and the step of computation of the machine. What would be the approach of the proof that the language accepted by this machine is (or is not) equal to L0 (recursively enumerable language)?
You need to show that any language that is accepted by a Turing machine is accepted by one of your machines. So, start with an arbitrary Turing machine&nbsp;$M$ and show that one of your machines can accept $L(M)$, e.g., by showing how to directly simulate the operation of&nbsp;$M$.