NTIME
aus Wikipedia, der freien Enzyklopädie
In der Komplexitätstheorie steht für die Menge der Sprachen, die von einer nichtdeterministischen Turingmaschine in Zeit O(f) akzeptiert werden können.
Mit Diagonalisierung lässt sich zeigen, dass die Hierarchie echt ist.