Peter Bachmann wurde 1942 in Freital, einer kleinen Stadt nahe Dresden, geboren. Dort besuchte er die Gundschule von 1949 bis 1957, anschließend die Erweiterte Oberschule bis zum Erwerb des Abiturs. Erfolgreich nahm er an den Mathematikolympiaden der DDR teil, bei denen er 1961 in Berlin einen ersten
In der Theoretische Informatik wird, hautpsächlich mit mathematischen Methoden und Instrumenten, eine Begründung für viele in der Praxis der Informatik auftretenden Phänomene gegeben. Grob kann man folgende Teilgebiete unterscheiden:
Diese drei Komplexe sind in den universitären Studiengängen zur Informatik meist im Rahmen einer Vorlesung ''Theoretische Informatik'' abgehandelt. Das Buch verfolgt das Anliegen, den Studierenden für diese Vorlesung zusätzlich Material zur Verfügung zu stellen. Es geht primär darum, durch auch verbale Erläuterungen und Beispiele Schwierigkeiten im Verständnis des Vorlesungsstoffes zu beheben. Vertiefende Betrachtungen sind nicht angestrebt. Dadurch wird der Umfang auf eine für das begleitende Studium erträglichen Größe gehalten.
Dabei werden aber die engen Zusammenhänge, die zwischen den einzelnen Gebieten existieren und für das Verständnis wichtig sind gebührend berücksichtigt. Im Buch werden die Beziehungen zwischen Automaten und Sprachen beziehungsweise deren Grammatiken und den Algorithmen besonders betont. Das erfolgt unter Verzicht auf gewisse spezielle Eigenschaften der einzelnen Teilgebiete, zum Beipiel der Komplezität von Algorithmen.
Die der theoretischen Informatik mathematische Vorgehensweise, verbunden mit einer strengen Formalisierung kann auch im Buch nicht umgangen werden. Für ein besseres Verständnis wird aber zum Formalismus der Inhalt informal erläutert. Wo möglich und sinnvoll, werden Beispiele zur Demonstration hinzugezogen. Notwendige mathematische Vorkenntnisse können in einem Anhang nachgeschlagen werden.