Krohn–Rhodes theory

Known as: Finite semigroup, Krohn-Rhodes complexity, Krohn-Rhodes Theory 
In mathematics and computer science, the Krohn–Rhodes theory (or algebraic automata theory) is an approach to the study of finite semigroups and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1967-2017
024619672017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
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
The Krohn-Rhodes theorem states that any deterministic automaton is a homomorphic image of a cascade of very simple automata… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We consider the Krohn-Rhodes complexity of certain semigroups of upper triangular matrices over finite fields. We show that for… (More)
  • figure 1
  • figure 2
  • figure 3
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
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
The hierarchical algebraic decomposition of finite state automata (Krohn-Rhodes Theory) has been a mathematical theory without… (More)
Is this relevant?
2004
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)
  • figure 1
  • figure 2
Is this relevant?
1997
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
 
Is this relevant?
1991
1991
We show that every finite semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities… (More)
  • figure 3.1
  • figure 5.2
  • figure 5.1
  • figure 5.3
  • figure 5.4
Is this relevant?