\makelabel{kbmag:KBMAG}{1} \makelabel{kbmag:Creating a rewriting system}{1.1} \makelabel{kbmag:KBMAGRewritingSystem}{1.1.1} \makelabel{kbmag:Elementary functions on rewriting systems}{1.2} \makelabel{kbmag:IsKBMAGRewritingSystemRep}{1.2.1} \makelabel{kbmag:IsConfluent}{1.2.2} \makelabel{kbmag:SemigroupOfRewritingSytem}{1.2.3} \makelabel{kbmag:FreeStructureOfSystem}{1.2.4} \makelabel{kbmag:WordMonoidOfRewritingSystem}{1.2.5} \makelabel{kbmag:ExternalWordToInternalWordOfRewritingSystem}{1.2.6} \makelabel{kbmag:InternalWordToExternalWordOfRewritingSystem}{1.2.7} \makelabel{kbmag:Alphabet}{1.2.8} \makelabel{kbmag:Rules}{1.2.9} \makelabel{kbmag:ResetRewritingSystem}{1.2.10} \makelabel{kbmag:Setting the ordering}{1.3} \makelabel{kbmag:SetOrderingOfKBMAGRewritingSystem}{1.3.1} \makelabel{kbmag:ReorderAlphabetOfKBMAGRewritingSystem}{1.3.2} \makelabel{kbmag:OrderingOfKBMAGRewritingSystem}{1.3.3} \makelabel{kbmag:OrderingOfRewritingSystem}{1.3.4} \makelabel{kbmag:Control parameters}{1.4} \makelabel{kbmag:InfoRWS V}{1.4.1} \makelabel{kbmag:OptionsRecordOfKBMAGRewritingSystem}{1.4.2} \makelabel{kbmag:The Knuth-Bendix program}{1.5} \makelabel{kbmag:KnuthBendix}{1.5.1} \makelabel{kbmag:MakeConfluent}{1.5.1} \makelabel{kbmag:ReductionAutomaton}{1.5.2} \makelabel{kbmag:The automatic groups program}{1.6} \makelabel{kbmag:AutomaticStructure}{1.6.1} \makelabel{kbmag:WordAcceptor}{1.6.2} \makelabel{kbmag:FirstWordDifferenceAutomaton}{1.6.3} \makelabel{kbmag:SecondWordDifferenceAutomaton}{1.6.4} \makelabel{kbmag:GeneralMultiplier}{1.6.5} \makelabel{kbmag:Word reduction}{1.7} \makelabel{kbmag:IsReducedWord}{1.7.1} \makelabel{kbmag:IsReducedForm}{1.7.1} \makelabel{kbmag:ReducedForm}{1.7.2} \makelabel{kbmag:ReducedWord}{1.7.2} \makelabel{kbmag:Counting and enumerating irreducible words}{1.8} \makelabel{kbmag:Size}{1.8.1} \makelabel{kbmag:Order}{1.8.2} \makelabel{kbmag:EnumerateReducedWords}{1.8.3} \makelabel{kbmag:GrowthFunction}{1.8.4} \makelabel{kbmag:Rewriting System Examples}{1.9} \makelabel{kbmag:Subgroups, cosets and subgroup presentations}{1.10} \makelabel{kbmag:SubgroupOfKBMAGRewritingSystem}{1.10.1} \makelabel{kbmag:ResetRewritingSystemOnCosets}{1.10.2} \makelabel{kbmag:The Knuth-Bendix program on cosets}{1.11} \makelabel{kbmag:KnuthBendixOnCosets}{1.11.1} \makelabel{kbmag:KnuthBendixOnCosetsWithSubgroupRewritingSystem}{1.11.2} \makelabel{kbmag:RewritingSystemOfSubgroupOfKBMAGRewritingSystem}{1.11.3} \makelabel{kbmag:The automatic cosets program}{1.12} \makelabel{kbmag:AutomaticStructureOnCosets}{1.12.1} \makelabel{kbmag:AutomaticStructureOnCosetsWithSubgroupPresentation}{1.12.2} \makelabel{kbmag:PresentationOfSubgroupOfKBMAGRewritingSystem}{1.12.3} \makelabel{kbmag:Word reduction on cosets}{1.13} \makelabel{kbmag:IsReducedCosetRepresentative}{1.13.1} \makelabel{kbmag:ReducedFormOfCosetRepresentative}{1.13.2} \makelabel{kbmag:ReducedCosetRepresentative}{1.13.2} \makelabel{kbmag:Counting and enumerating irreducible words for cosets}{1.14} \makelabel{kbmag:Index}{1.14.1} \makelabel{kbmag:EnumerateReducedCosetRepresentatives}{1.14.2} \makelabel{kbmag:GrowthFunctionOfCosetRepresentatives}{1.14.3} \makelabel{kbmag:Examples of the Use of Rewriting System On Cosets}{1.15} \makelabel{kbmag:Functions for manipulating finite state automata}{1.16} \makelabel{kbmag:IsInitializedFSA}{1.16.1} \makelabel{kbmag:InitializeFSA}{1.16.2} \makelabel{kbmag:FSA}{1.16.3} \makelabel{kbmag:WriteFSA}{1.16.4} \makelabel{kbmag:IsDeterministicFSA}{1.16.5} \makelabel{kbmag:AlphabetFSA}{1.16.6} \makelabel{kbmag:StatesFSA}{1.16.7} \makelabel{kbmag:NumberOfStatesFSA}{1.16.8} \makelabel{kbmag:NumberOfLettersFSA}{1.16.9} \makelabel{kbmag:SizeOfAlphabetFSA}{1.16.10} \makelabel{kbmag:AcceptingStatesFSA}{1.16.11} \makelabel{kbmag:InitialStatesFSA}{1.16.12} \makelabel{kbmag:DenseDTableFSA}{1.16.13} \makelabel{kbmag:SparseTableFSA}{1.16.14} \makelabel{kbmag:TargetDFA}{1.16.15} \makelabel{kbmag:TargetsFSA}{1.16.16} \makelabel{kbmag:SourcesFSA}{1.16.17} \makelabel{kbmag:WordTargetDFA}{1.16.18} \makelabel{kbmag:IsAcceptedWordDFA}{1.16.19} \makelabel{kbmag:AddStateFSA}{1.16.20} \makelabel{kbmag:DeleteStateFSA}{1.16.21} \makelabel{kbmag:PermuteStatesFSA}{1.16.22} \makelabel{kbmag:AddLetterFSA}{1.16.23} \makelabel{kbmag:DeleteLetterFSA}{1.16.24} \makelabel{kbmag:PermuteLettersFSA}{1.16.25} \makelabel{kbmag:AddEdgeFSA}{1.16.26} \makelabel{kbmag:DeleteEdgeFSA}{1.16.27} \makelabel{kbmag:SetAcceptingFSA}{1.16.28} \makelabel{kbmag:SetInitialFSA}{1.16.29} \makelabel{kbmag:IsAccessibleFSA}{1.16.30} \makelabel{kbmag:AccessibleFSA}{1.16.31} \makelabel{kbmag:IsTrimFSA}{1.16.32} \makelabel{kbmag:TrimFSA}{1.16.33} \makelabel{kbmag:IsBFSFSA}{1.16.34} \makelabel{kbmag:BFSFSA}{1.16.35} \makelabel{kbmag:LSizeDFA}{1.16.36} \makelabel{kbmag:LEnumerateDFA}{1.16.37} \makelabel{kbmag:DeterminizeFSA}{1.16.38} \makelabel{kbmag:MinimizeFSA}{1.16.39} \makelabel{kbmag:NotFSA}{1.16.40} \makelabel{kbmag:StarFSA}{1.16.41} \makelabel{kbmag:ReverseFSA}{1.16.42} \makelabel{kbmag:ExistsFSA}{1.16.43} \makelabel{kbmag:SwapCoordsFSA}{1.16.44} \makelabel{kbmag:AndFSA}{1.16.45} \makelabel{kbmag:OrFSA}{1.16.46} \makelabel{kbmag:ConcatFSA}{1.16.47} \makelabel{kbmag:LanguagesEqualFSA}{1.16.48} \makelabel{kbmag:GrowthFSA}{1.16.49} \makelabel{kbmag:Bibliography}{} \setcitlab {ECHLPT92}{ECH{+}92} \setcitlab {EHR91}{HER91} \setcitlab {Holt94}{Holar} \setcitlab {LeC86}{LeC86} \setcitlab {Sims94}{Sim94} \makelabel{kbmag:Index}{}