QSI seminar series: Associate Professor Murray Elder - UTS

Title: The structure of solutions to equations in free and virtually free groups
Abstract: I will describe work with Ciobanu and Diekert which expresses the full set of solutions to an equation or system of equations over a free group, and over a virtually free group, as an EDT0L language, which can be computed in PSPACE. EDT0L is a relatively simple formal language class, so it is surprising that what seemed like a complicated set has such an easy description. The new work with Diekert on virtually free groups reduces equations to systems of \emph{twisted} equations. I will define all concepts so no prior knowledge assumed.
Back to QSI Seminars & Events
Acknowledgement of Country

UTS acknowledges the Gadigal people of the Eora Nation, the Boorooberongal people of the Dharug Nation, the Bidiagal people and the Gamaygal people, upon whose ancestral lands our university stands. We would also like to pay respect to the Elders both past and present, acknowledging them as the traditional custodians of knowledge for these lands.