Zeitkomplexitätsklasse DTIME

Für eine monoton wachsende Funktion $f:\mathbb{N}\to \mathbb{N}$ ist DTIME(f(n)) die Klasse aller Sprachen $L$, die von einer deterministischen Mehrband-Turingmaschine $M$ entschieden werden, die für jede Eingabe $x$ maximal $O(f(|x|))$ Schritte benötigt.