Automatentheorie und Logik

Authors:

ISBN: 978-3-642-18089-7 (Print) 978-3-642-18090-3 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages i-x

  2. Endliche Wörter

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      Grundlagen der Theorie formaler Sprachen

    3. No Access

      Book Chapter

      Pages 13-28

      Schwache, monadische Logik zweiter Stufe

    4. No Access

      Book Chapter

      Pages 29-40

      Alternierende, endliche Automaten

    5. No Access

      Book Chapter

      Pages 41-57

      Sternfreie Sprachen

  3. Unendliche Wörter

    1. Front Matter

      Pages 59-59

    2. No Access

      Book Chapter

      Pages 61-68

      Automaten auf unendlichen Wörtern

    3. No Access

      Book Chapter

      Pages 69-74

      Komplementierung von Büchi-Automaten

    4. No Access

      Book Chapter

      Pages 75-85

      Weitere Akzeptanzbedingungen

    5. No Access

      Book Chapter

      Pages 87-102

      Determinisierung von Büchiautomaten

    6. No Access

      Book Chapter

      Pages 103-115

      Entscheidungsverfahren für ω-Automaten

    7. No Access

      Book Chapter

      Pages 117-129

      Alternierende Automaten

    8. No Access

      Book Chapter

      Pages 131-159

      Linearzeit-Temporale Logik

  4. Endliche Bäume

    1. Front Matter

      Pages 161-161

    2. No Access

      Book Chapter

      Pages 163-171

      Automaten auf endlichen Bäumen

    3. No Access

      Book Chapter

      Pages 173-181

      Anwendungen

  5. Unendliche Bäume

    1. Front Matter

      Pages 183-183

    2. No Access

      Book Chapter

      Pages 185-189

      Automaten auf unendlichen Bäumen

    3. No Access

      Book Chapter

      Pages 191-203

      Komplement-Abschluss und Leerheitsproblem

    4. No Access

      Book Chapter

      Pages 205-226

      Logiken auf unendlichen Bäumen

  6. Back Matter

    Pages 227-240