Non-closure Properties of 1-Inkdot Nondeterministic Turing Machines and Alternating Turing Machines with Only Universal States Using Small Space

Tsunehiro YOSHINAGA; Jianliang XU; Makoto SAKAMOTO

doi:10.1587/transfun.E93.A.1148

Special Section on Discrete Mathematics and Its Applications

Non-closure Properties of 1-Inkdot Nondeterministic Turing Machines and Alternating Turing Machines with Only Universal States Using Small Space

Tsunehiro YOSHINAGA, Jianliang XU, Makoto SAKAMOTO

Author information

Keywords: closure properties, 1-inkdot Turing machines, nondeterministic Turing machines, alternating Turing machines, sublogarithmic space complexity

JOURNAL RESTRICTED ACCESS

2010 Volume E93.A Issue 6 Pages 1148-1152

DOI https://doi.org/10.1587/transfun.E93.A.1148

Details

Abstract

This paper investigates the closure properties of 1-inkdot nondeterministic Turing machines and 1-inkdot alternating Turing machines with only universal states which have sublogarithmic space. We show for example that the classes of sets accepted by these Turing machines are not closed under length-preserving homomorphism, concatenation with regular set, Kleene closure, and complementation.

Corresponding author

Register with J-STAGE for free!