Decidability of the Multiplicity Equivalence of Multitape Finite Automata

Tero Harju, Juhani Karhumäki. Decidability of the Multiplicity Equivalence of Multitape Finite Automata. In Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing, 14-16 May 1990, Baltimore, Maryland, USA. pages 477-481, ACM, 1990.

Abstract

Abstract is missing.