From Monadic Second-Order Definable String Transformations to Transducers.
Rajeev AlurAntoine Durand-GasselinAshutosh TrivediPublished in: LICS (2013)
Keyphrases
- monadic second order logic
- regular expressions
- finite automata
- data structure
- deductive databases
- higher order
- transitive closure
- datalog queries
- expressive power
- pattern matching
- high order
- datalog programs
- edit distance
- string matching
- data sets
- matching algorithm
- finite state automata
- binary strings
- fuzzy sets
- neural network