\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}{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}{}
