Finite State Transducers