Algorithms and Logic for automata groups (A26)

• Subject Area: Mathematics
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 286237555

Automata groups, and more generally automatic actions, form a fundamental class of groups, due to their striking properties (Burnside groups, groups of intermediate growth), their applicability (encoding of dynamical systems), and their accessibility to computation (their elements are described by finite state automata). This project will explore, both theoretically and practically, the decidability and complexity of these groups’ first order logic, with applications to the isomorphism problem for subshifts.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 195: Symbolic Tools in Mathematics and their Application
• Applicant Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Project Head: Professor Dr. Laurent Bartholdi