Appears in collection : 2024 - T3 - Mini-WS - Computational group theory and applications workshop

The EDT0L class of languages was shown to have numerous applications in the study of countable groups, starting with work of Ciobanu, Diekert and Elder.

We provide a new use of EDT0L languages, via the notion of EDT0L presentation of a group. We show how to compute marked hyperbolic quotients of groups given by EDT0L presentations, by relying on the notion of equational Noetherianity. This is joined work with Laurent Bartholdi and Leon Pernak.