Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit
In dieser Neuauflage des Standardwerks Einführung in
Automatentheorie, Formale Sprachen und Berechenbarkeit vermittelt
das Autorenteam John Hopcroft, Rajeev Motwani und Jeffrey D. Ullman
das Fundament der Theoretischen Informatik. Klar gegliedert und gut
strukturiert präsentiert das Lehrbuch das grundlegende Wissen zu
den Themenbereichen Formale Sprachen, Automaten- und
Komplexitätstheorie sowie Berechenbarkeit einschließlich
Unentscheidbarkeit - unter besonderer Berücksichtigung auch der
praktischen Anwendungen. Viele anschauliche Beispiele,
Illustrationen und ergänzende Erläuterungen erleichtern das
Verstehen dieses für Studierende schwierigen Lehrstoffs.
Umfangreiche Übungsaufgaben am Ende der einzelnen Abschnitte
ermöglichen die unmittelbare Überprüfung des gelernten Stoffes. Die
vielen inhaltlichen Verbesserungen und zusätzlichen Hinweise mit
Anpassung an die hiesige Lehre bilden für die Studierenden eine
ideale Voraussetzung, sich dieses Thema auch im Rahmen des
Selbststudiums anzueignen. Das Buch eignet sich sowohl als
Nachschlagewerk als auch zum Einsatz in der Lehre an Hochschulen
und Universitäten.
AUF DER COMPANION-WEBSITE:
Für Dozenten
Ausgearbeiteter Foliensatz für den Einsatz in der Lehre Für
Studenten
Lösungshinweise zu gekennzeichneten Aufgaben
Prof. Jeffrey D. Ullman, geboren 1942, ist Professor der Informatik (Emeritus). Er lehrte an der Stanford University, Californien, USA, Computerwissenschaften. Sein Interesse gilt v.a. der Datenbanktheorie und Datenbankintegration.
Blick ins Buch "Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit"
Inhaltsangabe
Aus dem Inhalt: Automaten: Die Grundlagen und Methoden Endliche Automaten Reguläre Ausdrücke und Sprachen Eigenschaften regulärer Sprachen Kontextfreie Grammatiken und Sprachen Keller-Automaten Eigenschaften kontextfreier Sprachen Einführung in Turing-Maschinen Unentscheidbarkeit Nicht-handhabbare Probleme Zusätzliche Problemklassen
Sitemap: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20