\letter A
  `AcceptingStatesFSA', 22
  `AccessibleFSA', 23
  `AddEdgeFSA', 23
  `AddLetterFSA', 23
  `AddStateFSA', 22
  `Alphabet', 5
  `AlphabetFSA', 21
  `AndFSA', 24
  automatic cosets program, 18
  automatic groups program, 8
  `AutomaticStructure', 8
  `AutomaticStructureOnCosets', 18
  `Automatic-Structure-On-Cosets-With-Subgroup-Presentation', 18
\letter B
  `BFSFSA', 24
\letter C
  `ConcatFSA', 24
  Control parameters, \indexit{6}
  Counting and enumerating irreducible words, \indexit{9}
  Counting and enumerating irreducible words for cosets, \indexit{19}
  Creating a rewriting system, \indexit{4}
\letter D
  `DeleteEdgeFSA', 23
  `DeleteLetterFSA', 23
  `DeleteStateFSA', 22
  `DenseDTableFSA', 22
  `DeterminizeFSA', 24
\letter E
  Elementary functions on rewriting systems, \indexit{5}
  `EnumerateReducedCosetRepresentatives', 19
  `EnumerateReducedWords', 9
  Examples of the Use of Rewriting System On Cosets, \indexit{19}
  `ExistsFSA', 24
  `External-Word-To-Internal-Word-Of-Rewriting-System', 5
\letter F
  finite state automata, 21
  `FirstWordDifferenceAutomaton', 8
  `FreeStructureOfSystem', 5
  `FSA', 21
  Functions for manipulating finite state automata, \indexit{21}
\letter G
  `GeneralMultiplier', 8
  `GrowthFSA', 25
  `GrowthFunction', 10
  `GrowthFunctionOfCosetRepresentatives', 19
\letter I
  `Index', 19
  `InfoRWS V', 6
  `InitializeFSA', 21
  `InitialStatesFSA', 22
  `Internal-Word-To-External-Word-Of-Rewriting-System', 5
  `IsAcceptedWordDFA', 22
  `IsAccessibleFSA', 23
  `IsBFSFSA', 23
  `IsConfluent', 5
  `IsDeterministicFSA', 21
  `IsInitializedFSA', 21
  `IsKBMAGRewritingSystemRep', 5
  `IsReducedCosetRepresentative', 18
  `IsReducedForm', 9
  `IsReducedWord', 9
  `IsTrimFSA', 23
\letter K
  kbmag, 3
  `KBMAGRewritingSystem', 4
  knuth-bendix program, 7
  knuth-bendix program on cosets, 17
  `KnuthBendix', 7
  `KnuthBendixOnCosets', 17
  `Knuth-Bendix-On-Cosets-With-Subgroup-Rewriting-System', 17
\letter L
  `LanguagesEqualFSA', 25
  `LEnumerateDFA', 24
  `LSizeDFA', 24
\letter M
  `MakeConfluent', 7
  `MinimizeFSA', 24
\letter N
  `NotFSA', 24
  `NumberOfLettersFSA', 22
  `NumberOfStatesFSA', 22
\letter O
  `OptionsRecordOfKBMAGRewritingSystem', 6
  `Order', 9
  `OrderingOfKBMAGRewritingSystem', 5
  `OrderingOfRewritingSystem', 5
  `OrFSA', 24
\letter P
  `PermuteLettersFSA', 23
  `PermuteStatesFSA', 23
  `Presentation-Of-Subgroup-Of-KBMAGRewriting-System', 18
\letter R
  `ReducedCosetRepresentative', 18
  `ReducedForm', 9
  `ReducedFormOfCosetRepresentative', 18
  `ReducedWord', 9
  `ReductionAutomaton', 8
  `ReorderAlphabetOfKBMAGRewritingSystem', 5
  `ResetRewritingSystem', 5
  `ResetRewritingSystemOnCosets', 17
  `ReverseFSA', 24
  Rewriting System Examples, \indexit{10}
  `Rewriting-System-Of-Subgroup-Of-KBMAGRewriting-System', 17
  rewriting systems, control parameters, 6
    \sub creating, 4
    \sub elementary functions, 5
    \sub examples, 10
    \sub setting the ordering, 5
  rewriting systems on cosets, examples, 19
  `Rules', 5
\letter S
  `SecondWordDifferenceAutomaton', 8
  `SemigroupOfRewritingSytem', 5
  `SetAcceptingFSA', 23
  `SetInitialFSA', 23
  `SetOrderingOfKBMAGRewritingSystem', 5
  Setting the ordering, \indexit{5}
  `Size', 9
  `SizeOfAlphabetFSA', 22
  `SourcesFSA', 22
  `SparseTableFSA', 22
  `StarFSA', 24
  `StatesFSA', 21
  `SubgroupOfKBMAGRewritingSystem', 17
  Subgroups, cosets and subgroup presentations, \indexit{17}
  `SwapCoordsFSA', 24
\letter T
  `TargetDFA', 22
  `TargetsFSA', 22
  The automatic cosets program, \indexit{18}
  The automatic groups program, \indexit{8}
  The Knuth-Bendix program, \indexit{7}
  The Knuth-Bendix program on cosets, \indexit{17}
  `TrimFSA', 23
\letter W
  `WordAcceptor', 8
  `WordMonoidOfRewritingSystem', 5
  Word reduction, \indexit{9}
  Word reduction on cosets, \indexit{18}
  `WordTargetDFA', 22
  `WriteFSA', 21
