Theoretische Informatik

Eine umfassende Einführung

Authors:

ISBN: 978-3-540-76319-2 (Print) 978-3-540-76320-8 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages I-XV

  2. Einleitung

    1. No Access

      Book Chapter

      Pages 1-1

      Einleitung

  3. Begriffe und Notationen

    1. No Access

      Book Chapter

      Pages 3-34

      Begriffe und Notationen

  4. Eine kurze Einführung in die Aussagenlogik

    1. No Access

      Book Chapter

      Pages 35-49

      Eine kurze Einführung in die Aussagenlogik

  5. Formale Sprachen

    1. Front Matter

      Pages 51-51

    2. No Access

      Book Chapter

      Pages 53-61

      Grammatiken und formale Sprachen

    3. No Access

      Book Chapter

      Pages 63-107

      Reguläre Sprachen und endliche Automaten

    4. No Access

      Book Chapter

      Pages 109-163

      Kontextfreie Sprachen

    5. No Access

      Book Chapter

      Pages 165-193

      Turing-Maschinen

    6. No Access

      Book Chapter

      Pages 195-214

      Die Sprachklassen \( \mathcal{L},\mathcal{L}_0 \) und \( \mathcal{L}_1 \)

    7. No Access

      Book Chapter

      Pages 215-223

      Abschlußeigenschaften von Sprachklassen

  6. Berechenbarkeit

    1. Front Matter

      Pages 225-225

    2. No Access

      Book Chapter

      Pages 227-231

      Einleitung

    3. No Access

      Book Chapter

      Pages 233-251

      Registermaschinen

    4. No Access

      Book Chapter

      Pages 253-289

      Rekursive Funktionen

    5. No Access

      Book Chapter

      Pages 291-325

      Unentscheidbare Probleme

    6. No Access

      Book Chapter

      Pages 327-437

      Alternative Berechnungsmodelle

    7. No Access

      Book Chapter

      Pages 439-472

      Komplexität

  7. Back Matter

    Pages 473-485