On the subgroup membership problem in bounded automata groups
On the subgroup membership problem in bounded automata groups
We are interested in the generalised word problem (aka subgroup membership problem) for stabiliser subgroups of groups acting on rooted $d$-regular trees. Stabilisers of infinite rays in the tree are not finitely generated in general, and so the problem is not even well posed unless the infinite ray has a …