\indexentry {kbmag}{3}
\indexentry {Creating a rewriting system@Creating a rewriting system|indexit}{4}
\indexentry {rewriting systems!creating}{4}
\indexentry {KBMAGRewritingSystem@`KBMAGRewritingSystem'}{4}
\indexentry {Elementary functions on rewriting systems@Elementary functions on rewriting systems|indexit}{4}
\indexentry {rewriting systems!elementary functions}{4}
\indexentry {IsKBMAGRewritingSystemRep@`IsKBMAGRewritingSystemRep'}{4}
\indexentry {IsConfluent@`IsConfluent'}{4}
\indexentry {SemigroupOfRewritingSytem@`SemigroupOfRewritingSytem'}{4}
\indexentry {FreeStructureOfSystem@`FreeStructureOfSystem'}{4}
\indexentry {WordMonoidOfRewritingSystem@`WordMonoidOfRewritingSystem'}{4}
\indexentry {ExternalWordToInternalWordOfRewritingSystem@`ExternalWordToInternalWordOfRewritingSystem'}{5}
\indexentry {InternalWordToExternalWordOfRewritingSystem@`InternalWordToExternalWordOfRewritingSystem'}{5}
\indexentry {Alphabet@`Alphabet'}{5}
\indexentry {Rules@`Rules'}{5}
\indexentry {ResetRewritingSystem@`ResetRewritingSystem'}{5}
\indexentry {Setting the ordering@Setting the ordering|indexit}{5}
\indexentry {rewriting systems!setting the ordering}{5}
\indexentry {SetOrderingOfKBMAGRewritingSystem@`SetOrderingOfKBMAGRewritingSystem'}{5}
\indexentry {ReorderAlphabetOfKBMAGRewritingSystem@`ReorderAlphabetOfKBMAGRewritingSystem'}{5}
\indexentry {OrderingOfKBMAGRewritingSystem@`OrderingOfKBMAGRewritingSystem'}{5}
\indexentry {OrderingOfRewritingSystem@`OrderingOfRewritingSystem'}{5}
\indexentry {Control parameters@Control parameters|indexit}{6}
\indexentry {rewriting systems!control parameters}{6}
\indexentry {InfoRWS V@`InfoRWS V'}{6}
\indexentry {OptionsRecordOfKBMAGRewritingSystem@`OptionsRecordOfKBMAGRewritingSystem'}{6}
\indexentry {The Knuth-Bendix program@The Knuth-Bendix program|indexit}{7}
\indexentry {Knuth-Bendix program}{7}
\indexentry {KnuthBendix@`KnuthBendix'}{7}
\indexentry {MakeConfluent@`MakeConfluent'}{7}
\indexentry {ReductionAutomaton@`ReductionAutomaton'}{8}
\indexentry {The automatic groups program@The automatic groups program|indexit}{8}
\indexentry {automatic groups program}{8}
\indexentry {AutomaticStructure@`AutomaticStructure'}{8}
\indexentry {WordAcceptor@`WordAcceptor'}{8}
\indexentry {FirstWordDifferenceAutomaton@`FirstWordDifferenceAutomaton'}{8}
\indexentry {SecondWordDifferenceAutomaton@`SecondWordDifferenceAutomaton'}{8}
\indexentry {GeneralMultiplier@`GeneralMultiplier'}{8}
\indexentry {Word reduction@Word reduction|indexit}{8}
\indexentry {IsReducedWord@`IsReducedWord'}{8}
\indexentry {IsReducedForm@`IsReducedForm'}{8}
\indexentry {ReducedForm@`ReducedForm'}{9}
\indexentry {ReducedWord@`ReducedWord'}{9}
\indexentry {Counting and enumerating irreducible words@Counting and enumerating irreducible words|indexit}{9}
\indexentry {Size@`Size'}{9}
\indexentry {Order@`Order'}{9}
\indexentry {EnumerateReducedWords@`EnumerateReducedWords'}{9}
\indexentry {GrowthFunction@`GrowthFunction'}{9}
\indexentry {Rewriting System Examples@Rewriting System Examples|indexit}{10}
\indexentry {rewriting systems!examples}{10}
\indexentry {Subgroups, cosets and subgroup presentations@Subgroups, cosets and subgroup presentations|indexit}{17}
\indexentry {SubgroupOfKBMAGRewritingSystem@`SubgroupOfKBMAGRewritingSystem'}{17}
\indexentry {ResetRewritingSystemOnCosets@`ResetRewritingSystemOnCosets'}{17}
\indexentry {The Knuth-Bendix program on cosets@The Knuth-Bendix program on cosets|indexit}{17}
\indexentry {Knuth-Bendix program on cosets}{17}
\indexentry {KnuthBendixOnCosets@`KnuthBendixOnCosets'}{17}
\indexentry {KnuthBendixOnCosetsWithSubgroupRewritingSystem@`KnuthBendixOnCosetsWithSubgroupRewritingSystem'}{17}
\indexentry {RewritingSystemOfSubgroupOfKBMAGRewritingSystem@`RewritingSystemOfSubgroupOfKBMAGRewritingSystem'}{17}
\indexentry {The automatic cosets program@The automatic cosets program|indexit}{17}
\indexentry {automatic cosets program}{17}
\indexentry {AutomaticStructureOnCosets@`AutomaticStructureOnCosets'}{17}
\indexentry {AutomaticStructureOnCosetsWithSubgroupPresentation@`AutomaticStructureOnCosetsWithSubgroupPresentation'}{17}
\indexentry {PresentationOfSubgroupOfKBMAGRewritingSystem@`PresentationOfSubgroupOfKBMAGRewritingSystem'}{18}
\indexentry {Word reduction on cosets@Word reduction on cosets|indexit}{18}
\indexentry {IsReducedCosetRepresentative@`IsReducedCosetRepresentative'}{18}
\indexentry {ReducedFormOfCosetRepresentative@`ReducedFormOfCosetRepresentative'}{18}
\indexentry {ReducedCosetRepresentative@`ReducedCosetRepresentative'}{18}
\indexentry {Counting and enumerating irreducible words for cosets@Counting and enumerating irreducible words for cosets|indexit}{18}
\indexentry {Index@`Index'}{18}
\indexentry {EnumerateReducedCosetRepresentatives@`EnumerateReducedCosetRepresentatives'}{18}
\indexentry {GrowthFunctionOfCosetRepresentatives@`GrowthFunctionOfCosetRepresentatives'}{19}
\indexentry {Examples of the Use of Rewriting System On Cosets@Examples of the Use of Rewriting System On Cosets|indexit}{19}
\indexentry {rewriting systems on cosets!examples}{19}
\indexentry {Functions for manipulating finite state automata@Functions for manipulating finite state automata|indexit}{20}
\indexentry {finite state automata}{20}
\indexentry {IsInitializedFSA@`IsInitializedFSA'}{21}
\indexentry {InitializeFSA@`InitializeFSA'}{21}
\indexentry {FSA@`FSA'}{21}
\indexentry {WriteFSA@`WriteFSA'}{21}
\indexentry {IsDeterministicFSA@`IsDeterministicFSA'}{21}
\indexentry {AlphabetFSA@`AlphabetFSA'}{21}
\indexentry {StatesFSA@`StatesFSA'}{21}
\indexentry {NumberOfStatesFSA@`NumberOfStatesFSA'}{21}
\indexentry {NumberOfLettersFSA@`NumberOfLettersFSA'}{21}
\indexentry {SizeOfAlphabetFSA@`SizeOfAlphabetFSA'}{21}
\indexentry {AcceptingStatesFSA@`AcceptingStatesFSA'}{22}
\indexentry {InitialStatesFSA@`InitialStatesFSA'}{22}
\indexentry {DenseDTableFSA@`DenseDTableFSA'}{22}
\indexentry {SparseTableFSA@`SparseTableFSA'}{22}
\indexentry {TargetDFA@`TargetDFA'}{22}
\indexentry {TargetsFSA@`TargetsFSA'}{22}
\indexentry {SourcesFSA@`SourcesFSA'}{22}
\indexentry {WordTargetDFA@`WordTargetDFA'}{22}
\indexentry {IsAcceptedWordDFA@`IsAcceptedWordDFA'}{22}
\indexentry {AddStateFSA@`AddStateFSA'}{22}
\indexentry {DeleteStateFSA@`DeleteStateFSA'}{22}
\indexentry {PermuteStatesFSA@`PermuteStatesFSA'}{22}
\indexentry {AddLetterFSA@`AddLetterFSA'}{22}
\indexentry {DeleteLetterFSA@`DeleteLetterFSA'}{23}
\indexentry {PermuteLettersFSA@`PermuteLettersFSA'}{23}
\indexentry {AddEdgeFSA@`AddEdgeFSA'}{23}
\indexentry {DeleteEdgeFSA@`DeleteEdgeFSA'}{23}
\indexentry {SetAcceptingFSA@`SetAcceptingFSA'}{23}
\indexentry {SetInitialFSA@`SetInitialFSA'}{23}
\indexentry {IsAccessibleFSA@`IsAccessibleFSA'}{23}
\indexentry {AccessibleFSA@`AccessibleFSA'}{23}
\indexentry {IsTrimFSA@`IsTrimFSA'}{23}
\indexentry {TrimFSA@`TrimFSA'}{23}
\indexentry {IsBFSFSA@`IsBFSFSA'}{23}
\indexentry {BFSFSA@`BFSFSA'}{23}
\indexentry {LSizeDFA@`LSizeDFA'}{23}
\indexentry {LEnumerateDFA@`LEnumerateDFA'}{24}
\indexentry {DeterminizeFSA@`DeterminizeFSA'}{24}
\indexentry {MinimizeFSA@`MinimizeFSA'}{24}
\indexentry {NotFSA@`NotFSA'}{24}
\indexentry {StarFSA@`StarFSA'}{24}
\indexentry {ReverseFSA@`ReverseFSA'}{24}
\indexentry {ExistsFSA@`ExistsFSA'}{24}
\indexentry {SwapCoordsFSA@`SwapCoordsFSA'}{24}
\indexentry {AndFSA@`AndFSA'}{24}
\indexentry {OrFSA@`OrFSA'}{24}
\indexentry {ConcatFSA@`ConcatFSA'}{24}
\indexentry {LanguagesEqualFSA@`LanguagesEqualFSA'}{24}
\indexentry {GrowthFSA@`GrowthFSA'}{24}
