In mathematics and computer science, the Krohn–Rhodes theory (or algebraic automata theory) is an approach to the study of finite semigroups and… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Volker Diekert, Manfred Kufleitner, Benjamin A Steinberg
- Fundam. Inform.
- 2012

We give a new proof of the Krohn-Rhodes theorem using local divisors. The proof provides nearly as good a decomposition in terms… (More)

Is this relevant?

2010

2010

- Oded Maler
- Essays in Memory of Amir Pnueli
- 2010

The Krohn-Rhodes theorem states that any deterministic automaton is a homomorphic image of a cascade of very simple automata… (More)

Is this relevant?

2007

2007

- Mark Kambites
- IJAC
- 2007

We consider the Krohn-Rhodes complexity of certain semigroups of upper triangular matrices over finite fields. We show that for… (More)

Is this relevant?

2007

2007

Work of Clifford, Munn and Ponizovskĭı parameterized the irreducible representations of a finite semigroup in terms of the… (More)

Is this relevant?

2005

2005

- John L. Rhodes, Benjamin A Steinberg
- ITA
- 2005

We prove that the pseudovariety of monoids of Krohn-Rhodes complexity at most n is not finitely based for all n > 0. More… (More)

Is this relevant?

2004

2004

- Attila Egri-Nagy, Chrystopher L. Nehaniv
- CIAA
- 2004

The hierarchical algebraic decomposition of finite state automata (Krohn-Rhodes Theory) has been a mathematical theory without… (More)

Is this relevant?

2004

2004

- Ondrej Klíma, Pascal Tesson, Denis Thérien
- Theory of Computing Systems
- 2004

We consider the problem of testing whether a given system of equations over a fixed finite semigroup S has a solution. For the… (More)

Is this relevant?

1997

1997

- Pierre Péladeau, Howard Straubing, Denis Thérien
- Theor. Comput. Sci.
- 1997

We study the regular languages recognized by polynomial-length programs over finite semigroups belonging to product varieties V… (More)

Is this relevant?

1996

1996

- Chrystopher L. Nehaniv, John L. Rhodes
- Mathematical Hierarchies and Biology
- 1996

Is this relevant?

1991

1991

- Bertrand Le Saëc, Jean-Éric Pin, Pascal Weil
- IJAC
- 1991

We show that every finite semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities… (More)

Is this relevant?