Computational Holonomy Decomposition of Transformation Semigroups
Group Theory
2015-08-27 v1
Abstract
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty lies in the strict separation of several different ideas appearing in the holonomy method. The steps of the proof and the constructions are illustrated with computed examples.
Cite
@article{arxiv.1508.06345,
title = {Computational Holonomy Decomposition of Transformation Semigroups},
author = {Attila Egri-Nagy and Chrystopher L. Nehaniv},
journal= {arXiv preprint arXiv:1508.06345},
year = {2015}
}
Comments
16 pages, 4 figures, final version will be published elsewhere