In fact, REG = DSPACE(o(log log n)) (that is, Ω(log log n) space is required to recognize any non-regular language).
Уствари, REG = DSPACE(o(log log n)) (што значи да је Ω(log log n) простор потребан да би се препознао било који нерегуларни језик).