An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints

Klaus Jansen, Dirk Nowotka, Lis Pirotton +2

Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only termina…