Erk / Priese Theoretische Informatik
Erscheinungsjahr 2013
ISBN: 978-3-662-10429-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Eine umfassende Einführung
E-Book, Deutsch, 433 Seiten, Web PDF
Reihe: Springer-Lehrbuch
ISBN: 978-3-662-10429-3
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.
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.