In dem Seminar "Algorithmisches in der Geometrie - Präsentationen, das Wortproblem und formale Sprachen" wollen wir lernen, was das Wortproblem einer Gruppe ist, und wie es in Verbindung mit dem Wortproblem in formalen Sprachen steht. Eine kurze Beschreibung des geplanten Inhalts finden Sie in der Ankündigung.

Ziel des Seminars ist es, den Artikel "Groups, the Theory of Ends, and Context-Free Languages" von Muller und Schupp zu verstehen. Er kann aus dem Uninetz unter ScienceDirect heruntergeladen werden (Volume 26 (1983), Issue 3).

Wie in der Vorbesprechung angekündigt, wird das Seminar in Doppelterminen Freitags von 14:00 Uhr bis 15:30 Uhr und von 15:45 Uhr bis 17:15 Uhr stattfinden. Eine kurze Vorstellung der einzelnen Vorträge finden Sie in der Liste der Vortragsthemen.

Die Vorträge:

• Vortrag 1: "Der Satz von Nielsen-Schreier." Andreas Peter, 16.4.
• Vortrag 2: "Endlich präsentierte Gruppen und das Wortproblem." Thorsten Klein, 16.4.
• Vortrag 3: "Grammatiken und das Wortproblem in endlichen Gruppen." Harald Herrlich, 23.4.
• Vortrag 4: "Kellerautomaten, Chomsky-Normalform und kontextfreie Gruppen." Detlef Pitzer, 23.4.
• Vortrag 5: "Freies Produkt, amalgamiertes Produkt und HNN-Erweiterung - Teil 1." Alexander Koch, 21.5.
• Vortrag 6: "Freies Produkt, amalgamiertes Produkt und HNN-Erweiterung - Teil 2." Felix Wellen, 21.5.
• Vortrag 7: "Die Unentscheidbarkeit des Wortproblems." Jonathan Rollin, 11.6.
• Vortrag 8: "Fast freie Gruppen sind kontextfrei." Michael Hamann, 11.6.
• Vortrag 9: "Triangulierungen im Cayley-Graph und Enden von kontextfreien Gruppen." Stefanie Schindler, 25.6.
• Vortrag 10: "Die Enden einer Gruppe." Lars Machinek, 25.6.
• Vortrag 11&12: "Stallings Theorem über Enden von Gruppen - Teil 1&2." Lukas Hartmann & Lydia Wagner, 9.7.
• Vortrag 13: "Erreichbare Gruppen und der Satz von Hanna Neumann." Anja Randecker, 16.7.
• Vortrag 14: "Genau die fast freien Gruppen sind kontextfrei." David Weniger, 16.7.