Renaming is Necessary in Timed Regular Expressions.

Philippe Herrmann

Published in: FSTTCS (1999)

Keyphrases

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