 Grundlagen der Künstlichen Intelligenz (4V+2Ü) (B,C) [B4]
Di, Do 11-13, HS A207 (PD Dr. V. Steinhage)
Übungen: Di, Do, 17-19 (alternativ) (Dr. Dirk Schulz)
 Bildverarbeitung und Computer Vision I (4V+2Ü) (B,C) [B4]
Di, Do 9-11, HS A207 (Prof. Dr. Daniel Cremers)
Übungen: Mi 9-11, HS A207 (Prof. Dr. Daniel Cremers, Dr. Thomas Brox)
|
Vorlesung (Hauptstudium)
Übersetzerbau
HD Dr. Ralf Hinze
Die Vorlesung Übersetzerbau erzählt eine der Erfolgsgeschichten der Informatik: Von der automatischen Übersetzung maschinenunabhängiger Programme (`high-level') in maschinenausführbare Programme (`low-level'). Vor 50 Jahren war man der Überzeugung, dass eine Automatisierung des Übersetzungsprozesses nicht möglich ist. Heute ist dies (selbstverständliche) Realität.
Zwar werden die wenigsten jemals einen Übersetzer für eine ausgewachsene Programmiersprache wie C, Java, Haskell oder Prolog schreiben, dennoch sind viele Teilgebiete des Übersetzerbaus unmittelbar für die Berufspraxis relevant: a) Syntaxanalyse: Eingabevalidierung, Lesen von Konfigurationsdateien etc; b) viele Probleme sind der Natur nach Übersetzungsprobleme; c) Entwurf und Implementierung sogenannter anwendungsspezischer Sprachen (`domain-specific languages'): wie z.B. Skriptsprachen, Web-Sprachen, Schaltkreisentwurf, Robotersteuerung, Bildbeschreibungssprachen etc.
Darüber hinaus sind Übersetzer a) Paradebeispiele für gut durchdachten Softwareentwurf ("Wer einen Compiler schreiben kann, kann jedes Programm schreiben."); b) Paradebeispiele für den erfolgreichen Einsatz formaler Methoden ("In der Informatik gibt es keine Theorie.").
| Zeit, Ort | Mo 11-13, Do 13-15, HS A207 |
| Semesterwochenstunden | 4V + 2Ü |
| Beginn | Vorlesung: 20.10.2005, Übungen: 24.10.2005 |
| Übungen | Mo 13-15, HS A207 (HD Dr. Ralf Hinze) |
| Bereich (alte DPO) | B,C |
| Bereich (neue DPO) | B |
| Prüfungsmöglichkeiten | Alte DPO: B und C. Im Prinzip beliebig mit anderen Vorlesungen (IS, SWT) der Informatik III kombinierbar; konkrete Kombinationen in Absprache mit dem Dozenten.
Neu DPO: B. |
| Literatur | `dragon book': Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman: "Compilers - Principles, Techniques, and Tools", Addison-Wesley, 1986.
`tiger book': Andrew Appel: "Modern Compiler Implementation in ML/Java/C++", Addison-Wesley, 1998. |
| Informationen im WWW | http://www.informatik.uni-bonn.de/~ralf/CC.html |
|
Übersicht: alle Semester