2
Alan dönüşümlü hiyerarşi
Bu Immerman ve Szelepcsenyi sayesinde bilinmektedir Eğer (hatta boşluk olmayan inşa edilebilir fonksiyonlar için).f = Ω ( log )NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Aynı makalede Immerman, günlük alanı alternatif hiyerarşisinin çöktüğünü belirtir, bu da (sınırlı değişen turing makinesinin tanımı ve wikipedia'da bulunan bir hiyerarşidir ).ΣjS P A C E (günlük)= N S …