Title :
A note on tape bounds for sla language processing
Author :
Hartmanis, J. ; Berman, L.
Abstract :
In this note we show that the tape bounded complexity classes of languages over single letter alphabets are closed under complementation. We then use this result to show that there exists an infinite hierarchy of tape bounded complexity classes of sla languages between log n and log log n tape bounds. We also show that every infinite sla language recognizable on less than log n tape has infinitely many different regular subsets, and, therefore, the set of primes in unary notation, P, requires exactly log n tape for its recognition and every infinite subset of P requires at least log n tape.
Keywords :
Computational complexity; Computer science; Magnetic heads; Turing machines;
Conference_Titel :
Foundations of Computer Science, 1975., 16th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SFCS.1975.2