Algorithmen und Logik für Automatengruppen (A26)

• Fachliche Zuordnung: Mathematik
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555

Automatengruppen und allgemeiner automatische Aktionen bilden aufgrund ihrer bemerkenswerten Eigenschaften (Burnside-Gruppen, Gruppen mittleren Wachstums), ihrer Anwendbarkeit (Codierung dynamischer Systeme) und ihrer Zugänglichkeit für Berechnungen (ihre Elemente werden beschrieben durch endliche Automaten). Dieses Projekt wird sowohl theoretisch als auch praktisch die Entscheidbarkeit und Komplexität der Logik erster Ordnung dieser Gruppen mit Anwendungen auf das Isomorphieproblem für Unterverschiebungen untersuchen.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung
• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Teilprojektleiter: Professor Dr. Laurent Bartholdi