Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.

Christian Choffrut Serge Grigorieff

Published in: Theor. Comput. Sci. (2009)

Keyphrases

monadic datalog
finite automata
cellular automata
probabilistic automata
artificial intelligence
finite number
unit length
lattice gas
database
relational databases
regular expressions
finite state
sign language
bounded treewidth
digital topology
magnetic tape