Automata and logics over finitely varying functions.

Fabrice Chevalier Deepak D'Souza M. Raj Mohan Pavithra Prabhakar

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

expressive power
real time
real world
cellular automata
finite automata
tree automata
probabilistic automata
database
data mining
artificial intelligence
website
reinforcement learning
hidden markov models
inference rules
finite state machines
finite state