Timed regular expressions.

Eugene Asarin Paul Caspi Oded Maler

Published in: J. ACM (2002)

Keyphrases

regular expressions
finite state machines
pattern matching
petri net
finite automata
semistructured data
query language
deterministic finite automata
matching algorithm
tree automata
regular path queries
query evaluation
regular languages
xml schema
database
data warehouse
databases