Squaring transducers: an efficient procedure for deciding functionality and sequentiality

Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
2003 Theoretical Computer Science  
We describe here a construction on transducers that give a new conceptual proof for two classical decidability results on transducers: it is decidable whether a ÿnite transducer realizes a functional relation, and whether a ÿnite transducer realizes a sequential relation. A better complexity follows then for the two decision procedures. Rà esumà e Ce papier prà esente une construction sur les transducteurs qui donne une nouvelle preuve conceptuelle pour deux rà esultats classiques de dà
more » ... ità e sur les transducteurs: on peut dà ecider si un transducteur ÿni rà ealise une relation fonctionnelle et s'il rà ealise une relation sà equentielle. Il en rà esulte un algorithme polynomial pour les deux procà edures de dà ecision.
doi:10.1016/s0304-3975(01)00214-6 fatcat:uwlxhfohtrfm5dkod7uf5k6byu