ω-regular Expression Synthesis from Transition-Based Büchi Automata.
Charles PertDalal AlrajehAlessandra RussoPublished in: CoRR (2024)
Keyphrases
- regular expressions
- finite automata
- pattern matching
- query language
- deterministic finite automata
- semistructured data
- regular languages
- string matching
- matching algorithm
- cost model
- regular path queries
- query evaluation
- xml schema
- graph databases
- finite state machines
- object oriented
- approximate matching
- data structure