Continuous Regular Functions

Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan +5

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1]\to [0,1]$ is $r$-regular if there is a Büchi automaton that accepts precisely the set of base $r…