• Krohn-Rhodes

  • Referenced in 4 articles [sw08794]
  • state automata: Comparison of implementations for Krohn-Rhodes theory. The hierarchical algebraic decomposition of finite ... state automata (Krohn-Rhodes Theory) has been a mathematical theory without any computational implementations until ... different computer algebraic implementations of the Krohn-Rhodes decomposition, the V∪T and holonomy decompositions...
  • SgpDec

  • Referenced in 5 articles [sw07825]
  • SgpDec: cascade (de)compositions of finite transformation semigroups...
  • Algorithm 447

  • Referenced in 167 articles [sw12877]
  • Algorithm 447: effcient algorithms for graph manipulation. Efficient...