23 citations · 52 across the 29 of their papers we have counts for
4 papers · 1 filter
Computing finite semigroups
J. East, A. Egri-Nagy, J. D. Mitchell +1
Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that…
Computational Holonomy Decomposition of Transformation Semigroups
Attila Egri-Nagy, Chrystopher L. Nehaniv
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely foll…
Finite Diagram Semigroups: Extending the Computational Horizon
James East, Attila Egri-Nagy, Andrew R. Francis +1
Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagra…
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructi…