The Equivalence Problem for Deterministic Two-Tape Automata

A decision procedure is described for equivalence of deterministic two-tape (one-way) automata.

[1]  Dana S. Scott,et al.  Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..