← All problems
Unverified
Satisfiability of String Constraints with Subsequence relation
By we denote the (scattered) subsequence relation between words. Example: . Fix a finite alphabet . Let be a set of string variables. A subsequence constraint is an expression of the form where and . A homomorphism satisfies a subsequence constraint if . A domain restriction constraint restricts the domain of possible values for a variable to the regular language given by the regular expression . We are interested in the decidability of the following problem: Input: A set of subsequence constraints and a domain restriction . Question:Is there a homomorphism that respects the domain restriction and satisfies every subsequence constraint in ?
