Handbook of Weighted Automata (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
608
Utgivningsdatum
2012-03-14
Upplaga
2009 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Droste, Manfred (ed.), Kuich, Werner (ed.), Vogler, Heiko (ed.)
Illustrationer
XVII, 608 p.
Dimensioner
234 x 156 x 32 mm
Vikt
867 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783642260490

Handbook of Weighted Automata

av Manfred Droste, Werner Kuich, Heiko Vogler
Häftad,  Engelska, 2012-03-14
2342
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite 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 following 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 profit and then be interested in the maximal profit realized, correspondingly, by a given word.
Visa hela texten

Passar bra ihop

  1. Handbook of Weighted Automata
  2. +
  3. Nexus

De som köpt den här boken har ofta också köpt Nexus av Yuval Noah Harari (häftad).

Köp båda 2 för 2581 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Manfred Droste, Werner Kuich, Heiko Vogler

Recensioner i media

From the reviews: "This book is an excellent reference for researchers in the field, as well as students interested in this research area. The presentation of applications makes it interesting to researchers from other fields to study weighted automata. ... One of the main arguments in favor of this handbook is the completeness of its index table usually a faulty section in such volumes. The chapters are globally well-written and self-contained, thus pleasant to read, and the efforts put to maintain consistency in vocabulary thorough the book are very appreciable." (Michal Cadilhac, The Book Review Column 43-3, 2012) The book presents a broad survey, theory and applications, of weighted automata, classical nondeterministic automata in which transitions carry weights. The individual articles are written by well-known researchers in the field: they include extensive lists of references and many open problems. The book is valuable for both computer scientists and mathematicians (being interested in discrete structures). (Cristian S. Calude, Zentralblatt MATH, Vol. 1200, 2011)

Innehållsförteckning

Foundations.- Semirings and Formal Power Series.- Fixed Point Theory.- Concepts of Weighted Recognizability.- Finite Automata.- Rational and Recognisable Power Series.- Weighted Automata and Weighted Logics.- Weighted Automata Algorithms.- Weighted Discrete Structures.- Algebraic Systems and Pushdown Automata.- Lindenmayer Systems.- Weighted Tree Automata and Tree Transducers.- Traces, Series-Parallel Posets, and Pictures: A Weighted Study.- Applications.- Digital Image Compression.- Fuzzy Languages.- Model Checking Linear-Time Properties of Probabilistic Systems.- Applications of Weighted Automata in Natural Language Processing.

Du kanske gillar