Äquivalenz von Turingmaschinen
Zwei Turingmaschinen heißen äquivalent wenn Sie dieselbe Sprache akzeptieren.