**Transducers**are Finite State Machines which have

**output**.

The machine below has an input alphabet of {a, b} and an output alphabet of {F, M, S}.

Give it an input such that its output is the string "FSM".

The machine below has an input alphabet of {a, b} and an output alphabet of {F, M, S}.

Give it an input such that its output is the string "FSM".