From Two-Way Transducers to Regular Function Expressions

Transducers constitute a fundamental extension of automata. The class of regular word functions has recently emerged as an important class of word-to-word functions, characterized by means of (func...