# What this blog is about

My professional page is at olivierbinette.ca.

## Surface regression and reconstruction from a topological perspective

Let $G$ be a group with a finite generating set $S$. Any element of $G$ can be represented by a string of characters using the elements of $S$ and their inverses as letters. If the group $G$, with this specified generating set $S$, is automatic, then an automata can determine precisely when two such character strings represent the same element of $G$.