Finite Presentations of Infinite Structures: Automata and Interpretations.

Achim Blumensath Erich Grädel

Published in: Theory Comput. Syst. (2004)

Keyphrases

finite automata
finite sets
database
cellular automata
information systems
search algorithm
finite state
real numbers
probabilistic automata
data mining
artificial intelligence
multimedia
finite state machines
linearly separable
regular languages
unit length