-regular expressions and their automata and logic counterparts.
David BarozziniDavid de Frutos-EscrigDario Della MonicaAngelo MontanariPietro SalaPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- regular expressions
- finite automata
- tree automata
- pattern matching
- monadic second order logic
- semistructured data
- query language
- xml schema
- matching algorithm
- regular languages
- deterministic finite automata
- modal logic
- finite state machines
- logic programming
- query evaluation
- automated reasoning
- regular path queries
- data model