Computations with functionally recursive groups
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.
You can contact the maintainers of this package via email at
gap-pkg-fr dash maintainers at fedoraproject dot org.