A Decision Procedure for Regular Expression Equivalence in Type Theory.

Thierry Coquand Vincent Siles

Published in: CPP (2011)

Keyphrases

regular expressions
pattern matching
decision theory
finite automata
semistructured data
query language
domain knowledge
xml schema
cost model
string matching
data sets
decision making
approximate matching
decision makers
deterministic finite automata
static analysis
matching algorithm
low level
data mining