Nondeterminism is essential for reversal-bounded two-way multihead finite automata Andrej Bebják; Ivana Štefáneková — 1988 Kybernetika