Aperiodic Two-way Transducers and FO-Transductions.

Olivier Carton Luc Dartois

Published in: CSL (2015)

Keyphrases

finite automata
first order logic
grammatical inference
regular expressions
transitive closure
fixpoint
hidden markov models
finite state
expressive power
constraint query languages
query language
special case
data mining
query evaluation
relational model
logic programs
data structure
feature selection
database