DocumentCode
2179161
Title
One-way log-tape reductions
Author
Hartmanis, J. ; Immerman, N. ; Mahaney, S.
fYear
1978
fDate
16-18 Oct. 1978
Firstpage
65
Lastpage
72
Abstract
One-way log-tape (1-L) reductions are mappings defined by log-tape Turing machines whose read head on the input can only move to the right. The 1-L reductions provide a more refined tool for studying the feasible complexity classes than the P-time [2,7] or log-tape [4] reductions. Although the 1-L computations are provably weaker than the feasible classes L, NL, P and NP, the known complete sets for those classes are complete under 1-L reductions. However, using known techniques of counting arguments and recursion theory we show that certain log-tape reductions cannot be 1-L and we construct sets that are complete under log-tape reductions but not under 1-L reductions.
Keywords
Automata; Magnetic heads; Polynomials; Turing machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Foundations of Computer Science, 1978., 19th Annual Symposium on
Conference_Location
Ann Arbor, MI, USA
ISSN
0272-5428
Type
conf
DOI
10.1109/SFCS.1978.31
Filename
4567963
Link To Document