Translating Regular Expression Matching into Transducers.

Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov

Browse the full SYNASC paper archive.