Handbook of weighted automata (Q836989)

The book presents a broad survey, theory and applications, of weighted automata, classical nondeterministic automata in which transitions carry weights. There are four parts including 14 chapters. Part 1 (2 chapters) contains the foundations of weighted automata; Part 2 (4 chapters) is dedicated to various concepts of weighted recognizability, Part 3 (4 chapters) presents weighted discrete structures and Part 4 (4 chapters) is devoted to applications. 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). The articles of this volume will be reviewed individually. Indexed articles: \textit{Droste, Manfred; Kuich, Werner}, Semirings and formal power series, 3-28 [Zbl 1484.68082] \textit{Ésik, Zoltán}, Fixed point theory, 29-65 [Zbl 1484.68083] \textit{Ésik, Zoltán; Kuich, Werner}, Finite automata, 69-104 [Zbl 1484.68107] \textit{Sakarovitch, Jacques}, Rational and recognisable power series, 105-174 [Zbl 1484.68110] \textit{Droste, Manfred; Gastin, Paul}, Weighted automata and weighted logics, 175-211 [Zbl 1484.68081] \textit{Mohri, Mehryar}, Weighted automata algorithms, 213-254 [Zbl 1484.68092] \textit{Petre, Ion; Salomaa, Arto}, Algebraic systems and pushdown automata, 257-289 [Zbl 1484.68109] \textit{Honkala, Juha}, Lindenmayer systems, 291-311 [Zbl 1484.68077] \textit{Fülöp, Zoltán; Vogler, Heiko}, Weighted tree automata and tree transducers, 313-403 [Zbl 1484.68085] \textit{Fichtner, Ina; Kuske, Dietrich; Meinecke, Ingmar}, Traces, series-parallel posets, and pictures: a weighted study, 405-450 [Zbl 1484.68084] \textit{Albert, Jürgen; Kari, Jarkko}, Digital image compression, 453-479 [Zbl 1484.68282] \textit{Rahonis, George}, Fuzzy languages, 481-517 [Zbl 1484.68093] \textit{Baier, Christel; Größer, Marcus; Ciesinski, Frank}, Model checking linear-time properties of probabilistic systems, 519-570 [Zbl 1484.68095] \textit{Knight, Kevin; May, Jonathan}, Applications of weighted automata in natural language processing, 571-596 [Zbl 1484.68263]