DSPACE
領域階層定理(英語版)によれば、全ての領域構成可能関数 f : N → N {\displaystyle f:\mathbb {N} \to \mathbb {N} } について言語 L が存在して、領域 O ( f ( n ) ) {\displaystyle O(f(n))} では判定可能だが、領域 o ( f ( n ) ) {\displaystyle o(f(n))} では判定不能である。