Grundlagen der Theoretischen Informatik
Publisher: Bookboon
Published: 2015
ISBN-13: 9788740311853
Table of contents: title: Inhalt; title: Ein Vorwort; title: Abstrakte Automaten; title: Das allgemeine Modell; title: Endliche Akzeptoren; title: Reguläre Wortmengen; title: Deterministische endliche Akzeptoren; title: Minimisierung reduzierter, totaler deterministischer endlicher Akzeptoren; title: Berechenbarkeit, Entscheidbarkeit und Aufzählbarkeit; title: Intuitive Anforderungen an Algorithmen; title: Programme, Programmgesteuerte Rechenautomaten und berechenbare Funktionen; title: Erweiterung des Standardbefehlssatzes; title: Wohlstrukturierte Programme; title: Entscheidbare und aufzählbare Mengen; title: Rekursionstheorie; title: Partiell-rekursive Funktionen; title: Beziehung zu den berechenbaren Funktionen; title: Mehr über partiell rekursive Funktionen; title: Mehr über aufzählbare und nicht aufzählbare Mengen; title: Grammatiken; title: Typ 0: Der allgemeine Fall; title: Typ 1: Nichtverkürzende und kontextsensitive Grammatiken; title: Typ 2: Kontextfreie Grammatiken; title: Typ 3: Einseitig lineare Grammatiken; title: Noch mehr Automaten; title: Turing-Automaten; title: Linear-Bounded Automaten; title: Push-Down Automaten; title: Finite-State Automaten; title: Weitere Eigenschaften formaler Sprachen; title: Abschlusseigenschaften; title: Entscheidbarkeitseigenschaften