finite transducer