A New Approach to Regular Indeterminate Strings

12/14/2020
by   Felipe A. Louza, et al.
0

In this paper we propose a new, more appropriate definition of regular and indeterminate strings. A regular string is one that is "isomorphic" to a string whose entries all consist of a single letter, but which nevertheless may itself include entries containing multiple letters. A string that is not regular is said to be indeterminate. We begin by proposing a new model for the representation of strings, regular or indeterminate, then go on to describe a linear time algorithm to determine whether or not a string x = x[1..n] is regular and, if so, to replace it by a lexicographically least (lex-least) string y whose entries are all single letters. Furthermore, we connect the regularity of a string to the transitive closure problem on a graph, which in our special case can be efficiently solved. We then introduce the idea of a feasible palindrome array MP of a string, and prove that every feasible MP corresponds to some (regular or indeterminate) string. We describe an algorithm that constructs a string x corresponding to given feasible MP, while ensuring that whenever possible x is regular and if so, then lex-least. A final section outlines new research directions suggested by this changed perspective on regular and indeterminate strings.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/02/2023

An Algorithm for the Constrained Longest Common Subsequence and Substring Problem

Let Σ be an alphabet. For two strings X, Y, and a constrained string P o...
research
11/09/2017

What Is Decidable about String Constraints with the ReplaceAll Function

Recently, it was shown that any theory of strings containing the string-...
research
11/21/2022

String Covering: A Survey

The study of strings is an important combinatorial field that precedes t...
research
09/23/2022

Overtwisting and Coiling Highly Enhances Strain Generation of Twisted String Actuators

Twisted string actuators (TSAs) have exhibited great promise in robotic ...
research
05/20/2022

Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting

Due to the practical importance of regular expressions (regexes, for sho...
research
04/09/2018

From Regular Expression Matching to Parsing

Given a regular expression R and a string Q the regular expression match...
research
06/04/2020

Twinning automata and regular expressions for string static analysis

In this paper we formalize and prove the soundness of Tarsis, a new abst...

Please sign up or login with your details

Forgot password? Click here to reset