Komplexitätsklassen für die Zeitkomplexität von nichtdeterministischen Turing-Maschinen.

Ein Problem gehört zur Komplexitätsklasse NTIME(t(n)), wenn es von einer nichtdeterministischen Turing-Maschine in O(t(n)) Rechenschritten, wobei sich n auf die Eingabelänge bezieht, gelöst werden kann.