Computational Holonomy Decomposition of Transformation Semigroups

Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines

Kenneth Krohn and John Rhodes · 1965

Earlier work this paper cites.

Cascade synthesis of finite state machines

H. Paul Zeiger · 1967

Earlier work this paper cites.

Algebraic Theory of Automata

Abraham Ginzburg · 1968

Earlier work this paper cites.

The Prime Decomposition Theorem of the Algebraic Theory of Machines

Kenneth Krohn, John L. Rhodes, and Bret R. Tilson · 1968

Earlier work this paper cites.

Cascade Decomposition Using Covers

H. Paul Zeiger · 1968

Earlier work this paper cites.

Automata, Languages and Machines

Samuel Eilenberg · 1976

Earlier work this paper cites.

A Krohn-Rhodes theorem for categories

Charles Wells · 1980

Earlier work this paper cites.

Algebraic Automata Theory

W. M. L. Holcombe · 1982

Earlier work this paper cites.

Prime decomposition theorem for arbitrary semigroups

Karsten Henckell, Susan Lazarus, and John L. Rhodes · 1988

Cited alongside, same era.

Finite-automaton aperiodicity is PSPACE-complete

Sang Cho and Dung T. Huynh · 1991

Cited alongside, same era.

Groups and actions in transformation semigroups

S. A. Linton, G. Pfeiffer, E. F. Robertson, and N. Ruškuc · 1998

Cited alongside, same era.

Holonomy Embedding of Arbitrary Stable Semigroups

Gillian Z. Elston and Chrystopher L. Nehaniv · 2002

Cited alongside, same era.

Algebraic Theory of Finite Automata Networks: An Introduction

Pál Dömösi and Chrystopher L. Nehaniv · 2005

Cited alongside, same era.

Handbook of Computational Group Theory

Derek Holt, Bettina Eick, and Eamonn O’Brien · 2005

Cited alongside, same era.

On the Krohn-Rhodes cascaded decomposition theorem

Oded Maler · 2010

Later among the works it cites.

The Krohn-Rhodes Theorem and local divisors

Volker Diekert, Manfred Kufleitner, and Benjamin Steinberg · 2012

Later among the works it cites.

Cascade Product of Permutation Groups

Original

Attila Egri-Nagy and Chrystopher L. Nehaniv · 2013

Later among the works it cites.

Sgpdec: Cascade (de)compositions of finite transformation semigroups and permutation groups

Attila Egri-Nagy, James D. Mitchell, and Chrystopher L. Nehaniv · 2014

Later among the works it cites.

kigen General implementation of diagram semigroups based on partitioned binary relations. Version 0.1

Attila Egri-Nagy · 2015

Closest in time.