Multitape one-way nonwriting automata

Abstract

The theory given by Rabin and Scott for one-tape finite automata is extended to cover machines with several input tapes which can be advanced independently under finite-state control. © 1996 Academic Press, Inc.