Handbook of Weighted Automata

Editors:

ISBN: 978-3-642-01491-8 (Print) 978-3-642-01492-5 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages I-XVII

  2. Foundations

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-28

      Semirings and Formal Power Series

    3. No Access

      Book Chapter

      Pages 29-65

      Fixed Point Theory

  3. Concepts of Weighted Recognizability

    1. Front Matter

      Pages 67-67

    2. No Access

      Book Chapter

      Pages 69-104

      Finite Automata

    3. No Access

      Book Chapter

      Pages 105-174

      Rational and Recognisable Power Series

    4. No Access

      Book Chapter

      Pages 175-211

      Weighted Automata and Weighted Logics

    5. No Access

      Book Chapter

      Pages 213-254

      Weighted Automata Algorithms

  4. Weighted Discrete Structures

    1. Front Matter

      Pages 255-255

    2. No Access

      Book Chapter

      Pages 257-289

      Algebraic Systems and Pushdown Automata

    3. No Access

      Book Chapter

      Pages 291-311

      Lindenmayer Systems

    4. No Access

      Book Chapter

      Pages 313-403

      Weighted Tree Automata and Tree Transducers

    5. No Access

      Book Chapter

      Pages 405-450

      Traces, Series-Parallel Posets, and Pictures: A Weighted Study

  5. Applications

    1. Front Matter

      Pages 451-451

    2. No Access

      Book Chapter

      Pages 453-479

      Digital Image Compression

    3. No Access

      Book Chapter

      Pages 481-517

      Fuzzy Languages

    4. No Access

      Book Chapter

      Pages 519-570

      Model Checking Linear-Time Properties of Probabilistic Systems

    5. No Access

      Book Chapter

      Pages 571-596

      Applications of Weighted Automata in Natural Language Processing

  6. Back Matter

    Pages 597-608