Ich habe das autotool für ein paar Tage abgeschaltet,
es muß sich erstmal ausruhen.
(Es hatte insgesamt 1658 Einsendungen zu korrigieren.)
Sie können weiterhin die
Quelltexte mitnehmen und zuhause selbst installieren.
Für die Zukunft suche ich studentische Hilfskräfte,
die das autotool pflegen und erweitern.
Das dritte Testat (Themen: Pumping-Lemma,
Kellerautomaten, Turingmaschine)
schreiben Sie am Dienstag, dem 30. Januar, von 7:30 bis 9:00 im Hörsaal 13.
(Wer verhindert ist, teilt mir das bitte sofort - mit Beweis - mit.)
Im Theorie-Seminar am Dienstag, dem 23. Januar,
spricht Herr Dr. Rolf Hartwig über Hypermengen und Selbstreferenz.
Der Vortrag beginnt um 15 Uhr ct im Raum 4-40 (Hauptgebäude).
Im Kolloquium des Graduiertenkollegs spricht am Mittwoch,
dem 24. Januar, Herr Prof. Dr. Bernhard Nebel aus Freiburg
über seine Roboter-Fußball-Mannschaft.
Der Vortrag mit dem Titel
Kooperatives Wahrnehmen und Handeln beginnt um 17 Uhr
im Raum 3-67/68 (Seminargebäude).
Am Freitag, dem 12. Januar, spricht Prof. Ingo Althöfer (Uni Jena)
im Bereichsseminar Theoretische Informatik über
Multiple-Choice-Algorithmen für Systeme zur Entscheidungs-Unterstützung,
insbesondere das Drei-Hirn und seine Anwendungen bei Schach und Go.
(von 11.15 bis 12.45 im Hörsaal 22). Go lernen und spielen kann man übrigens
jeden Donnerstag 18 - 20 Uhr im Hochschulsport.
Die Preisverleihung für die Aufgaben 42a, 42b, 42c
geschieht in der Vorlesung am 5. Januar.
Die kürzesten Grammatiken haben
14 Regeln für Aufgabe 42a,
5 Regeln für Aufgabe 42b,
10 Regeln für Aufgabe 42c.
Wir können die Einsendungen (und weiterführende Fragen
zu Wortersetzungssysteme) in einem Zusatz-Seminar diskutieren.
Siehe auch einige Bemerkungen
hier.
Der ins Auge gefaßte Termin (9. Januar 15 Uhr) paßt nun doch nicht,
weil zu der Zeit ein
Kolloquium stattfindet. Schlagen Sie etwas anderes vor!
Am Dienstag, dem 19. Dezember, spricht Dr. Thomas Noll (TU Berlin) über
Mathematische Musiktheorie (Felix-Klein-Hörsaal, 15 Uhr c.t.).
Das zweite Testat schreiben Sie am Montag, dem 18. Dezember,
von 9:15 - 10:45 im Hörsaal 19.
Wer wegen schriftlich belegbarer Gründe
(z. B. eingeschriebener Besuch einer anderen Lehrveranstaltung)
verhindert ist, teilt mir das bitte umgehend per mail mit,
und schlägt einen Ersatztermin (möglichst am gleichen Tag
zwischen 11 und 15 Uhr) vor.
Zur Vorbereitung des Testats nutzen Sie bitte die automatische Korrektur
zu den Aufgaben zu kontextfreien Grammatiken und Sprachen
von Übungsblättern 3 und 4.
Am Mittwoch, dem 13. Dezember, ist
Weihnachten.
Das erste Testat ist korrigiert, Sie können die Blätter ab Montag
(11. 12.) bei mir abholen. Die Punkte aus allen drei Testaten
werden addiert; wenn Sie mehr als 50 Prozent erreicht haben,
bekommen Sie einen Schein.
Am Montag, dem 11. Dezember, biete ich eine Zusatz-Veranstaltung zum Thema
Typ-3- und Typ-2-Sprachen im wirklichen Programmiererleben.
(von 13:15 - 14:45, wahrscheinlich Hauptgebäude Raum 3-68).
Ich zeige darin die Benutzung des Scanner-Generators flex
und des Parser-Generators bison. Siehe dazu auch
Quelltexte.
Um das zu verstehen, benötigen Sie Programmierkenntnisse in C.
(Nur so aus Spaß. Diese Programmier-Anwendungen sind nicht Prüfungsgegenstand.
Diese Veranstaltung ist keine Extra-Übung zum Testat!)
Sie können Übungsaufgaben zu Grammatiken maschinell korrigieren lassen.
Probieren Sie es aus.
Für die Zukunft suche ich Haskell-Programmierer,
die das Korrektur-Tool warten und erweitern.
Formale Sprachen jetzt noch nutzerfreundlicher!
Hier gibt es Antworten auf einige gefragte Fragen.
Es gibt eine Denkaufgabe
zur Automaten-Synthese.
http://www.informatik.uni-leipzig.de/~joe/
mailto:joe@informatik.uni-leipzig.de