How to Tackle Integer Weighted Automata Positivity.

Yohan Boichut Pierre-Cyrille Héam Olga Kouchnarenko

Published in: RP (2009)

Keyphrases

finite automata
cellular automata
regular expressions
weighted sum
lattice gas
image processing
lower bound
hidden markov models
finite state machines
finite state
floating point
weighted distance
probabilistic automata
integer valued