Bücher von Heinrich Becker

Deutschland ist im wahrsten Sinne "steinreich"! In der Landschaft, im Gebirge, auf Wegen, an Flussufern oder in Gebäuden: Überall stoßen wir auf Steine! Dieses nun in der zweiten Auflage vorliegende Buch stellt die in Deutschland anzutreffenden Gesteinsformen detailliert vor, beschreibt deren Entstehung und führt zu den typischen Fundstellen. Ein zentraler Teil des Werkes widmet sich der Bestimmung von Gesteinen, für die der Verfasser, ein erfahrener Geologe, besondere Techniken und einen eigens dafür entwickelten Bestimmungsschlüssel bereithält. Dieses hervorragend illustrierte Praxisbuch ist für jeden, der sich beruflich oder aus persönlichem Interesse mit Steinen beschäftigt, ein wertvoller und zugleich inspirierender Begleiter bei Exkursionen oder Wanderungen. Die 2. Auflage wurde überarbeitet und ergänzt.

Der Inhalt dieses Buches gehort zum mittlerweile festen Reper­ toire des theoretischen Teils der Informatik. Den Schwerpunkt der angestellten Untersuchungen bilden die kontextfreien Sprachen, deren An~endungen bei weitem die interessantesten sind. Die Theorie w~rd in "klassischen Bahnen" entwickelt, urn eine breite Darstellung der spezifischen Beweismethoden zu er­ moglichen, da diese ja haufig auch schon Losungsalgorithmen fur die zentralen Problemstellungen implizieren. Dadurch ist der Charakter einer Einfuhrung weitgehend gewahrt. Wir hoffen, daE so einerseits dem theoretisch Interessierten ein Zugang zu den formalen Sprachen eroffnet und somit auch der Einstieg in die neuere Theorie auf diesem Gebiet ermoglicht wird, daE anderer­ seits derjenige, der formale Sprachen weitgehend fur verschie­ dene Probleme der Programmierung, insbesondere fur den Ober­ setzerbau verwendet, einen Oberblick uber die sprachtheoreti­ schen Hilfsmittel gewinnt. Dieser Zielsetzung dienen auch die im AnschluE an die einzelnen Kapitel aufgefuhrten Aufgaben. Unter diesen befinden sich daher solche, die weiterfuhrenden Problemstellungen gewidmet sind, wie auch solche, die die innerhalb des Textes vermittelten Ge­ dankengange vertiefen sollen. Die Angabe von Losungen solI nach unserer Vorstellung den Leser in die Lage versetzen, sein Ver­ standnis des Textes selbst zu kontrollieren. Wir glauben, daE einfuhrende Bucher stets diese Moglichkeit offenhalten sollten. Auf ein umfangreiches Literaturverzeichnis haben wir verzichtet, da uber die zitierten Bucher leicht der AnschluE an neuere Ent­ wicklungen in der Theorie der formalen Sprachen hergestellt werden kann. Bei der Losung der Aufgaben haben wir groEe Unterstutzung seitens Frau Dr. B. Schinzel, Dipl. -Math. W. Kern, Dipl. -Math.