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 sowie grundlegende Themen der Kryptographie. Zu den grössten 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.