AutomGrp package provides methods for
computations with groups and semigroups generated by finite
automata or given by wreath recursion, as well
as with their finitely generated subgroups and elements.
GAP
version >= 4.4.6,
FGA
(Free Group Algorithms) package.