Derivative-Based Diagnosis of Regular Expression Ambiguity.

Martin Sulzmann Kenny Zhuo Ming Lu

Published in: CoRR (2016)

Keyphrases

regular expressions
pattern matching
query language
finite automata
xml schema
deterministic finite automata
semistructured data
matching algorithm
fault diagnosis
regular path queries
cost model
query evaluation
model based diagnosis
string matching
graph databases
static analysis
low level