DeepAI AI Chat
Log In Sign Up

String-to-String Interpretations with Polynomial-Size Output

by   Mikołaj Bojańczyk, et al.
RWTH Aachen University
University of Warsaw

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.


On the growth rate of polyregular functions

We consider polyregular functions, which are certain string-to-string fu...

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

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

Folding interpretations

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

Maximal Closed Substrings

A string is closed if it has length 1 or has a nonempty border without i...

Radial-Layer Jamming Mechanism for String Configuration

Grippers can be attached to objects in a rigid mode, and they are theref...

Learning with Partially Ordered Representations

This paper examines the characterization and learning of grammars define...

Rational functions via recursive schemes

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