Regular expression length via arithmetic formula complexity.

Ehud Cseresnyes Hannes Seiwert

Published in: J. Comput. Syst. Sci. (2022)

Keyphrases

regular expressions
pattern matching
finite automata
static analysis
semistructured data
lagrange interpolation
query language
xml schema
cost model
string matching
deterministic finite automata
query evaluation
matching algorithm
data management
domain knowledge
propositional formulas
database systems