Noch Fragen? 0800 / 33 82 637

Handbook of Weighted Automata

Produktform: Buch / Einband - fest (Hardcover)

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted ?nite automata are classical nondeterministic ?nite 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 neededforthis,ortheprobabilityorreliabilityofitssuccessful execution. The behavior of weighted ?nite automata can then be considered as the function (suitably de?ned) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with in?nite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the f- lowing scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the “resources” by “pro?t” and then be interested in the maximal pro?t realized, correspondingly, by a given word.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-01491-8 / 978-3642014918 / 9783642014918

Verlag: Springer Berlin

Erscheinungsdatum: 28.09.2009

Seiten: 608

Auflage: 1

Herausgegeben von Werner Kuich, Manfred Droste, Heiko Vogler

246,09 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück