Considere un lenguaje tal que:
y asi que
En otras palabras, la máquina más rápida calcula en el tiempo y la máquina más eficiente en espacio calcula mientras usa el espacio .L O ( f ( n ) ) M ′ L O ( g ( n ) )
¿Qué se puede decir sobre la eficiencia espacial de M o la eficiencia temporal de M '? O más precisamente, si es el conjunto de todas las máquinas que calculan en , ¿qué podemos decir acerca de la máquina más eficiente en espacio en ? ¿Qué pasa con lo mismo para la versión espacial obvia: . LO(f(n)) M T M S
Alternativamente, Can y ser usado para definir unas concesiones buen espacio-tiempo? ¿Bajo qué condiciones es o más generalmente para algún intercambio espacio-tiempo bajo qué condiciones es .