E-Book, Deutsch, 267 Seiten, eBook
Reihe: XLeitfäden der Informatik
Stucky / Herschel Automaten Sprachen Berechenbarkeit
2., durchgesehene Auflage 1995
ISBN: 978-3-322-84873-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Grundkurs Angewandte Informatik IV
E-Book, Deutsch, 267 Seiten, eBook
Reihe: XLeitfäden der Informatik
ISBN: 978-3-322-84873-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Professional/practitioner
Weitere Infos & Material
1 Mathematische Grundlagen.- 1.1 Mengen und Relationen.- 1.2 Funktionen und Verknüpfungen.- 1.3 Halbgruppen und Monoide.- 2 Automaten.- 2.1 Endliche Automaten.- 2.1.1 Beispiele für endliche Automaten.- 2.1.2 Endliche Automaten ohne Ausgabe.- 2.1.3 Endliche Automaten mit Ausgabe.- 2.1.4 Äquivalenz und Minimierung endlicher Automaten.- 2.1.5 Nichtdeterministische endliche Automaten.- 2.2 Kellerautomaten.- 3 Formale Sprachen.- 3.1 Klassifizierung und Übersicht.- 3.2 Reguläre Sprachen.- 3.3 Semi-Thue-Systeme und Chomsky-Grammatiken.- 3.3.1 Semi-Thue-Systeme.- 3.3.2 Die Chomsky-Hierarchie.- 3.3.3 Typ-3-Sprachen (reguläre Sprachen).- 3.3.4 Typ-2-Sprachen (kontextfreie Sprachen).- 3.3.5 Typ-1-Sprachen (kontextsensitive Sprachen).- 3.3.6 Typ-0-Sprachen (allgemeine Sprachen).- 4 Turing-Maschinen, Algorithmen und berechenbare Funktionen.- 4.1 Algorithmen, Berechenbarkeit und Entscheidbarkeit im intuitiven Sinne.- 4.2 Turing-Maschinen.- 4.2.1 Das Maschinenmodell.- 4.2.2 Turing-Maschinen als Akzeptoren.- 4.2.3 Turing-Berechenbarkeit und -Entscheidbarkeit.- 4.2.4 Die Simulation von Turing-Maschinen und das Halteproblem.- 4.2.5 Turing-Maschinen mit linearer Bandbeschränkung.- 4.3 Berechenbare Funktionen.- 4.3.1 Primitiv rekursive Funktionen.- 4.3.2 µ-rekursive Funktionen.- 4.4 Sprachklassen und Automaten im Überblick.- 4.4.1 Entscheidbare Sprachen.- 4.4.2 Überblick.- Lösungen.
