Modular Descriptions of Regular Functions
arXiv:1908.01137 · doi:10.1007/978-3-030-21363-3_1
Abstract
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.
preliminary version appeared in CAI 2019, LNCS 11545