DeepAI AI Chat

Rational functions via recursive schemes

02/06/2023

∙

by Siddharth Bhaskar, et al.

∙

∙

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.

Siddharth Bhaskar
5 publications
Jane Chandlee
2 publications
Adam Jardine
2 publications

page 1

page 2

page 3

page 4

∙ 03/15/2021

Tangent-Chebyshev rational maps and Redei functions

Recently Lima and Campello de Souza introduced a new class of rational f...

0 Zhiguo Ding, et al. ∙

∙ 10/22/2019

Bicubic partially blended rational quartic surface

This paper investigates some univariate and bivariate constrained interp...

0 S. K. Katiyar, et al. ∙

∙ 06/26/2019

Approximating the pth Root by Composite Rational Functions

A landmark result from rational approximation theory states that x^1/p o...

0 Evan S. Gawlik, et al. ∙

∙ 05/30/2019

String-to-String Interpretations with Polynomial-Size Output

String-to-string MSO interpretations are like Courcelle's MSO transducti...

0 Mikołaj Bojańczyk, et al. ∙

∙ 01/23/2023

Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs

Polyregular functions are the class of string-to-string functions defina...

0 Sandra Kiefer, et al. ∙

∙ 01/04/2019

Decomposing tropical rational functions

An algorithm is designed which decomposes a tropical univariate rational...

0 Dima Grigoriev, et al. ∙

∙ 01/12/2023

Folding interpretations

We study the polyregular string-to-string functions, which are certain f...

0 Mikołaj Bojańczyk, et al. ∙