Probabilistic Regular Expressions and MSO Logic on Finite Trees.
Thomas WeidnerPublished in: FSTTCS (2015)
Keyphrases
- regular expressions
- monadic second order logic
- tree automata
- finite automata
- pattern matching
- query language
- semistructured data
- matching algorithm
- xml schema
- deterministic finite automata
- regular path queries
- finite state machines
- regular languages
- query evaluation
- expressive power
- logic programming
- context free grammars
- data management
- domain specific