Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers.

Marie-Pierre Bal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch

Browse the full LATIN paper archive.