Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen (Springer-Lehrbuch)

by Gerhard Goos

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

296 pages, Paperback

First published August 14, 1997

Reviews

[Woflmao · Rating 3 out of 5]

If this book had ever made it to a second or third edition, I might have become a magnificent textbook. It covers the theory of computability, complexity and languages in great depth while being very concise at the same time. That does not necessarily make it very beginner-friendly, but there is a wealth of information to be discovered here rarely found in other introductory textbooks. Unfortunately, the book suffers from a very poor didactic presentation, and even more from the tons of mistakes in it. These range from little typos to outright non-sensical definitions that make it impossible to follow some of the rather intricate proofs. A very common confusion is variable names changing throughout the proof, or one and the same variable being used to denote different things in the same context. The very important hull construction for languages suffers from being given in a self-contradictory definition. The explanation of LR(k) and LL(k) parsers suffers greatly from the lack of explanations for the statements made, it feels like wading through a tar pit of confusion. On the other hand, it is a great thing to have an in-depth discussion of these topics in the first place - it is certainly not standard. An additional interesting part of the book explains how to transform recursive functions into iterative one (not just tail recursive ones), though again, the reader is expected to fill in a lot of gaps here.