ISBN-13: 9783827418241 / Niemiecki / Miękka / 2008 / 190 str.
Dieses in der 5. Auflage vorliegende Standardwerk macht Studierende in kompakter Form mit den wesentlichen Grundzugen der Theoretischen Informatik vertraut. Der erste und grosste Teil behandelt Formale Sprachen, Grammatiken und Automaten. Es schliesst sich die Behandlung der Berechenbarkeitstheorie und der Komplexitatstheorie an. Dem Autor gelingt durch seinen verstandlichen Beweisstil und viele Beispiele eine ubersichtliche und im Detail gut nachvollziehbare Darstellung der Theoretischen Informatik. "