  We give a survey on results regarding self-similar and automaton
presentations of free groups and semigroups and related products. Furthermore,
we discuss open problems and results with respect to algebraic decision
problems in this area.

Group Theory;Formal Languages and Automata Theory