Deciding Definability by Deterministic Regular Expressions.

Wojciech Czerwinski Claire David Katja Losemann Wim Martens

Published in: FoSSaCS (2013)

Keyphrases

regular expressions
deterministic finite automata
pattern matching
query language
monadic second order logic
finite automata
tree automata
xml schema
semistructured data
regular path queries
matching algorithm
finite state machines
regular languages
database
data mining
frequent sequences