Savitch teoremi
Savitch Teoremi, uzay karmaşıklığını konu edinen ve bu hususta sonuca varan en eski teoremlerden biridir. Belirlenimsiz makinelerin belirlenimli makinelere dönüştürülmesinde, gerekli olan uzay karmaşıklığını incelemiştir ve beklenenden çok daha küçük uzay gereksinimi olduğunu ortaya koymuştur. Daha formal bir ifadeyle, f(n) uzay kullanan bir belirlenimsiz Turing makinesi (nondeterministic turing machine NTM), belirlenimli bir turing makinesine (deterministic turing machine TM) dönüştürülürken f(n)^2 uzay gerektirir.