Showing math.GRShow all
2 papers · 1 filter
math.GR2025
Representation Independent Decompositions of Computation
Attila Egri-Nagy, Chrystopher L. Nehaniv
Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups.…
math.GR2015
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…