Translating regular expression matching into transducers. - Yuto Sakuma; Yasuhiko Minamide; Andrei Voronkov (J. Appl. Log., 2012)