Squaring transducers: an efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch. Squaring transducers: an efficient procedure for deciding functionality and sequentiality. Theoretical Computer Science, 292(1):45-63, 2003.

Abstract

Abstract is missing.