Modular Descriptions of Regular Functions
Formal Languages and Automata Theory
2019-08-06 v1
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.
Cite
@article{arxiv.1908.01137,
title = {Modular Descriptions of Regular Functions},
author = {Paul Gastin},
journal= {arXiv preprint arXiv:1908.01137},
year = {2019}
}
Comments
preliminary version appeared in CAI 2019, LNCS 11545