Regular Expression Matching using Bit Vector Automata.
Alexis Le GlaunecLingkun KongKonstantinos MamourasPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- regular expressions
- bit vector
- pattern matching
- matching algorithm
- approximate matching
- string matching
- finite automata
- regular languages
- query language
- xml schema
- regular path queries
- context free grammars
- graph matching
- query evaluation
- integrity constraints
- expressive power
- approximate string matching
- relational algebra
- static analysis
- semistructured data
- cost model
- database
- data structure