E-Book, Deutsch, 467 Seiten, Web PDF
Reihe: Springer-Lehrbuch
Erk / Priese Theoretische Informatik
2. Auflage 2002
ISBN: 978-3-662-10428-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Eine umfassende Einführung
E-Book, Deutsch, 467 Seiten, Web PDF
Reihe: Springer-Lehrbuch
ISBN: 978-3-662-10428-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.
Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt.
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
1. Einleitung.- 2. Begriffe und Notationen.- 3. Eine kurze Einführung in die Aussagenlogik.- I. Formale Sprachen.- 4. Grammatiken und formale Sprachen.- 5. Reguläre Sprachen und endliche Automaten.- 6. Kontextfreie Sprachen.- 7. Turing-Maschinen.- 8. Die Sprachklassen ?, ?0 und ?1.- 9. Abschlußeigenschaften von Sprachklassen.- II. Berechenbarkeit.- 10. Einleitung.- 11. Registermaschinen.- 12. Rekursive Funktionen.- 13. Unentscheidbare Probleme.- 14. Alternative Berechnungsmodelle.- 15. Komplexität.- Bibliographische Hinweise.