Seminar Announcement
Date: Friday, 14 February 2025
Time: 3:30 PM
Venue: Seminar Hall
Modular Descriptions of Regular Functions
Paul Gastin
LMF, ENS Paris-Saclay, France.
14-02-25

---

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.