Subsequential Transducer