Handbook of Weighted Automata

1. Semirings and Formal Power Series
Manfred Droste, Werner Kuich

2. Fixed Point Theory
Zoltán Ésik

3. Finite Automata
Zoltán Ésik, Werner Kuich

4. Rational and Recognisable Power Series
Jacques Sakarovitch

5. Weighted Automata and Weighted Logics
Manfred Droste, Paul Gastin

6. Weighted Automata Algorithms
Mehryar Mohri

7. Algebraic Systems and Pushdown Automata
Ion Petre, Arto Salomaa

8. Lindenmayer Systems
Juha Honkala

9. Weighted Tree Automata and Tree Transducers
Zoltán Fülöp, Heiko Vogler

10. Traces, Series-Parallel Posets, and Pictures: AWeighted Study
Ina Fichtner, Dietrich Kuske, Ingmar Meinecke

11. Digital Image Compression
Jürgen Albert, Jarkko Kari

12. Fuzzy Languages
George Rahonis

13. Model Checking Linear-Time Properties ofProbabilistic Systems
Christel Baier, Marcus Größer, Frank Ciesinski

14. Applications of Weighted Automata in Natural Language Processing
Kevin Knight, Jonathan May

Keywords: Computer Science, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Mathematical Logic and Foundations, Mathematics of Computing, Artificial Intelligence (incl. Robotics)