FMI01 – Formale Methoden der Informatik

Dieses Modul ist das Highlight für einen jeden WI-AKAD Studenten! Selten habe ich das Heft aufgeschlagen und beim ersten Überflug weniger verstanden. Also das einzig Richtige getan, Heft zugeschlagen…

Also alle Hoffnung auf das Seminar bei Dr. Valkema welches zu meiner Freude doch einiges an Erleuchtung, vor allem in Bezug auf die ersten beiden Hefte, gebracht hat. Ein Seminartag war natürlich nicht ausreichend um alle Themen zu bearbeiten. So haben wir knapp 90% des Tages mit DEA, NEA und formalen Sprachen verbracht. Die restlichen 10% gingen an ausgewählte Themen aus dem dritten Heft, speziell Sortieren und Bäume im Super-Schnelldurchlauf.

Zwar hat der Dozent die Themen nicht wirklich eingegrenzt, aufgrund des einen oder anderen Hinweises sowie der behandelten Stoffgebiete waren die Klausurschwerpunkte aber klar. Ich habe mich in den anschliessenden drei Wochen auf deterministische und nichtdeterministische Automatenmodelle inkl. Minimierung und Überführung von NEA zu DEA, Kellerautomat, Suchbäume und Sortieralgorithmen konzentriert.

Die Klausur war dann thematisch auch keine Überraschung, allerdings sei erwähnt, dass mal wieder die Zeit recht knapp war. Überraschend war hingegen der sehr hohe Anteil von Code (JAVA, C++ oder Pseudocode standen zur Auswahl), was ich persönlich nicht erwartet habe.

Die Struktur der Klausur war folgende
Detail – DEA (Zustandsdiagramme und Automatentafeln), NEA zu DEA, Kellerautomat
Komplex 1 – Grammatik
Komplex 2 – Suchbaum (u.a. Algorithmus für Blattlöschung aller drei Fälle coden)
Komplex 3 – Sortieralgorithmen (u.a. Quicksort coden)

Nun bin ich froh dieses Modul hinter mir zu haben und wünsche allen die es vor sich haben viel Erfolg!

Studienbriefe:

• FMI101 – Automaten und formale Sprachen
• FMI102 – Automaten und formale Sprachen
• FMI103 – Algorithmen und Datenstrukturen

Credits: 4,0
Durchfallsquote 2009: 21%
Durchfallsquote 2011: 21%

Zeitaufwand: hoch
Schwierigkeit: sehr hoch

Tipps: Kurz nach den Programmiermodulen CPP01 und JAV01 belegen, so hat man weniger Schwierigkeiten bei den “Programmier-Fragen”.