GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################ ## #W sgpslinks.gd Manuel Delgado <[email protected]> #W Jose Morais <[email protected]> ## #H @(#)$Id: sgpslinks.gi,v 1.13 $ ## #Y Copyright (C) 2004, CMUP, Universidade do Porto, Portugal ## ## ## ############################################################################# ## ## This file contains some links between automata and semigroups. ## ## ############################################################################ ## #F TransitionSemigroup(aut) ## ## Computes the transition semigroup of a deterministic automaton ## DeclareGlobalFunction( "TransitionSemigroup" ); ########################################################################### ## #F SyntacticSemigroupAut ## Computes the syntactic semigroup of a deterministic automaton ## (i.e. the transition semigroup of the equivalent minimal automaton) ## DeclareGlobalFunction( "SyntacticSemigroupAut" ); ########################################################################### ## #F SyntacticSemigroupLang(rat) ## ## Computes the syntactic semigroup of the rational language given by the ## rational expression rat. ## DeclareGlobalFunction( "SyntacticSemigroupLang" );