1 paper
Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
Deterministic two-way transducers define the class of regular functions from words to words. Alur and Cerný introduced an equivalent model of transducers with registers called copy…