Symmertric space-bounded computation (extended abstract)
- First Online:
A symmetric Turing machine is one whose "yields" relation between configurations is symmetric. The space complexity classes for such machines are found to be intermediate between the corresponding deterministic and nondeterministic space complexity classes. Certain natural problems are shown to be complete for symmetric space complexity classes, and the relationship of symmetry to determinism and nondeterminism is investigated.
Unable to display preview. Download preview PDF.