Formale Sprachen und Berechenbarke...
Aktionen
Fakultät für Philosophie und GeschichteFormale Sprachen und Berechenbarkeit (Informatik III)
Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister]
27.01.10, 16:31 UhrInhalt Teil I: Formale Sprachen 1 Grundlagen 2 Endliche Automaten 3 Reguläre Sprachen und reguläre Ausdrücke 4 Reguläre Grammatiken 5 Kontextfreie Sprachen 6 Kellerautomaten 7 Eigenschaften kontextfreier Sprachen 8 Spezielle Entscheidungsalgorithmen für kontextfreie Sprachen 9 Die Chomsky-Hierarchie Teil II: Berechenbarkeit 10 Turing-Maschinen 11 Turing-Aufzählbarkeit, -Akzeptierbarkeit, -Berechenbarkeit, -Entscheidbarkeit 12 Primitiv rekursive und partiell rekursive Funktionen 13 Turing Maschinen und partiell rekursive Funktionen 14 LOOP- und WHILE-Programme 15 Aufzählbarkeit 16 Unentscheidbarkeit LiteraturFormale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister] .pdf0,82 MB
max3000411.32 bei 22 Bewertungen115 (68%)27 (31%)30 (0%)40 (0%)50 (0%)60 (0%)-
Bewertung
kingsven149
1 hkn27
1 gabivonber
2 aleph.miciah
2 annowagner
1 -
Passende Stellenanzeigen


