Aperiodic two-way transducers and FO-transductions.
Olivier CartonLuc DartoisPublished in: CoRR (2021)
Keyphrases
- finite automata
- first order logic
- regular expressions
- grammatical inference
- transitive closure
- fixpoint
- finite state
- constraint query languages
- hidden markov models
- query language
- deductive databases
- expressive power
- relational model
- constraint databases
- database
- pattern matching
- knowledge representation
- dynamic programming
- data model