Enumeration and Decidable Properties of Automatic Sequences.

Emilie Charlier Narad Rampersad Jeffrey O. Shallit

Published in: Developments in Language Theory (2011)

Keyphrases

physico chemical
artificial intelligence
case study
database systems
hidden markov models
first order logic
real time
search space
semi automatic
fully automatic
structural properties
data sets
data driven
desirable properties
transitive closure