A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
Marcello M. BonsangueGeorgiana CaltaisEugen-Ioan GoriacDorel LucanuJan J. M. M. RuttenAlexandra SilvaPublished in: SBMF (2010)
Keyphrases
- regular expressions
- pattern matching
- query language
- finite automata
- tree automata
- decision making
- semistructured data
- regular languages
- xml schema
- regular path queries
- deterministic finite automata
- finite state machines
- query evaluation
- matching algorithm
- decision makers
- graph databases
- pattern mining
- expressive power
- domain specific
- domain knowledge