Cost Functions Definable by Min/Max Automata.

Thomas Colcombet Denis Kuperberg Amaldev Manuel Szymon Torunczyk

Published in: STACS (2016)

Keyphrases

min max
cost function
multiobjective optimization
search space reduction
cellular automata
finite automata
max min
regular expressions
lattice gas
first order logic
probabilistic automata
finite state
finite state machines
finite automaton
objective function
transitive closure
xml documents