## Logspace and Logtime Leaf Languages (1996)

Citations: | 25 - 2 self |

### BibTeX

@MISC{Jenner96logspaceand,

author = {Birgit Jenner and Pierre McKenzie and Denis Thérien},

title = {Logspace and Logtime Leaf Languages},

year = {1996}

}

### OpenURL

### Abstract

The computation tree of a nondeterministic machine M with input x gives rise to a leaf string formed by concatenating the outcomes of all the computations in the tree in lexicographical order. We may characterize problems by considering, for a particular "leaf language" Y , the set of all x for which the leaf string of M is contained in Y . In this way, in the context of polynomial time computation, leaf languages were shown to capture many complexity classes. In this paper, we study the expressibility of the leaf language mechanism in the contexts of logarithmic space and of logarithmic time computation. We show that logspace leaf languages yield a much finer classification scheme for complexity classes than polynomial time leaf languages, capturing also many classes within P. In contrast, logtime leaf languages basically behave like logtime reducibilities. Both cases are more subtle to handle than the polynomial time case. We also raise the issue of balanced versus non-balanced comp...