E-Book, Deutsch, 485 Seiten, eBook
Reihe: eXamen.press
Erk / Priese Theoretische Informatik
3. Auflage 2008
ISBN: 978-3-540-76320-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Eine umfassende Einführung
E-Book, Deutsch, 485 Seiten, eBook
Reihe: eXamen.press
ISBN: 978-3-540-76320-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
Begriffe und Notationen.- Begriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Eine kurze Einführung in die Aussagenlogik.- Formale Sprachen.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen und .- Abschlußeigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.