Benutzer-Werkzeuge

Webseiten-Werkzeuge


fach:automaten-sprachen-und-komplexitaet:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
fach:automaten-sprachen-und-komplexitaet:start [2020-01-05 17:04] nexfach:automaten-sprachen-und-komplexitaet:start [2023-01-11 12:07] (aktuell) – +Probeklausur WS15 yelteen
Zeile 1: Zeile 1:
 ====== Automaten, Sprachen und Komplexität ====== ====== Automaten, Sprachen und Komplexität ======
 +
 +Das Fach wird in der PO 2021 nicht mehr angeboten. Stattdessen gibt es "Automaten und formale Sprachen" im 3. FS und "Berechenbarkeit und Komplexität" im 4. FS.
  
 ^ Info                                                                                     ^^ ^ Info                                                                                     ^^
Zeile 8: Zeile 10:
  
   * [[fach:automaten-sprachen-und-komplexitaet:ws1920:start]]   * [[fach:automaten-sprachen-und-komplexitaet:ws1920:start]]
- 
-{{tag>semester:ba03}} 
  
 ===== Info zu Übungen / Bonuspunkte ===== ===== Info zu Übungen / Bonuspunkte =====
Zeile 16: Zeile 16:
 Präsenzaufgaben dienen der Übung und werden mit den Bonusaufgaben in den Übungsstunden besprochen! Präsenzaufgaben dienen der Übung und werden mit den Bonusaufgaben in den Übungsstunden besprochen!
  
 +===== Klausur =====
 +==== WS19/20 ====
 +Die Klausur dauerte 2,5h und umfasste insgesamt 150 Punkte.
 +  * 1/3 der Punkte erzielt man durch das aufschreiben von Definitionen, von der jede 2-6 Punkte Wert ist.
 +  * 1/6 der Punkte bekommt man auf NFA/DFA, die Umwandlung zwischen denen, Minimierung.
 +  * Der Rest bestand aus der Anwendung von Algorithmen.
 +Einige Themen:
 +  * CYK-Algorithmus
 +  * Algorithmus zum Finden von erkennungsäquivalenten Zuständen
 +  * Nichtlösbare Probleme
 +  * Reduktion
 +  * Definition rekusiv aufzählbar
 +  * Definition Loop-Programm
 +  * Definition Myhill-Nerode-Äquivalenz
 +  * Beweis von Nicht-Kontextfreiheit (z.B. mittels Pumping-Lemma für kontextfreie Sprachen)
 +  * Definition PDA
 +  * Erstellung einer Turing-Maschine, um eine Binärzahl zu invertieren und führende Nullen zu entfernen.
 +Bis auf die Definition wurde kein Beweis mittels Pumping-Lemma gefordert.
  
 +Siehe hierzu auch {{ :fach:automaten-sprachen-und-komplexitaet:probeklausurws15.pdf |Probeklausur WS15}}
 +
 +{{tag>semester:ba03}}
fach/automaten-sprachen-und-komplexitaet/start.1578243875.txt.gz · Zuletzt geändert: 2022-03-26 22:59 (Externe Bearbeitung)