Rational functions via recursive schemes

02/06/2023

∙

by   Siddharth Bhaskar, et al.

∙

0

∙

share

We give a new characterization of the class of rational string functions from formal language theory using order-preserving interpretations with respect to a very weak monadic programming language. This refines the known characterization of rational functions by order-preserving MSO interpretations.