OH Ibarra - Journal of Computer and System Sciences, 1973 - Elsevier
For each positive integer n, let ℒ N (n) be the class of sets accepted by a family of automata
of type N, each with a read-only input with endmarkers and n two-way input heads. The …