FO-definable transformations of infinite strings.

Vrunda Dave Shankara Narayanan Krishna Ashutosh Trivedi

Published in: CoRR (2016)

Keyphrases

first order logic
transitive closure
regular languages
expressive power
string matching
regular expressions
query language
finite automata
knowledge representation
edit distance
directed acyclic graph
hamming distance
fixpoint
finite sets
deductive databases
query evaluation
neural network