Balanced timed regular expressions.

Eugene Asarin Catalin Dima

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

regular expressions
finite state machines
pattern matching
petri net
semistructured data
query language
finite automata
xml schema
tree automata
query evaluation
regular languages
incomplete information
matching algorithm
deterministic finite automata
np hard
text mining
regular path queries