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