Formale Sprachen, SS 97 und WS 97

---

Miroslaw Kutylowski

---

Begleitmaterial zur Vorlesung

• Übungsblätter
• Mitschrift
• Klausurergebnisse, 9.12.97

Sprechstunden: nach Vereinbarung,

Scheinerwerb: schriftliche Klausur am 9 Dezember 1997, 16:00-17:30, D1

Prüfungsgebiet: H II, ThI,
Achtung: ab 1.1.98 wegen Umzug nach Breslau sind Diplomprüfungen bei M.Kutylowski nur beschränkt möglich

Vorkenntnise: Theoretische Informatik aus dem Grundstudium.
Es wird vorausgesetzt, daß die Teilnehmer das Material der Vorlesung von Prof. Meyer auf der Heide aus dem SS96 kennen. Falls jemand Theoretische Informatik schon früher gehört hat, besteht immer die Möglichkeit, den entsprechenden Stoff aus dem Skript von Herrn Meyer auf der Heide nachzulesen. Es gibt nur um kleine Differenzen zwischen veschiedenen Theo-Inf-Vorlesungen, die keine Hürde darstellen.

Termine:

• die Vorlesung hat am 3.6.97 anfangen und wird im SS bis 4 Juli dauern
• im WS wird die Vorlesung fortgesetzt, im Dezember wird sie enden
• im SS:
  • Vorlesung Di 16-17:30 C2, Do 16-17:30 C2
  • Übungen Di 9:15-10:45 und 11:15-12:45 J2.130 Markus Röttger
    (nur 2 Gruppen)
  • die erste Übung am 9.6.97
• im WS:
  • Vorlesung: Di 16-18 D1, Do 14-16 D1
  • Übungen (Markus Röttger): Do 11:15-12:45 E2.304
    die erste Übungen im Wintersemester am 23.10
    
• unmittelbar nach Vorlesungsende findet eine Scheinklausur statt

Vorläufiges Inhaltsübersicht:

• deterministische kontextfreie Sprachen
• Parsing

Literatur:

• Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie,
  (Introduction to automata theory, languages and computation)
  John E. Hopcroft ; Jeffrey D. Ullman.
  ISBN 3-89319-744-3, Signatur 41TXL1387 (im Semesterapparat), 60TXL1874 (Fürstenallee)
• The theory of parsing, translation and compiling ,
  Alfred V. Aho ; Jeffrey D. Ullman; Englewood Cliffs.
  Prentice-Hall, Signatur 41TWS1150 (im Semesterapparat)
• Parsing theory,
  Seppo Sippu ; Eljas Soisalon-Soininen.
  Springer (EATCS monographs on theoretical computer science), Signatur 41TVH2018 (im Semesterapparat), 60TVH2288 (Fürstenallee)
• die alte Mitschrift zur Vorlesung Formale Sprachen SS94 kann mitbenutzt werden, obwohl die Vorlesung SS97 technisch anders organisiert wird.