10 papers
What if we have 90 minutes only to teach programming?
Attila Egri-Nagy
Programming is about automation in a wide variety of domains. Developing itself is one of those. As a side-effect, progress in automated coding may make people less willing to lear…
Measuring the Computational Power of Finite Patches of Cellular Automata
Attila Egri-Nagy, Chrystopher L. Nehaniv
Computational power can be measured by assigning an algebraic structure to a computational device. Here, we convert a small patch of Conway's Game of Life into a transformation sem…
Computing Embeddings and Isomorphisms of Finite Semigroups
James East, Attila Egri-Nagy, Andrew R. Francis +1
Semigroup theory is a branch of abstract algebra, and it provides mathematical tools for the theory of computation. Finite semigroups can describe state transition systems and thus…
Skeleton Key: Subduction Classes in Finite Transformation Semigroups and Green's Relations
Attila Egri-Nagy, Chrystopher L. Nehaniv
We establish key connections between Green's - and -relations on a finite semigroup and the subduction relation defined on the image sets of an action of the same s…
Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages
Attila Egri-Nagy
Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not…
Computational Exploration of Finite Semigroupoids
Attila Egri-Nagy, Chrystopher L. Nehaniv
Recent algorithmic advances in algebraic automata theory drew attention to semigroupoids (semicategories). These are mathematical descriptions of typed computational processes, but…