Betrachten Sie eine Sprache so, dass:
und so das
Mit anderen Worten, die schnellste Maschine berechnet in der Zeit und die platzsparendste Maschine berechnet unter Verwendung des Raums .L O ( f ( n ) ) M ' L O ( g ( n ) )
Was kann über die Raumeffizienz von M oder die Zeiteffizienz von M 'gesagt werden? Genauer gesagt, wenn die Menge aller Maschinen ist, die in berechnen, was können wir dann über die platzsparendste Maschine in sagen ? Wie steht es mit der offensichtlichen Space-Version: . LO(f(n)) M T M S
Alternativ können und verwendet werden, um einige gute Raum-Zeit-Kompromisse zu definieren? Unter welchen Bedingungen ist oder allgemeiner für einen Raum-Zeit-Kompromiss unter welchen Bedingungen ist .