News

  • Sonntag, 23.12.2007, 13:39 h: unten finden sich jetzt auch Links zu den Blätter zum WS0607, die in diesem Semester thematisch im Tutorium nicht mehr behandelt wurden.
  • Freitag, 21.12.2007, 02:35 h: Das Blatt zu den Automaten hatte in der Übergangstabelle in Aufgabe 5 erhebliche Fehler - dadurch auch in den dazugehörighen Graphen. Die Fehler sind nun korrigiert in der Version 5 des Blatts. Danke an Daniel Tunjic!
  • Donnerstag, 20.12.2007, 01:35 h: Das Blatt über die regulären Ausdrücke ist online (s. u.). Wie am Ende der Übungsstunde gestern ausgemacht, werden wir beim letzten Termin neben den regulären Ausdrücken auch noch die Turingmaschinen behandeln.
  • Montag, 17.12.2007, 14:51 h: Die restlichen Räume stehen fest.
  • Donnerstag, 13.12.2007, 22:30 h: Die heute behandelten Blätter wurden aktualisiert. Der nächste Termin ist wie vereinbart am Mittwoch nächste Woche. Und der Termin für die Prüfung steht inzwischen fest.
  • Donnerstag, 13.12.2007, 09:21 h: Die Raumnummer für den ersten Termin ist 1/225.
  • Mittwoch, 12.12.2007, 18:08 h
    Am Do. 20.12.2007 findet offensichtlich eine Klausur statt. Daher verschiebt sich dieser Termin - wahrscheinlich auf den 4. Block am Dienstag oder Mittwoch in derselben Woche.
  • Mittwoch, 12.12.2007, 17:08 h
    Leider noch keine News bezüglich einem Raum... Morgen früh werde ich mich intensiv darum kümmern und den Treffpunkt hier zeitnah bekanntgeben.
nach oben

Termine

  • Donnerstag, 13.12.2007, 15:45 h bis 17:15 h, Raum-Nr. 1/225,
    Themen: Tutorium Start, Konstruktion von endlichen Automaten, Questions & Answers
  • Mittwoch, 19.12.2007, 14:00 h bis 15:30 h, Raum-Nr. 1/319,
    Themen: Sprachenumformung nach CNF, CYK-Algorithmus, Questions & Answers
  • Donnerstag, 10.01.2008, 15:45 h bis 17:15 h, Raum-Nr. 1/224,
    Themen: reguläre Ausdrücke, Turing Maschinen, Questions & Answers
  • Mittwoch, 16.01.2008, 08:30 h bis 10:30 h, Raum 1/211, ThI-Prüfung
nach oben

Links

Essentielle Sachen - im Rahmen der Vorlesung unbedingt verwenden
  • Alte Prüfungen und Lösungsvorschläge zu "Theoretische Informatik" auf der Homepage der Fachschaft VIM
  • Exorciser
    Dort unter "Download" die Jar-Bibliothek runterladen;
    zum Starten eigeben: "java -jar Exorciser_3.10_Zoe__de_.jar"
    Die meisten der Aufgaben zu "Reguläre Sprachen" und "Kontextfreie Sprachen" sollten wir eigentlich lösen können.
  • NFA in DFA umwandeln - eine weitere Beschreibung, wie man durch Potenzmengenkonstruktion einen nichtdeterministischen endlichen Automat in einen deterministischen umwandelt.
  • RegEx Coach - Tool zur Verifikation von Regulären Ausdrücken unter Eingabe von Testwörtern.
  • Die alte ThInf-Tutorium Seite - die ganzen Sachen aus dem Wintersemester 06/07 mit Themen für die im WS07/08-Tutorium leider keine Zeit ist: die 2 Pumping Lemmas, Kellerautomaten, Abschlusseigenschaften von Sprachen, NP-Probleme
Nice to have - wenn noch Zeit übrig bleibt
  • AtoCC - ein nettes Tool zur Simulation von Automaten: es kann u. a. NFA/DFA, (N/D)PDA und TM
  • ein Turing Maschinen Simulator
    Die Syntax dieses Applets ist recht einfach gehalten, so dass man sich gut auf die eigentliche Aufgabenstellung konzentrieren kann. Versuche zum Beispiel in dem Simulator diese TM zu schreiben:
    • auf dem Eingabeband steht eine beliebige binäre Zahl (evtl. auch die leere Eingabe erlaubt)
    • die TM addiert 1 zu der Eingabe hinzu
    • teste Deine TM mit den Wörtern "101", "01" und "111"
  • Sammlung mit Aufgaben zum Selbsttest zur Theoretischen Informatik von der RWTH Aachen.
nach oben

Downloads

nach oben

Kontakt

nach oben

last update 2007-12-21
visitors since dec 07: Counter

Impressum und Datenschutzerklärung