\letter A
  `AcceptingStatesFSA', 22
  `AccessibleFSA', 23
  `AddEdgeFSA', 23
  `AddLetterFSA', 22
  `AddStateFSA', 22
  `Alphabet', 5
  `AlphabetFSA', 21
  `AndFSA', 24
  automatic cosets program, 17
  automatic groups program, 8
  `AutomaticStructure', 8
  `AutomaticStructureOnCosets', 17
  `AutomaticStructureOnCosetsWithSubgroupPresentation', 17
\letter B
  `BFSFSA', 23
\letter C
  `ConcatFSA', 24
  Control parameters, \indexit{6}
  Counting and enumerating irreducible words, \indexit{9}
  Counting and enumerating irreducible words for cosets, \indexit{18}
  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{4}
  `EnumerateReducedCosetRepresentatives', 18
  `EnumerateReducedWords', 9
  Examples of the Use of Rewriting System On Cosets, \indexit{19}
  `ExistsFSA', 24
  `ExternalWordToInternalWordOfRewritingSystem', 5
\letter F
  finite state automata, 20
  `FirstWordDifferenceAutomaton', 8
  `FreeStructureOfSystem', 4
  `FSA', 21
  Functions for manipulating finite state automata, \indexit{20}
\letter G
  `GeneralMultiplier', 8
  `GrowthFSA', 24
  `GrowthFunction', 9
  `GrowthFunctionOfCosetRepresentatives', 19
\letter I
  `Index', 18
  `InfoRWS V', 6
  `InitializeFSA', 21
  `InitialStatesFSA', 22
  `InternalWordToExternalWordOfRewritingSystem', 5
  `IsAcceptedWordDFA', 22
  `IsAccessibleFSA', 23
  `IsBFSFSA', 23
  `IsConfluent', 4
  `IsDeterministicFSA', 21
  `IsInitializedFSA', 21
  `IsKBMAGRewritingSystemRep', 4
  `IsReducedCosetRepresentative', 18
  `IsReducedForm', 8
  `IsReducedWord', 8
  `IsTrimFSA', 23
\letter K
  kbmag, 3
  `KBMAGRewritingSystem', 4
  Knuth-Bendix program, 7
  Knuth-Bendix program on cosets, 17
  `KnuthBendix', 7
  `KnuthBendixOnCosets', 17
  `KnuthBendixOnCosetsWithSubgroupRewritingSystem', 17
\letter L
  `LanguagesEqualFSA', 24
  `LEnumerateDFA', 24
  `LSizeDFA', 23
\letter M
  `MakeConfluent', 7
  `MinimizeFSA', 24
\letter N
  `NotFSA', 24
  `NumberOfLettersFSA', 21
  `NumberOfStatesFSA', 21
\letter O
  `OptionsRecordOfKBMAGRewritingSystem', 6
  `Order', 9
  `OrderingOfKBMAGRewritingSystem', 5
  `OrderingOfRewritingSystem', 5
  `OrFSA', 24
\letter P
  `PermuteLettersFSA', 23
  `PermuteStatesFSA', 22
  `PresentationOfSubgroupOfKBMAGRewritingSystem', 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 systems, control parameters, 6
    \sub creating, 4
    \sub elementary functions, 4
    \sub examples, 10
    \sub setting the ordering, 5
  rewriting systems on cosets, examples, 19
  `RewritingSystemOfSubgroupOfKBMAGRewritingSystem', 17
  `Rules', 5
\letter S
  `SecondWordDifferenceAutomaton', 8
  `SemigroupOfRewritingSytem', 4
  `SetAcceptingFSA', 23
  `SetInitialFSA', 23
  `SetOrderingOfKBMAGRewritingSystem', 5
  Setting the ordering, \indexit{5}
  `Size', 9
  `SizeOfAlphabetFSA', 21
  `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{17}
  The automatic groups program, \indexit{8}
  The Knuth-Bendix program, \indexit{7}
  The Knuth-Bendix program on cosets, \indexit{17}
  `TrimFSA', 23
\letter W
  Word reduction, \indexit{8}
  Word reduction on cosets, \indexit{18}
  `WordAcceptor', 8
  `WordMonoidOfRewritingSystem', 4
  `WordTargetDFA', 22
  `WriteFSA', 21