A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.
Wojciech RozowskiPublished in: ICALP (2024)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- tree automata
- semistructured data
- regular path queries
- regular languages
- query language
- query evaluation
- matching algorithm
- xml schema
- deterministic finite automata
- finite state machines
- modal logic
- functional dependencies
- natural language processing
- query processing
- xml documents
- data mining
- databases
- database