It’s this easy: “Monoidal transducers are in bijection with monoid homomorphisms between free monoids” oleksandrmanzyuk.wordpress.c… (by @MAH3IOK)