On the decomposition of k-valued rational relations

Jacques Sakarovitch, Rodrigo De Souza

We give a new, and hopefully more easily understandable, structural proof of the decomposition of a $k$-valued transducer into $k$ unambiguous functional ones, a result established…