Automatenfolien

Folien zum Kurs „Automatentheorie und ihre Anwendungen“ im WiSe 2018/19(!)

Überblick

• Einführung und Kapitel 1–5 sind auf die Ordner 0–5 aufgeteilt.
• In jedem Ordner finden sich jeweils die Quelldateien.
• PDF-Dateien und eingebundene Bilder sind in Unterordnern img bzw. PDF.

Wegweiser

Pro Foliensatz gibt es 5 Versionen jeder .tex- bzw. .pdf-Datei:

• Aut<n>_handout – für Ausdrucke, ohne Overlays
• Aut<n>_handout_4 – dito, aber mit 4 Seiten pro Blatt
• Aut<n>_slides – für die Präsentation, mit Overlays
• Aut<n>_notes – zur Präsentation gehörige Presenter Notes
• Aut<n>_pres – die letzteren beiden nebeneinander in einem Dokument

Der eigentliche Inhalt steht in Aut<n>.tex bzw. der davon importierten Dateien. Zum Erzeugen der PDFs muss pdflatex mit einer der fünf oben genannten Dateien aufgerufen werden (ggf. bis zu 3 Mal, bis alle Labels und Inhaltsverzeichnisse aktualisiert sind). In Kapiteln 2–5 wird es jeweils LaTeX-Fehlermeldungen geben, weil einige Bilder fehlen, die mit der GPLv3-Lizenz inkompatibel sind (Fehlermeldungen ignorieren oder mich kontaktieren).

Anmerkungen zum Präsentieren

Wenn ein Projektor oder externer Bildschirm an ein Notebook angeschlossen ist, können die Folien auf Projektor/Bildschirm und die Presenter Notes (LaTeX-Befehl \note) auf dem Notebook angezeigt werden. Unter macOS kann man dazu wie folgt vorgehen:

mit Skim

• Öffne Aut<n>_notes.pdf und dann Aut<n>_slides.pdf.
• Gehe zu „View“ –> „Presentation Options“ und stelle unter „Synchronized Notes Document“ die Datei Aut<n>_notes.pdf ein
• Beginne die Präsentation („View“ –> „Presentation“) für Aut<n>_slides.pdf .

Diese Vorgehensweise funktioniert nur, wenn beide Dokumente gleich viele Seiten haben, also muss man akribisch für jeden Frame (auch z. B. Titelseite oder Inhaltsverzeichnis) einen \note-Befehl einfügen, notfalls mit leerem Argument.

Leider verpixelt Skim seit ein paar OS-Versionen jede Transition; das liegt wohl an Apples PDFkit, und eine Lösung ist nicht in Sicht [hier,hier]. Deshalb verwende ich dspdfviewer:

mit dspdfviewer

• Wechsle auf Kommandozeile in den jeweiligen Ordner PDF.
• Rufe dspdfviewer Aut<n>_pres.pdf auf.

Ein Nachteil an der allgemeinen Vorgehensweise mit den Presenter Notes ist, dass mensch für jede Präsentation auf den eigenen Rechner angewiesen ist.