SMT-LIB Sequences and Regular Expressions.
Nikolaj BjørnerVijay GaneshRaphaël MichelMargus VeanesPublished in: SMT@IJCAR (2012)
Keyphrases
- regular expressions
- frequent sequences
- pattern matching
- query language
- finite automata
- xml schema
- regular languages
- semistructured data
- regular path queries
- matching algorithm
- deterministic finite automata
- hidden markov models
- tree automata
- statistical machine translation
- query evaluation
- sequential patterns
- grammatical inference
- graph databases
- object oriented
- database