Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Jos C. M. BaetenBas LuttikTim MullerPaul van TilburgPublished in: EXPRESS (2010)
Keyphrases
- extended abstract
- regular expressions
- pattern matching
- bit parallel
- finite automata
- semistructured data
- query language
- expressive power
- tree automata
- regular languages
- monadic second order logic
- xml schema
- regular path queries
- deterministic finite automata
- matching algorithm
- query evaluation
- finite state machines
- database
- relational databases