Positional simulation of two-way automata: Proof of a conjecture of R. Kannan and generalizations
non-deterministic two-way finite automaton
alternating one-tape linear-time Turing machines
scientific article; zbMATH DE number 97374