Issue No. 07 - July (1969 vol. 18)
S.A. Greibach , Harvard University
A multitape one-way nonwriting automaton (MONA) is a finite state machine with a finite number of one-way input tapes which are advanced independently. This paper summarizes closure properties and decision problems of both deterministic and nondeterministic varieties. The family of n-ary word relations defined by deterministic (nondeterministic) n-tape MONA's is called Dn(Nn). Clearly D1 = N1 = regular sets and requires no further comment.
S. Greibach, "R69-18 Multitape One-Way Nonwriting Automata," in IEEE Transactions on Computers, vol. 18, no. , pp. 669, 1969.