Seminar nominale Mengen und Automate (NomAut)5 ECTS
(englische Bezeichnung: Nominal Sets and Automata (Seminar))

Lehrveranstaltungen:

• • Seminar nominale Mengen und Automaten
    (Seminar, 2 SWS, Lutz Schröder, Do, 16:15 - 17:45, 00.131-128)

Empfohlene Voraussetzungen:

Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:

Berechenbarkeit und Formale Sprachen (WS 2018/2019)
Theorie der Programmierung (SS 2018)

Inhalt:

• Mengen, Atome und Symmetrien

• Nominale Mengen

• Automaten über unendlichen Alphabeten und Datenalphabeten

• Registerautomaten

• Nominale Automaten

• Nominale Ausdruckskalküle

• Temporallogik mit Freeze-Quantoren

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Die Studierenden geben grundlegende Definitionen und Resultate zu nominalen Mengen, Datensprachen und nominalen Automaten wieder.

Verstehen

Die Studierenden erläutern grundlegende algorithmische Verfahren für Nominale Automaten und analysieren Beispiele für nominale Mengen und Konstruktinen auf nominalen Mengen.

Anwenden

Die Studierenden teilen Automatenbegiriffe und Ausdruckskalküle hinsichtlich ihrer Komplexität und ihrer Ausdrucksstärke ein.

Erschaffen

Die Studierenden bereiten Resultate des Gebiets und ihre Herleitung eigenständig zur Präsentation auf.

Lern- bzw. Methodenkompetenz

Die Studierenden erarbeiten sich selbständig den Inhalt wissenschaftlicher Veröffentlichungen und geben diesen in einem strukturierten Vortrag verständlich wieder.

Sozialkompetenz

Die Studierenden arbeiten in einer größeren Gruppe an komplexen Problemen und erläutern eigene Einsichten den Mitstudierenden in verständlicher Form.

Literatur:

• A. Pitts, Nominal Sets, CUP, 2013

• M. Bojanczyk, B. Klin, S. Lasota:

Automata theory in nominal sets. Logical Methods in Computer Science 10(3), 2014

• M. Kaminski, N. Francez: Finite-Memory Automata. Theor. Comput. Sci. 134(2), 1994: 329-363

• S. Demri, R. Lazic, and A. Sangnier. Model checking Freeze LTL over one-counter automata. In R. Amadio,

ed., Foundations of Software Science and Computational Structures, FOSSACS 2008, vol. 4962 of LNCS, pp. 490–504. Springer, 2008.

• L. Schröder, D. Kozen, S. Milius, T. Wißmann:

Nominal Automata with Name Binding. FoSSaCS 2017: 124-142

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Seminar | Seminar)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Seminar | Seminar)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2007 | TechFak | Informatik (Bachelor of Science) | Seminar)
4. Informatik (Bachelor of Science): 3-5. Semester
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Seminare, Praktika, Bachelorarbeit | Seminar)
5. Informatik (Bachelor of Science): 3-5. Semester
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Hauptseminare, Praktika, Bachelorarbeit | Hauptseminar)
6. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Hauptseminar, Projekt, Masterarbeit | Hauptseminar)

Studien-/Prüfungsleistungen:

Seminar nominale Mengen und Automaten (Prüfungsnummer: 685386)

(englischer Titel: Nominal Sets and Automata (Seminar))

Prüfungsleistung, Seminarleistung, benotet, 5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Prüfungsleistung besteht in einer Ausarbeitung und einem 90-minütigen erfolgreichen Vortrag.

Prüfungssprache: Deutsch oder Englisch

Erstablegung: SS 2019, 1. Wdh.: WS 2019/2020 (nur für Wiederholer)

1. Prüfer:

Lutz Schröder