Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit
Seiten
2011
|
3., aktualisierte Auflage
Pearson Studium ein Imprint von Pearson Benelux B.V. (Verlag)
978-3-86894-082-4 (ISBN)
Pearson Studium ein Imprint von Pearson Benelux B.V. (Verlag)
978-3-86894-082-4 (ISBN)
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.
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.
AIS DEM INHALT:
John E. Hopcroft wirkt als IBM Professor of Engineering and Applied Mathematics am Department of Computer Science, Cornell University. Rajeev Motwani war Professor am Department of Computer Science der Stanford University. Jeffrey D. Ullman ist dort als Stanford W. Ascherman Professor of Computer Science (Emeritus).
ÜBER DEN FACHLEKTOR:
Walter Hower erhielt den Lehrpreis 2006 des Landes Baden-Württemberg und lehrt dort als Professor Informatikgrundlagen wie Theoretische Informatik, Algorithmik und Diskrete Mathematik. Er fungiert ehrenamtlich als Vertrauensdozent der Gesellschaft für Informatik sowie als MINT-Botschafter.
AUF DER COMPANION-WEBSITE:
Für Dozenten
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.
AIS 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
John E. Hopcroft wirkt als IBM Professor of Engineering and Applied Mathematics am Department of Computer Science, Cornell University. Rajeev Motwani war Professor am Department of Computer Science der Stanford University. Jeffrey D. Ullman ist dort als Stanford W. Ascherman Professor of Computer Science (Emeritus).
ÜBER DEN FACHLEKTOR:
Walter Hower erhielt den Lehrpreis 2006 des Landes Baden-Württemberg und lehrt dort als Professor Informatikgrundlagen wie Theoretische Informatik, Algorithmik und Diskrete Mathematik. Er fungiert ehrenamtlich als Vertrauensdozent der Gesellschaft für Informatik sowie als MINT-Botschafter.
AUF DER COMPANION-WEBSITE:
Für Dozenten
- Ausgearbeiteter Foliensatz für den Einsatz in der Lehre
- 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.
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
| Erscheint lt. Verlag | 1.3.2011 |
|---|---|
| Reihe/Serie | Pearson Studium - IT |
| Verlagsort | Munich |
| Sprache | deutsch |
| Maße | 178 x 242 mm |
| Gewicht | 1110 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Automatentheorie • Berechenbarkeit • formal • formale Sprachen • Informatik • Komplexitätstheorie • Sprache • Theoretisch • Turing-Maschinen • Unentscheidbarkeit |
| ISBN-10 | 3-86894-082-0 / 3868940820 |
| ISBN-13 | 978-3-86894-082-4 / 9783868940824 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
