Title :
Making nondeterminism unambiguous
Author :
Reinhardt, Klaus ; Allender, Eric
Author_Institution :
Wilhelm-Schickard-Inst. fur Inf., Tubingen Univ., Germany
Abstract :
We show that in the context of nonuniform complexity, nondeterministic logarithmic space bounded computation can be made unambiguous. An analogous result holds for the class of problems reducible to context-free languages. In terms of complexity classes, this can be stated as: NL/poly=UL/poly LogCFL/poly=UAuxPDA(log n, nO(1))/poly
Keywords :
computational complexity; complexity classes; context-free languages; nondeterminism; nondeterministic logarithmic space bounded computation; nonuniform complexity; Complexity theory; Computer networks; Computer science; Microwave integrated circuits; Switching circuits;
Conference_Titel :
Foundations of Computer Science, 1997. Proceedings., 38th Annual Symposium on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-8197-7
DOI :
10.1109/SFCS.1997.646113