このようなモデルを想定することで、l(対数領域)のような小さな空間複雑性クラスが定義できる。