wie kann ich beweisen dass für jede Turingmaschine M eine äquivalente Turingmaschine M0 existiert, die
– genau einen akzeptierenden Zustand q3 hat,
– genau einen Zustand q7 hat, in welchem Sie verwirft,
– keine Zustandsübergänge von q3 und q7 erlaubt.