UE: Theoretische Informatik
	Prof. Dr. T. Schwentick
UE 12051	Elko Jacobs
Termine der Übungen:	Die Zuordnung in die einzelnen Übungsgruppen soll am Freitag (23.4.) in der Vorlesung erfolgen. Mo 14-16 Uhr, Elko Jacobs, jacobs@ , Lahnberge LE HS II (Ebene 3) , Mo 16-18 Uhr, Mario Vöhl, voehl@ , Lahnberge LE HS II (Ebene 3) , Di 14-16 Uhr, Amelie Rosset, rosset@ , Lahnberge LE SR V (Ebene D5) , Di 14-16 Uhr, Philipp Imhof, imhof@ , Lahnberge LE Raum 4604 (Ebene D4, in der Ecke bei HS IV) , Di 16-18 Uhr, G. Kasneci, gkasneci@hotmail.com , Lahnberge LE HS II (Ebene 3) , (email jeweils informatik.uni-marburg.de, wenn nicht anders angegeben) -->
VL Theoretische Informatik - Skript:	auf der Veranstaltungsseite von Prof. Schwentick.

Übungsablauf:	Ausgabe der Übungszettel Mittwoch in der Vorlesung Abgabe Freitag in der darauffolgenden Woche in der Vorlesungspause, Rückgabe erfolgt in den Übungsgruppen Nicht kommentierte Lösungen ergeben 0 Punkte (selbst wenn alles richtig ist)
Übungsblatt 0 (PS)	- Muendliche Aufgaben fuer das erste Tutorium
Übungsblatt 1 (PS)	.
Übungsblatt 2 (PS)	.
Übungsblatt 3 (PS)	Seite mit Infos zu Powerforms
Übungsblatt 4 (PS)	.
Übungsblatt 5 (PS)	.
Übungsblatt 6 (PS)	Aufgabe 2: Fehler in der Aufgabestellung! Bitte streichen Sie den Text "durch Induktion über die Länge der Ableitung". Compilerbau, Uni Konstanz (dt.) , Lex-Yacc-Page (engl.) , einige Infos zu Lex (dt.)
Übungsblatt 7 (PS)	.
Übungsblatt 8 (PS)	.
Übungsblatt 9 (PS)	.
Übungsblatt 10 (PS)	Aufgabe 3, Turing-Maschine: Diese Aufgabe wird auf das naechste Blatt verschoben. Die Mindespunkte fuer dieses Blatt sind 7 von 14.
Übungsblatt 11 (PS)	.
Wiederholungsblatt (PS)	A C H T U N G: K L A U S U R T E R M I N Die Abschlussklausur findet am Freitag, den 23. Juli, in der Vorlesung von 9.00 bis 11.00 Uhr statt!