GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################ ## #W aut-rat.gd Manuel Delgado <[email protected]> #W Jose Morais <[email protected]> ## #H @(#)$Id: aut-rat.gd,v 1.13 $ ## #Y Copyright (C) 2004, CMUP, Universidade do Porto, Portugal ## ############################################################################# ## ## This file declares functions involving automata and rational expressions ## ############################################################################# ## #F FAtoRatExp(A) ## ## From a finite automaton, computes the equivalent rational expression, ## using the state elimination algorithm. ## DeclareGlobalFunction( "FAtoRatExp" ); DeclareSynonym("AutomatonToRatExp", FAtoRatExp); DeclareSynonym("AutToRatExp", FAtoRatExp); DeclareAttribute("MinimalKnownRatExp", IsAutomatonObj, "mutable"); ############################################################################# ## #F RatExpToNDAut(R) ## ## Given a rational expression R, computes an equivalent NFA using ## the Glushkov algorithm. ## DeclareGlobalFunction( "RatExpToNDAut" ); ############################################################################# ## #F RatExpToAut(R) ## ## Given a rational expression R, uses RatExpToNDAut to compute the ## equivalent NFA and then returns the equivalent minimal DFA ## DeclareGlobalFunction( "RatExpToAut" ); DeclareSynonym( "RatExpToAutomaton", RatExpToAut );