1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
|
#############################################################################
##
#W ExtAutom.gd FGA package Christian Sievers
##
## Declarations for methods to create and compute with
## extended inverse automata
##
#Y 2003 - 2012
##
DeclareGlobalFunction( "FGA_newstateX" );
DeclareGlobalFunction( "FGA_connectposX" );
DeclareGlobalFunction( "FGA_connectX" );
DeclareGlobalFunction( "FGA_defineX" );
DeclareGlobalFunction( "FGA_findX" );
DeclareGlobalFunction( "FGA_mergeX" );
DeclareGlobalFunction( "FGA_coincidenceX" );
DeclareGlobalFunction( "FGA_atfX" );
DeclareGlobalFunction( "FGA_deltaX" );
DeclareGlobalFunction( "FGA_stepX" );
DeclareGlobalFunction( "FGA_deltasX" );
DeclareGlobalFunction( "FGA_traceX" );
DeclareGlobalFunction( "FGA_backtraceX" );
DeclareGlobalFunction( "FGA_insertgeneratorX" );
DeclareGlobalFunction( "FGA_fromgeneratorsX" );
DeclareGlobalFunction( "FGA_FromGroupWithGeneratorsX" );
DeclareGlobalFunction( "FGA_AsWordLetterRepInGenerators" );
#############################################################################
##
#E
|