1 research outputs found
Modular Descriptions of Regular Functions
We discuss various formalisms to describe string-to-string transformations.
Many are based on automata and can be seen as operational descriptions,
allowing direct implementations when the input scanner is deterministic.
Alternatively, one may use more human friendly descriptions based on some
simple basic transformations (e.g., copy, duplicate, erase, reverse) and
various combinators such as function composition or extensions of regular
operations.Comment: preliminary version appeared in CAI 2019, LNCS 1154