page 1 of the paper: "Transducers are classical computational devices that extend FSMs with the ability to produce output" page 10 of the paper: "...we have just proved that this boils down to a graded promonad, with the grading given by the monoidal category of states"
0
0
5
340
1