A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot Julien Brusten Jérôme Leroux

Published in: CADE (2009)

Keyphrases

real numbers
fuzzy numbers
interval arithmetic
arithmetic operations
constraint solver
linear inequalities
von neumann
finite automata
ordered fuzzy numbers
probabilistic automata
regular expressions
pattern recognition
finite state
fuzzy systems
cellular automata
support vector
data sets
real time