Einführung in Formale Sprachen, Berechenbarkeit, 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.

"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"