Hierarchical Composition and
Decomposition of Permutation Groups and Transformation
SgpDec 0.7.29 is updated to work with GAP 4.7.5. At the moment, the unfinished documentation is the final obstacle for a proper release. We will try to fix this issue as soon as possible.
Related papers, drafts
Simple composition examples
the Skeleton of a Transformation Semigroup
Holonomy decomposition of a small automaton (cascaded automaton,
tiling picture, original automaton):