A generalization of Cobham's theorem to automata over real numbers.

Bernard Boigelot Julien Brusten

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

Keyphrases

real numbers
fuzzy numbers
constraint solver
cellular automata
linear inequalities
arithmetic operations
interval arithmetic
quantifier free
ordered fuzzy numbers
computer vision
pattern recognition
finite state machines
finite automata
von neumann
turing machine
finite state automata