Two heads are better than one

Abstract A class of multihead automata in which the heads operate in parallel is defined. Deterministic two-head automata are described that accept the languages a n b n (or, more generally, the strings on a,b having the same number of a 's as b 's; and similarly for a n b n c n , etc.); ww; ww R ; and a kn , for any fixed k .