NOTE: This definition of finite transducer is also called letter transducer (Roche and Schabes 1997); alternative definitions are possible, but can all be converted into transducers following this one.
The extended transition relation is essentially the reflexive transitive closure of the transition graph that has been augmented to take edge labels into account.