Deciding Regular Expressions (In-)Equivalence in Coq.

Nelma Moreira David Pereira Simão Melo de Sousa

Published in: RAMiCS (2012)

Keyphrases

regular expressions
pattern matching
finite automata
query containment
query language
tree automata
semistructured data
deterministic finite automata
regular languages
xml schema
regular path queries
theorem prover
query evaluation
finite state machines
matching algorithm
domain specific
domain knowledge