,,Aha, da versucht sich jemand auf dem Gebiet der ehrwürdigen Herren Hopcroft und Ullman``, war mein erster Gedanke zu diesem Buch und sicherlich muß sich jedes Buch auch an den üblichen Standardwerken aus seinem Bereich messen lassen.
Der Inhalt entspricht in etwa der A3 Vorlesung im Grundstudium: von endlichen Automaten bis Turing-Maschinen, die dazugehörigen Sprachen, eine Einführung in die Komplexitätstheorie und im Anhang eine knappe Einführung in die Logik, genauer gesagt, in die Prädikatenlogik der 1. Stufe.
Ein leichtes Grauen kam mir, als ich das Buch zum ersten Mal kurz durchblätterte: Ich erwarte ja nicht, daß jeder LaTeX benutzt, aber ein Satz mit Schreibmaschinenbuchstaben ist doch wirklich nicht mehr zeitgemäß. Es kommt noch hinzu, daß auch sämtliche Sonderzeichen () handschriftlich eingefügt waren, was bei diesem Thema wirklich viel Arbeit bedeutet haben muß. Leider führt dies aber nicht nur dazu, daß die Seiten häßlich aussehen, sondern es macht das Lesen deutlich anstrengender, was auch ein ansonsten gutes Buch durchaus zerstören kann.
Zum eigentlichen Inhalt gibt es nicht viel Besonderes zu sagen. Der Inhalt ist schnörkellos dargebracht, nicht so sehr ausführlich, aber mitunter zum Nachlesen eventuell ganz nett, wenn, ja wenn es da nicht andere Bücher gebe, die mit einem besseren Layout daher kommen.
Fazit: Ich werde weiter zum ,,Hopcroft`` greifen. Wenn man allerdings
den Satz dieses Büchleins noch etwas aufpolieren würde, wäre es sicherlich
eine gute Ergänzung zur üblichen Literatur über die Grundlagen in der
theoretischen Informatik.
Marko
POSTHOFF, SCHULTZ
Grundkurs Theoretische Informatik
219 Seiten, DM 28,-
Teubner 1992
ISBN 3-8154-2036-9