Visits, crosses, and reversals for nondeterministic off-line machines

Abstract

The different concepts involved in “reversal complexity”counting reversals (sweeps), visits to a square, or crossing sequences—are discussed for non-deterministic off-line Turing machines with one working tape and for preset Turing machines, a generalization of two-way checking automata. Restriction to finite reversals or visits or crosses yields the same family, NSPACE(log2n), for off-line one working tape Turing machines or for two-way checking automata. For each k, a k-reversal bounded machine has the power of a nondeterministic k-head finite automaton. Finite visit preset Turing machines with working tapes selected from context-free languages yield %plane1D;4AB;. For an arbitrary bounding function T(n), a T(n) reversal or visit bound on a nondeterministic off-line Turing machine corresponds to a T(n) log2 n space bound within a linear factor. However, there is no general linear speedup theorem for reversal bounds on a nondeterministic off-line Turing machine.