Expressiveness modulo bisimilarity of regular expressions with parallel composition.
Jos C. M. BaetenBas LuttikTim MullerPaul van TilburgPublished in: Math. Struct. Comput. Sci. (2016)
Keyphrases
- regular expressions
- pattern matching
- query language
- bit parallel
- expressive power
- xml schema
- finite automata
- monadic second order logic
- semistructured data
- regular languages
- deterministic finite automata
- matching algorithm
- tree automata
- query evaluation
- regular path queries
- incomplete information
- finite state machines
- special case
- xml data
- graph databases