• Formale Sprachen und Berechenbarke...

    Aktionen

    Fakultät für Philosophie und Geschichte

    Formale Sprachen und Berechenbarkeit (Informatik III)


    Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister]

    27.01.10, 16:31 Uhr
    Inhalt 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 Literatur

    Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister] .pdf
    0,82 MB
    Userbild von max3000
    max3000
    41

    Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister]



    herunterladen ZUM DOWNLOAD
    für Download neu anmelden für Download einloggen
    Uniturm.de ist für Studierende völlig kostenlos! Melde dich jetzt kostenfrei an.


    1.32 bei 22 Bewertungen

    1
    15 (68%)
    2
    7 (31%)
    3
    0 (0%)
    4
    0 (0%)
    5
    0 (0%)
    6
    0 (0%)
  • Bewertung

    Userbild von kingsven149
    kingsven149
    1
    Userbild von hkn27
    hkn27
    1
    Userbild von GabiVonber
    gabivonber
    2
    Userbild von aleph.miciah
    aleph.miciah
    2
    Userbild von annowagner
    annowagner
    1
  • Passende Stellenanzeigen