Login / Signup
From μ-Regular Expressions to Pushdown Automata.
Peter Thiemann
Published in:
CoRR (2016)
Keyphrases
</>
regular expressions
pattern matching
finite automata
tree automata
query language
regular languages
semistructured data
deterministic finite automata
xml schema
finite state machines
matching algorithm
model checking
regular path queries
query evaluation