This package implements Functionally Recursive and Mealy automata in
GAP. These objects can be manipulated as group elements, and various
specific commands allow their manipulation as automorphisms of infinite
rooted trees. Permutation quotients can also be created and manipulated
as standard GAP groups or semigroups.