A characterization of regular expressions under bisimulation.

Jos C. M. Baeten Flavio Corradini Clemens Grabmayer

Published in: J. ACM (2007)

Keyphrases

regular expressions
pattern matching
finite automata
semistructured data
query language
xml schema
tree automata
regular languages
deterministic finite automata
matching algorithm
graph data
graph databases
context free grammars
regular path queries
query evaluation
finite state machines