Zeitkomplexitätsklasse NTIME

NTIME(f(n)) ist die Klasse aller Sprachen, die von einer NTM akzeptiert werden, deren Berechnungspfade für jede Eingabe der Länge $n$ maximal Länge $O(f(n))$ haben.
Es gilt: $NP=\bigcup _{k\ge 1}\text{NTIME}(n^k)$.