<?xml version=
"1.0" encoding=
"UTF-8"?>
<!
DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<
html xmlns=
"http://www.w3.org/1999/xhtml" xml:lang=
"en">
<
head>
<
script type=
"text/javascript"
src=
"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</
script>
<
title>GAP (kbmag) - Index</
title>
<
meta http-equiv=
"content-type" content=
"text/html; charset=UTF-8" />
<
meta name=
"generator" content=
"GAPDoc2HTML" />
<
link rel=
"stylesheet" type=
"text/css" href=
"manual.css" />
<
script src=
"manual.js" type=
"text/javascript"></
script>
<
script type=
"text/javascript">overwriteStyle();</
script>
</
head>
<
body class=
"chapInd" onload=
"jscontent()">
<
div class=
"chlinktop"><
span class=
"chlink1">Goto Chapter: </
span><
a href=
"chap0_mj.html">Top<
/a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chapBib_mj.html">[Previous Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chapInd.html">[MathJax off]</a></p>
<p><a id="X83A0356F839C696F" name="X83A0356F839C696F"></a></p>
<div class="index">
<h3>Index</h3>
<code class="func">AcceptingStatesFSA</code> <a href="chap4_mj.html#X7A1A2E47792F0C27">4.1-9</a> <br />
<code class="func">AccessibleFSA</code> <a href="chap4_mj.html#X8682C2477B038D80">4.1-29</a> <br />
<code class="func">AddEdgeFSA</code> <a href="chap4_mj.html#X861E772582C50021">4.1-24</a> <br />
<code class="func">AddLetterFSA</code> <a href="chap4_mj.html#X79244F2C7C3BF1A0">4.1-21</a> <br />
<code class="func">AddStateFSA</code> <a href="chap4_mj.html#X87E76EC885C533E8">4.1-18</a> <br />
<code class="func">Alphabet</code> <a href="chap2_mj.html#X7CF67C5E7F31F19A">2.2-5</a> <br />
<code class="func">AlphabetFSA</code> <a href="chap4_mj.html#X7BB0BDD785791A32">4.1-6</a> <br />
<a href="chap2_mj.html#X8388E29680F31ABD">2.9-1</a> <br />
<code class="func">AndFSA</code> <a href="chap4_mj.html#X813DA14C7DD4B370">4.2-8</a> <br />
automatic cosets program <a href="chap3_mj.html#X83CE52E17BB34E5F">3.3</a> <br />
automatic groups program <a href="chap2_mj.html#X8786DA3679BA75C8">2.6</a> <br />
<code class="func">AutomaticStructure</code> <a href="chap2_mj.html#X828FA0177E4C5733">2.6-1</a> <br />
<code class="func">AutomaticStructureOnCosets</code> <a href="chap3_mj.html#X7A2595DB84579665">3.3-1</a> <br />
<code class="func">AutomaticStructureOnCosetsWithSubgroupPresentation</code> <a href="chap3_mj.html#X7A2595DB84579665">3.3-1</a> <br />
<code class="func">BFSFSA</code> <a href="chap4_mj.html#X868F0428795F2594">4.1-33</a> <br />
<code class="func">ConcatFSA</code> <a href="chap4_mj.html#X7C13E593822442B7">4.2-10</a> <br />
<code class="func">DeleteEdgeFSA</code> <a href="chap4_mj.html#X7B15A2B5879610C8">4.1-25</a> <br />
<code class="func">DeleteLetterFSA</code> <a href="chap4_mj.html#X7E49F0E27D62BA29">4.1-22</a> <br />
<code class="func">DeleteStateFSA</code> <a href="chap4_mj.html#X879CB95C86BC78AC">4.1-19</a> <br />
<code class="func">DenseDTableFSA</code> <a href="chap4_mj.html#X7E583EFD877E5C76">4.1-11</a> <br />
<code class="func">DeterminizeFSA</code> <a href="chap4_mj.html#X7B8AF0EF79125730">4.2-1</a> <br />
<code class="func">EnumerateReducedCosetRepresentatives</code> <a href="chap3_mj.html#X84596FE47AFBCC91">3.5-2</a> <br />
<code class="func">EnumerateReducedWords</code> <a href="chap2_mj.html#X7CD646CD7AA2B718">2.8-3</a> <br />
<a href="chap2_mj.html#X7E98CC0078047A36">2.9</a> <br />
<code class="func">ExistsFSA</code> <a href="chap4_mj.html#X837FC04D82EF7638">4.2-6</a> <br />
external programs <a href="chap4_mj.html#X79A6F86484B6DAFE">4.2</a> <br />
<code class="func">ExternalWordToInternalWordOfRewritingSystem</code> <a href="chap2_mj.html#X8643F8C480036EC6">2.2-4</a> <br />
<a href="chap2_mj.html#X7A18778D836BC971">2.9-2</a> <br />
finite state automata <a href="chap4_mj.html#X7C0DD0867AF616E6">4.1</a> <br />
<code class="func">FirstWordDifferenceAutomaton</code> <a href="chap2_mj.html#X82CAA53A7926DA74">2.6-2</a> <br />
<code class="func">FreeStructureOfSystem</code> <a href="chap2_mj.html#X832A66088276451E">2.2-3</a> <br />
<code class="func">FSA</code> <a href="chap4_mj.html#X7E54AFBF87E6178D">4.1-3</a> <br />
<code class="func">GeneralMultiplier</code> <a href="chap2_mj.html#X82CAA53A7926DA74">2.6-2</a> <br />
<code class="func">GrowthFSA</code> <a href="chap4_mj.html#X7F7939727D8E8F39">4.2-12</a> <br />
<code class="func">GrowthFunction</code> <a href="chap2_mj.html#X7981EA28835C7A46">2.8-4</a> <br />
<code class="func">GrowthFunctionOfCosetRepresentatives</code> <a href="chap3_mj.html#X7D0F6F3781DF343D">3.5-3</a> <br />
<a href="chap2_mj.html#X7D680484821C7835">2.9-3</a> <br />
<code class="func">Index</code> <a href="chap3_mj.html#X83A0356F839C696F">3.5-1</a> <br />
<code class="func">InfoRWS</code> <a href="chap2_mj.html#X80C0185D8035B7F8">2.4-1</a> <br />
<code class="func">InitializeFSA</code> <a href="chap4_mj.html#X8566C07585AB9BFE">4.1-2</a> <br />
<code class="func">InitialStatesFSA</code> <a href="chap4_mj.html#X79C1FD457AD765AD">4.1-10</a> <br />
<code class="func">InternalWordToExternalWordOfRewritingSystem</code> <a href="chap2_mj.html#X8643F8C480036EC6">2.2-4</a> <br />
<code class="func">IsAcceptedWordDFA</code> <a href="chap4_mj.html#X7D605322790678FA">4.1-17</a> <br />
<code class="func">IsAccessibleFSA</code> <a href="chap4_mj.html#X873C8BBF814C1561">4.1-28</a> <br />
<code class="func">IsBFSFSA</code> <a href="chap4_mj.html#X7F06649787E078F6">4.1-32</a> <br />
<code class="func">IsConfluent</code> <a href="chap2_mj.html#X8006790B86328CE8">2.2-2</a> <br />
<code class="func">IsConfluentOnCosets</code> <a href="chap3_mj.html#X7832C01283EA446E">3.2-3</a> <br />
<code class="func">IsDeterministicFSA</code> <a href="chap4_mj.html#X8095E72D7F4BED3B">4.1-5</a> <br />
<code class="func">IsInitializedFSA</code> <a href="chap4_mj.html#X87AE05A77CDCE20F">4.1-1</a> <br />
<code class="func">IsKBMAGRewritingSystemRep</code> <a href="chap2_mj.html#X879AEB2885DB4988">2.2-1</a> <br />
<code class="func">IsReducedCosetRepresentative</code> <a href="chap3_mj.html#X7C27E5EE8462A720">3.4-1</a> <br />
<code class="func">IsReducedForm</code> <a href="chap2_mj.html#X84A3462B826AD47C">2.7-1</a> <br />
<code class="func">IsReducedWord</code> <a href="chap2_mj.html#X84A3462B826AD47C">2.7-1</a> <br />
<code class="func">IsRewritingSystem</code> <a href="chap2_mj.html#X879AEB2885DB4988">2.2-1</a> <br />
<code class="func">IsTrimFSA</code> <a href="chap4_mj.html#X86941B6A7C95B91F">4.1-30</a> <br />
<strong class="pkg">kbmag</strong> <a href="chap1_mj.html#X7DFB63A97E67C0A1">1.</a> <br />
<code class="func">KBMAGRewritingSystem</code> <a href="chap2_mj.html#X8722C57284F51940">2.1-1</a> <br />
Knuth-Bendix program <a href="chap2_mj.html#X830D97B5805251E0">2.5</a> <br />
Knuth-Bendix program on cosets <a href="chap3_mj.html#X7828AE2881251C6A">3.2</a> <br />
<code class="func">KnuthBendix</code> <a href="chap2_mj.html#X8412C40B7B2DC8E0">2.5-1</a> <br />
<code class="func">KnuthBendixOnCosets</code> <a href="chap3_mj.html#X822268027EF50066">3.2-1</a> <br />
<code class="func">KnuthBendixOnCosetsWithSubgroupRewritingSystem</code> <a href="chap3_mj.html#X822268027EF50066">3.2-1</a> <br />
<code class="func">LanguagesEqualFSA</code> <a href="chap4_mj.html#X8526528584A70717">4.2-11</a> <br />
<code class="func">LEnumerateDFA</code> <a href="chap4_mj.html#X8753DD8E7FAD4030">4.1-35</a> <br />
<code class="func">LSizeDFA</code> <a href="chap4_mj.html#X83612F7678F790C6">4.1-34</a> <br />
<code class="func">MakeConfluent</code> <a href="chap2_mj.html#X8412C40B7B2DC8E0">2.5-1</a> <br />
<code class="func">MinimizeFSA</code> <a href="chap4_mj.html#X858E2B79803E4320">4.2-2</a> <br />
<code class="func">NotFSA</code> <a href="chap4_mj.html#X78FF5D83848C9B8A">4.2-3</a> <br />
<code class="func">NumberOfLettersFSA</code> <a href="chap4_mj.html#X843A7B7681142B68">4.1-8</a> <br />
<code class="func">NumberOfStatesFSA</code> <a href="chap4_mj.html#X85E8D92D7EA2AA72">4.1-7</a> <br />
<code class="func">OptionsRecordOfKBMAGRewritingSystem</code> <a href="chap2_mj.html#X7C1BF15280B3CE5B">2.4-2</a> <br />
<code class="func">Order</code> <a href="chap2_mj.html#X84F59A2687C62763">2.8-2</a> <br />
<code class="func">OrderingOfKBMAGRewritingSystem</code> <a href="chap2_mj.html#X7E89CFE87973DD14">2.3-1</a> <br />
<code class="func">OrderingOfRewritingSystem</code> <a href="chap2_mj.html#X7E89CFE87973DD14">2.3-1</a> <br />
<code class="func">OrFSA</code> <a href="chap4_mj.html#X7D4FB82082DD4474">4.2-9</a> <br />
<code class="func">PermuteLettersFSA</code> <a href="chap4_mj.html#X7F660FCC7C845197">4.1-23</a> <br />
<code class="func">PermuteStatesFSA</code> <a href="chap4_mj.html#X849090A687418D32">4.1-20</a> <br />
<code class="func">PresentationOfSubgroupOfKBMAGRewritingSystem</code> <a href="chap3_mj.html#X7823571D7CD7F81D">3.3-2</a> <br />
<code class="func">ReducedCosetRepresentative</code> <a href="chap3_mj.html#X794181377A59DAC1">3.4-2</a> <br />
<code class="func">ReducedForm</code> <a href="chap2_mj.html#X7A5773A77C6BAC3F">2.7-2</a> <br />
<code class="func">ReducedFormOfCosetRepresentative</code> <a href="chap3_mj.html#X794181377A59DAC1">3.4-2</a> <br />
<code class="func">ReducedWord</code> <a href="chap2_mj.html#X7A5773A77C6BAC3F">2.7-2</a> <br />
<code class="func">ReductionAutomaton</code> <a href="chap2_mj.html#X7ED0190D7BDA74D7">2.5-2</a> <br />
<code class="func">ReorderAlphabetOfKBMAGRewritingSystem</code> <a href="chap2_mj.html#X7E89CFE87973DD14">2.3-1</a> <br />
<code class="func">ResetRewritingSystem</code> <a href="chap2_mj.html#X7AB017987DAE15E7">2.2-7</a> <br />
<code class="func">ResetRewritingSystemOnCosets</code> <a href="chap3_mj.html#X7CDC9FDA855596C4">3.1-2</a> <br />
<code class="func">ReverseFSA</code> <a href="chap4_mj.html#X7C474BA67D9B0273">4.2-5</a> <br />
, control parameters <a href="chap2_mj.html#X7BB411528630D4E9">2.4</a> <br />
creating <a href="chap2_mj.html#X7F474DEE787325CD">2.1</a> <br />
elementary functions <a href="chap2_mj.html#X85BFCE4B79A782D0">2.2</a> <br />
examples <a href="chap2_mj.html#X7E98CC0078047A36">2.9</a> <br />
setting the ordering <a href="chap2_mj.html#X7BDD01C183CD3234">2.3</a> <br />
creating <a href="chap3_mj.html#X7828AE2881251C6A">3.2</a> <br />
examples <a href="chap3_mj.html#X79BA526D818D1DE7">3.6</a> <br />
<code class="func">RewritingSystemOfSubgroupOfKBMAGRewritingSystem</code> <a href="chap3_mj.html#X857B2B40860C7F33">3.2-2</a> <br />
<code class="func">Rules</code> <a href="chap2_mj.html#X833EAA8C86356F42">2.2-6</a> <br />
<code class="func">SecondWordDifferenceAutomaton</code> <a href="chap2_mj.html#X82CAA53A7926DA74">2.6-2</a> <br />
<code class="func">SemigroupOfRewritingSytem</code> <a href="chap2_mj.html#X832A66088276451E">2.2-3</a> <br />
<code class="func">SetAcceptingFSA</code> <a href="chap4_mj.html#X86B8A7F58083F872">4.1-26</a> <br />
<code class="func">SetInitialFSA</code> <a href="chap4_mj.html#X79719ADF82A605B8">4.1-27</a> <br />
<code class="func">SetOrderingOfKBMAGRewritingSystem</code> <a href="chap2_mj.html#X7E89CFE87973DD14">2.3-1</a> <br />
<code class="func">Size</code> <a href="chap2_mj.html#X858ADA3B7A684421">2.8-1</a> <br />
<code class="func">SizeOfAlphabetFSA</code> <a href="chap4_mj.html#X843A7B7681142B68">4.1-8</a> <br />
<code class="func">SourcesFSA</code> <a href="chap4_mj.html#X7C036453817D1D81">4.1-15</a> <br />
<code class="func">SparseTableFSA</code> <a href="chap4_mj.html#X7C105C9E8549F356">4.1-12</a> <br />
stand-alone package <a href="chap4_mj.html#X7E2A9D617D06547C">4.</a> <br />
<code class="func">StarFSA</code> <a href="chap4_mj.html#X7F14B8B1817981B5">4.2-4</a> <br />
<code class="func">StatesFSA</code> <a href="chap4_mj.html#X7BB0BDD785791A32">4.1-6</a> <br />
<code class="func">SubgroupOfKBMAGRewritingSystem</code> <a href="chap3_mj.html#X834DC6477EE1482B">3.1-1</a> <br />
<code class="func">SwapCoordsFSA</code> <a href="chap4_mj.html#X788520037939B0F1">4.2-7</a> <br />
<code class="func">TargetDFA</code> <a href="chap4_mj.html#X7E64B44A7F30EC6D">4.1-13</a> <br />
<code class="func">TargetsFSA</code> <a href="chap4_mj.html#X85ED262883274F58">4.1-14</a> <br />
<code class="func">TrimFSA</code> <a href="chap4_mj.html#X7DABF5A87D9CF3F0">4.1-31</a> <br />
<code class="func">WordAcceptor</code> <a href="chap2_mj.html#X82CAA53A7926DA74">2.6-2</a> <br />
<code class="func">WordMonoidOfRewritingSystem</code> <a href="chap2_mj.html#X832A66088276451E">2.2-3</a> <br />
<code class="func">WordTargetDFA</code> <a href="chap4_mj.html#X847110228341E4A0">4.1-16</a> <br />
<code class="func">WriteFSA</code> <a href="chap4_mj.html#X83AB55DB784F6919">4.1-4</a> <br />
<p> </p>
</div>
<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chapBib_mj.html">[Previous Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland
