set of function problems which can be solved by a deterministic Turing machine in a logarithmic amount of memory space