Rational functions via recursive schemes

02/06/2023
by   Siddharth Bhaskar, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset