FO-Definable Transformations of Infinite Strings.
Vrunda DaveShankara Narayanan KrishnaAshutosh TrivediPublished in: FSTTCS (2016)
Keyphrases
- first order logic
- transitive closure
- regular languages
- expressive power
- finite automata
- finite sets
- knowledge representation
- edit distance
- grammatical inference
- relational model
- machine learning
- string matching
- answer sets
- constraint databases
- geometric transformations
- regular expressions
- query language
- genetic algorithm