Einführung in Formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie

Prägnante und gut verständliche Einführung in Formale Sprachen, die Berechenbarkeit sowie die Informations- und Lerntheorie.

Die Theoretische Informatik wird an deutschen Universitäten üblicherweise in zwei Blöcken angeboten. Der Autor trägt diesem Umstand Rechnung und bietet in zwei Bänden eine systematische und umfassende Einführung in dieses Themengebiet an. Der vorliegende 2. Band behandelt gut verständlich und anwendungsbezogen die Theorie "einfacher" Automaten und den mit diesen eng verknüpften formalen Sprachen, die theoretische Berechenbarkeit von Funktionen, den Begriff der praktischen Berechenbarkeit, die Theorie der NP-Vollständigkeit wie auch grundlegende Themen der Kryptographie. Zu den größten Herausforderungen unserer Zeit gehört die Erforschung von Information in Bezug auf ihre Generierung, ihre Extraktion und ihre Behandlung. Daher ist der zweite Teil des Buches einer Einführung in die Informations- und Lerntheorie gewidmet. Besprochen wird sowohl die klassische als auch die algorithmische Informationstheorie, die Theorie der Zufallsfolgen und die Inferenzsysteme. Das Buch enthält zahlreiche Übungsaufgaben verschiedener Schwierigkeitsgrade, die bestens geeignet sind, um den Stoff zu vertiefen. Ausführliche Literaturhinweise runden das Buch ab.

Autorentext

Prof. Dr. Norbert Blum lehrt an der Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik, Abteilung Algorithmen und Verteilte Systeme.

Zusammenfassung
"Teil 1-3 sind super, weil in ihnen der tyische der Theorie entrümpelt wird und Herr Blum sich auf Themen konzentriert die jeder Student parat haben sollte." Prof. Dr. H. Vollmer, Universität Hannover "Sowohl klassischer Stoff, wie Automaten, formale Sprachen, Berechenbarkeit, als auch neues, wie Lerntheorie und Seltenes, wie Kolmgorov-Komplexität etc. werden erstklaaig behandelt. Super, erste Sahne!" Peter Widmayer, ETH Zürich "

Inhalt
reguläre Menge, regulärer Ausdruck, endlicher Automat, kontextfreie Grammatik, Kellerautomat, Normalformen und Eigenschaften. rekursive Funktionen, Turingmaschine, Church'sche These, Entscheidbarkeit, Aufzählbarkeit, Random Access Maschine, P, NP, NP-vollständige Probleme, Public-Key Kryptosysteme und Zero-Knowledge Beweise. Entropie, Huffman-Kode, Kolmogorov-Komplexität, Zufallsfolge, induktive Inferenzsysteme, MDL, MML, Ähnlichkeit, Lernen von Konzepten, PAC-Lernbarkeit und Samplekomplexität.