Finite State Transducer is a Finite State Machine whose symbols have semantics of input and output signals.