The Equivalence Problem for Deterministic Two-Tape Automata

Malcolm Bird. The Equivalence Problem for Deterministic Two-Tape Automata. J. Comput. Syst. Sci., 7(2):218-236, 1973.

Abstract

Abstract is missing.