String-to-String Interpretations with Polynomial-Size Output

05/30/2019
by   Mikołaj Bojańczyk, et al.
0

String-to-string MSO interpretations are like Courcelle's MSO transductions, except that a single output position can be represented using a tuple of input positions instead of just a single input position. In particular, the output length is polynomial in the input length, as opposed to MSO transductions, which have output of linear length. We show that string-to-string MSO interpretations are exactly the polyregular functions. The latter class has various characterizations, one of which is that it consists of the string-to-string functions recognized by pebble transducers. Our main result implies the surprising fact that string-to-string MSO interpretations are closed under composition.

READ FULL TEXT
research
12/22/2022

On the growth rate of polyregular functions

We consider polyregular functions, which are certain string-to-string fu...
research
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...
research
01/12/2023

Folding interpretations

We study the polyregular string-to-string functions, which are certain f...
research
09/01/2022

Maximal Closed Substrings

A string is closed if it has length 1 or has a nonempty border without i...
research
06/19/2019

Learning with Partially Ordered Representations

This paper examines the characterization and learning of grammars define...
research
12/03/2019

Radial-Layer Jamming Mechanism for String Configuration

Grippers can be attached to objects in a rigid mode, and they are theref...
research
02/06/2023

Rational functions via recursive schemes

We give a new characterization of the class of rational string functions...

Please sign up or login with your details

Forgot password? Click here to reset