Turingmaschinen & Komplexitätsklasse NP

Deterministische Turingmaschine (DTM) 
Nichtdeterministische Turingmaschine (NTM) 
Nichtdeterministische Berechnung 
Nichtdeterministische Entscheidbarkeit 
(Nicht-)Deterministische Entscheidbarkeit 
Zeitaufwand von NTM-Programmen 
NTIME(f) 
Komplexitätsklasse NP 
P-NP-Problem