Handbook of Weighted Automata

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g., the cost involved when executing a transition, the amount of resources or time needed for this, or the probability or reliability of its successful execution.