weiter von:
Mehrband-Turingmaschinen
Ein Startzustand ist ausreichend
Ein Band ist ausreichend
Nichtdeterministische Mehrband-Turingmaschine mit beidseitig unbeschränkten Bändern
Einseitig unendliches Arbeitsband ist ausreichend
Deterministische Maschinen sind ausreichend
siehe:
Nichtdeterministische Turingmaschine mit linearer Speicherbeschränkung