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.