Index

AcceptingStatesFSA 4.1-9
AccessibleFSA 4.1-29
AddEdgeFSA 4.1-24
AddLetterFSA 4.1-21
AddStateFSA 4.1-18
Alphabet 2.2-5
AlphabetFSA 4.1-6
2.9-1
AndFSA 4.2-8
automatic cosets program 3.3
automatic groups program 2.6
AutomaticStructure 2.6-1
AutomaticStructureOnCosets 3.3-1
AutomaticStructureOnCosetsWithSubgroupPresentation 3.3-1
BFSFSA 4.1-33
ConcatFSA 4.2-10
DeleteEdgeFSA 4.1-25
DeleteLetterFSA 4.1-22
DeleteStateFSA 4.1-19
DenseDTableFSA 4.1-11
DeterminizeFSA 4.2-1
EnumerateReducedCosetRepresentatives 3.5-2
EnumerateReducedWords 2.8-3
2.9
ExistsFSA 4.2-6
external programs 4.2
ExternalWordToInternalWordOfRewritingSystem 2.2-4
2.9-2
finite state automata 4.1
FirstWordDifferenceAutomaton 2.6-2
FreeStructureOfSystem 2.2-3
FSA 4.1-3
GeneralMultiplier 2.6-2
GrowthFSA 4.2-12
GrowthFunction 2.8-4
GrowthFunctionOfCosetRepresentatives 3.5-3
2.9-3
Index 3.5-1
InfoRWS 2.4-1
InitializeFSA 4.1-2
InitialStatesFSA 4.1-10
InternalWordToExternalWordOfRewritingSystem 2.2-4
IsAcceptedWordDFA 4.1-17
IsAccessibleFSA 4.1-28
IsBFSFSA 4.1-32
IsConfluent 2.2-2
IsConfluentOnCosets 3.2-3
IsDeterministicFSA 4.1-5
IsInitializedFSA 4.1-1
IsKBMAGRewritingSystemRep 2.2-1
IsReducedCosetRepresentative 3.4-1
IsReducedForm 2.7-1
IsReducedWord 2.7-1
IsRewritingSystem 2.2-1
IsTrimFSA 4.1-30
kbmag 1.
KBMAGRewritingSystem 2.1-1
Knuth-Bendix program 2.5
Knuth-Bendix program on cosets 3.2
KnuthBendix 2.5-1
KnuthBendixOnCosets 3.2-1
KnuthBendixOnCosetsWithSubgroupRewritingSystem 3.2-1
LanguagesEqualFSA 4.2-11
LEnumerateDFA 4.1-35
LSizeDFA 4.1-34
MakeConfluent 2.5-1
MinimizeFSA 4.2-2
NotFSA 4.2-3
NumberOfLettersFSA 4.1-8
NumberOfStatesFSA 4.1-7
OptionsRecordOfKBMAGRewritingSystem 2.4-2
Order 2.8-2
OrderingOfKBMAGRewritingSystem 2.3-1
OrderingOfRewritingSystem 2.3-1
OrFSA 4.2-9
PermuteLettersFSA 4.1-23
PermuteStatesFSA 4.1-20
PresentationOfSubgroupOfKBMAGRewritingSystem 3.3-2
ReducedCosetRepresentative 3.4-2
ReducedForm 2.7-2
ReducedFormOfCosetRepresentative 3.4-2
ReducedWord 2.7-2
ReductionAutomaton 2.5-2
ReorderAlphabetOfKBMAGRewritingSystem 2.3-1
ResetRewritingSystem 2.2-7
ResetRewritingSystemOnCosets 3.1-2
ReverseFSA 4.2-5
, control parameters 2.4
    creating 2.1
    elementary functions 2.2
    examples 2.9
    setting the ordering 2.3
    creating 3.2
    examples 3.6
RewritingSystemOfSubgroupOfKBMAGRewritingSystem 3.2-2
Rules 2.2-6
SecondWordDifferenceAutomaton 2.6-2
SemigroupOfRewritingSytem 2.2-3
SetAcceptingFSA 4.1-26
SetInitialFSA 4.1-27
SetOrderingOfKBMAGRewritingSystem 2.3-1
Size 2.8-1
SizeOfAlphabetFSA 4.1-8
SourcesFSA 4.1-15
SparseTableFSA 4.1-12
stand-alone package 4.
StarFSA 4.2-4
StatesFSA 4.1-6
SubgroupOfKBMAGRewritingSystem 3.1-1
SwapCoordsFSA 4.2-7
TargetDFA 4.1-13
TargetsFSA 4.1-14
TrimFSA 4.1-31
WordAcceptor 2.6-2
WordMonoidOfRewritingSystem 2.2-3
WordTargetDFA 4.1-16
WriteFSA 4.1-4