|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Automata",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Copyright", "0.0-1", [ 0, 0, 1 ], 40, 2, "copyright",
"X81488B807F2A1CF1" ],
[ "Acknowledgements", "0.0-2", [ 0, 0, 2 ], 52, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Colophon", "0.0-3", [ 0, 0, 3 ], 90, 2, "colophon", "X7982162280BC7A61" ]
,
[ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 112, 4, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 6, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YFinite Automata\033[133X\033[101X", "2",
[ 2, 0, 0 ], 1, 8, "finite automata", "X811E5FC2849C5644" ],
[ "\033[1X\033[33X\033[0;-2YAutomata generation\033[133X\033[101X", "2.1",
[ 2, 1, 0 ], 23, 8, "automata generation", "X821C3B3687B1F2FF" ],
[ "\033[1X\033[33X\033[0;-2YAutomata internals\033[133X\033[101X", "2.2",
[ 2, 2, 0 ], 236, 12, "automata internals", "X80AB906D86BBC153" ],
[ "\033[1X\033[33X\033[0;-2YComparison of automata\033[133X\033[101X",
"2.3", [ 2, 3, 0 ], 368, 14, "comparison of automata",
"X8454E24E7D9FC1C2" ],
[ "\033[1X\033[33X\033[0;-2YTests involving automata\033[133X\033[101X",
"2.4", [ 2, 4, 0 ], 384, 14, "tests involving automata",
"X867887A683961C63" ],
[ "\033[1X\033[33X\033[0;-2YBasic operations\033[133X\033[101X", "2.5",
[ 2, 5, 0 ], 494, 16, "basic operations", "X82EB5BE77F9F686A" ],
[ "\033[1X\033[33X\033[0;-2YLinks with Semigroups\033[133X\033[101X",
"2.6", [ 2, 6, 0 ], 727, 20, "links with semigroups",
"X79F21CB37B34A354" ],
[ "\033[1X\033[33X\033[0;-2YRational languages\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 22, "rational languages", "X833D315483172905" ],
[ "\033[1X\033[33X\033[0;-2YRational Expressions\033[133X\033[101X", "3.1",
[ 3, 1, 0 ], 9, 22, "rational expressions", "X7C144D368043DE01" ],
[
"\033[1X\033[33X\033[0;-2YComparison of rational expressions\033[133X\033[1\
01X", "3.2", [ 3, 2, 0 ], 176, 25, "comparison of rational expressions",
"X7FB9270D7E8FABF3" ],
[
"\033[1X\033[33X\033[0;-2YOperations with rational languages\033[133X\033[1\
01X", "3.3", [ 3, 3, 0 ], 189, 25, "operations with rational languages",
"X83A280D47DB3A033" ],
[
"\033[1X\033[33X\033[0;-2YAutomata \033[13Xversus\033[113X\033[101X\027\\
033[1X\027 rational expressions\033[133X\033[101X", "4", [ 4, 0, 0 ], 1, 27,
"automata versus rational expressions", "X7B5CD9B7796BD926" ],
[
"\033[1X\033[33X\033[0;-2YFrom automata to rational expressions\033[133X\\
033[101X", "4.1", [ 4, 1, 0 ], 12, 27, "from automata to rational expressions"
, "X7E631B92873300C1" ],
[
"\033[1X\033[33X\033[0;-2YFrom rational expression to automata\033[133X\\
033[101X", "4.2", [ 4, 2, 0 ], 34, 27, "from rational expression to automata",
"X8138227D7E65FC8C" ],
[ "\033[1X\033[33X\033[0;-2YSome tests on automata\033[133X\033[101X",
"4.3", [ 4, 3, 0 ], 94, 28, "some tests on automata",
"X85DCEFB88712056E" ],
[
"\033[1X\033[33X\033[0;-2YSome functions involving automata\033[133X\033[10\
1X", "5", [ 5, 0, 0 ], 1, 31, "some functions involving automata",
"X7919AA9384EBC6A5" ],
[ "\033[1X\033[33X\033[0;-2YFrom one type to another\033[133X\033[101X",
"5.1", [ 5, 1, 0 ], 8, 31, "from one type to another",
"X8050E142796E0CBF" ],
[
"\033[1X\033[33X\033[0;-2YMinimalization of an automaton\033[133X\033[101X"
, "5.2", [ 5, 2, 0 ], 153, 34, "minimalization of an automaton",
"X862A34E9801BEB25" ],
[ "\033[1X\033[33X\033[0;-2YFinite regular languages\033[133X\033[101X",
"6", [ 6, 0, 0 ], 1, 38, "finite regular languages",
"X7AF3E5D081126EBD" ],
[
"\033[1X\033[33X\033[0;-2YDealing with finite regular languages\033[133X\\
033[101X", "6.1", [ 6, 1, 0 ], 6, 38, "dealing with finite regular languages",
"X85643AEB7E7FB39A" ],
[ "\033[1X\033[33X\033[0;-2YDirected graphs\033[133X\033[101X", "a",
[ "A", 0, 0 ], 1, 40, "directed graphs", "X82FB3D357E1BE288" ],
[ "\033[1X\033[33X\033[0;-2YDirected graphs\033[133X\033[101X", "a.1",
[ "A", 1, 0 ], 9, 40, "directed graphs", "X82FB3D357E1BE288" ],
[ "\033[1X\033[33X\033[0;-2YDrawing automata\033[133X\033[101X", "b",
[ "B", 0, 0 ], 1, 45, "drawing automata", "X82D249F0793E6561" ],
[
"\033[1X\033[33X\033[0;-2YInstalling some external programs\033[133X\033[10\
1X", "b.1", [ "B", 1, 0 ], 8, 45, "installing some external programs",
"X7988DBAB78EA0C06" ],
[ "\033[1X\033[33X\033[0;-2YFunctions to draw automata\033[133X\033[101X",
"b.2", [ "B", 2, 0 ], 15, 45, "functions to draw automata",
"X84C97CA079719B11" ],
[
"\033[1X\033[33X\033[0;-2YInverse automata and subgroups of the free group\\
033[133X\033[101X", "c", [ "C", 0, 0 ], 1, 53,
"inverse automata and subgroups of the free group", "X7DBBB0537ADC9899"
],
[
"\033[1X\033[33X\033[0;-2YFrom subgroups to inverse automata\033[133X\033[1\
01X", "c.1", [ "C", 1, 0 ], 9, 53, "from subgroups to inverse automata",
"X7DDDA5127A3D170C" ],
[
"\033[1X\033[33X\033[0;-2YFrom inverse automata to subgroups\033[133X\033[1\
01X", "c.2", [ "C", 2, 0 ], 112, 55, "from inverse automata to subgroups",
"X85F2060A86DBE62B" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 56, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 56, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 57, "index", "X83A0356F839C696F" ],
[ "\033[2XAutomaton\033[102X", "2.1-1", [ 2, 1, 1 ], 28, 8, "automaton",
"X87D8222D7B50731E" ],
[ "\033[2XIsAutomaton\033[102X", "2.1-2", [ 2, 1, 2 ], 122, 10,
"isautomaton", "X83CCDEF9814F1E6D" ],
[ "\033[2XIsDeterministicAutomaton\033[102X", "2.1-3", [ 2, 1, 3 ], 135,
10, "isdeterministicautomaton", "X7D39CECC7E12DD8A" ],
[ "\033[2XIsNonDeterministicAutomaton\033[102X", "2.1-4", [ 2, 1, 4 ], 147,
10, "isnondeterministicautomaton", "X83C1148481BAA3DD" ],
[ "\033[2XIsEpsilonAutomaton\033[102X", "2.1-5", [ 2, 1, 5 ], 159, 10,
"isepsilonautomaton", "X81EC5331790D6022" ],
[ "\033[2XString\033[102X", "2.1-6", [ 2, 1, 6 ], 171, 11, "string",
"X81FB5BE27903EC32" ],
[ "\033[2XRandomAutomaton\033[102X", "2.1-7", [ 2, 1, 7 ], 194, 11,
"randomautomaton", "X801019097C93BCCC" ],
[ "\033[2XAlphabetOfAutomaton\033[102X", "2.2-1", [ 2, 2, 1 ], 242, 12,
"alphabetofautomaton", "X7A34B47778B50FFE" ],
[ "\033[2XAlphabetOfAutomatonAsList\033[102X", "2.2-2", [ 2, 2, 2 ], 254,
12, "alphabetofautomatonaslist", "X8044B24B82C59BBF" ],
[ "\033[2XTransitionMatrixOfAutomaton\033[102X", "2.2-3", [ 2, 2, 3 ], 287,
13, "transitionmatrixofautomaton", "X872BB42A81E4D0E7" ],
[ "\033[2XInitialStatesOfAutomaton\033[102X", "2.2-4", [ 2, 2, 4 ], 299,
13, "initialstatesofautomaton", "X7B5C3CFA83FF80EA" ],
[ "\033[2XSetInitialStatesOfAutomaton\033[102X", "2.2-5", [ 2, 2, 5 ], 311,
13, "setinitialstatesofautomaton", "X8408FE8487028B7F" ],
[ "\033[2XFinalStatesOfAutomaton\033[102X", "2.2-6", [ 2, 2, 6 ], 328, 13,
"finalstatesofautomaton", "X78CDDCC27D085F00" ],
[ "\033[2XSetFinalStatesOfAutomaton\033[102X", "2.2-7", [ 2, 2, 7 ], 340,
14, "setfinalstatesofautomaton", "X80689F1480F9D959" ],
[ "\033[2XNumberStatesOfAutomaton\033[102X", "2.2-8", [ 2, 2, 8 ], 356, 14,
"numberstatesofautomaton", "X7D22AD207A3D5FF4" ],
[ "\033[2XIsDenseAutomaton\033[102X", "2.4-1", [ 2, 4, 1 ], 389, 15,
"isdenseautomaton", "X8356E41086482483" ],
[ "\033[2XIsRecognizedByAutomaton\033[102X", "2.4-2", [ 2, 4, 2 ], 402, 15,
"isrecognizedbyautomaton", "X8676D8388053F1E7" ],
[ "\033[2XIsPermutationAutomaton\033[102X", "2.4-3", [ 2, 4, 3 ], 420, 15,
"ispermutationautomaton", "X80CCDD438258CD25" ],
[ "\033[2XIsInverseAutomaton\033[102X", "2.4-4", [ 2, 4, 4 ], 433, 15,
"isinverseautomaton", "X7B7CA23680888C9C" ],
[ "\033[2XAddInverseEdgesToInverseAutomaton\033[102X", "2.4-5",
[ 2, 4, 5 ], 452, 16, "addinverseedgestoinverseautomaton",
"X7A4CDEFB84B97849" ],
[ "\033[2XIsReversibleAutomaton\033[102X", "2.4-6", [ 2, 4, 6 ], 479, 16,
"isreversibleautomaton", "X8321BCE57E55FB30" ],
[ "\033[2XCopyAutomaton\033[102X", "2.5-1", [ 2, 5, 1 ], 497, 16,
"copyautomaton", "X8225A1B886131707" ],
[ "\033[2XNullCompletionAutomaton\033[102X", "2.5-2", [ 2, 5, 2 ], 503, 16,
"nullcompletionautomaton", "X80D423A584246E2E" ],
[ "\033[2XListSinkStatesAut\033[102X", "2.5-3", [ 2, 5, 3 ], 529, 17,
"listsinkstatesaut", "X79F052EC81135807" ],
[ "\033[2XRemovedSinkStates\033[102X", "2.5-4", [ 2, 5, 4 ], 544, 17,
"removedsinkstates", "X8240136E7A26B1A6" ],
[ "\033[2XReversedAutomaton\033[102X", "2.5-5", [ 2, 5, 5 ], 568, 18,
"reversedautomaton", "X7C0526217BFE7A65" ],
[ "\033[2XPermutedAutomaton\033[102X", "2.5-6", [ 2, 5, 6 ], 585, 18,
"permutedautomaton", "X7A4A066583C71ABE" ],
[ "\033[2XListPermutedAutomata\033[102X", "2.5-7", [ 2, 5, 7 ], 609, 18,
"listpermutedautomata", "X7A72DDF0782E8D5E" ],
[ "\033[2XNormalizedAutomaton\033[102X", "2.5-8", [ 2, 5, 8 ], 626, 19,
"normalizedautomaton", "X7FA7DF6D87D63D67" ],
[ "\033[2XUnionAutomata\033[102X", "2.5-9", [ 2, 5, 9 ], 650, 19,
"unionautomata", "X7A94A77A7C65BA90" ],
[ "\033[2XProductAutomaton\033[102X", "2.5-10", [ 2, 5, 10 ], 671, 19,
"productautomaton", "X83E772F2878546A4" ],
[ "\033[2XProductOfLanguages\033[102X", "2.5-11", [ 2, 5, 11 ], 707, 20,
"productoflanguages", "X85F6AD697DCA5765" ],
[ "\033[2XTransitionSemigroup\033[102X", "2.6-1", [ 2, 6, 1 ], 734, 20,
"transitionsemigroup", "X7B9994827CF94CC7" ],
[ "\033[2XSyntacticSemigroupAut\033[102X", "2.6-2", [ 2, 6, 2 ], 751, 21,
"syntacticsemigroupaut", "X7E3F29DF86A26347" ],
[ "\033[2XSyntacticSemigroupLang\033[102X", "2.6-3", [ 2, 6, 3 ], 766, 21,
"syntacticsemigrouplang", "X7D058F0D83D7B49B" ],
[ "rational expressions", "3.0", [ 3, 0, 0 ], 1, 22, "rational expressions",
"X833D315483172905" ],
[ "\033[2XRationalExpression\033[102X", "3.1-1", [ 3, 1, 1 ], 15, 22,
"rationalexpression", "X801EC6F38568426D" ],
[ "\033[2XRatExpOnnLetters\033[102X", "3.1-2", [ 3, 1, 2 ], 38, 22,
"ratexponnletters", "X7EE5A70F7F237C41" ],
[ "\033[2XRandomRatExp\033[102X", "3.1-3", [ 3, 1, 3 ], 67, 23,
"randomratexp", "X7DA59CBE8571796C" ],
[ "\033[2XSizeRatExp\033[102X", "3.1-4", [ 3, 1, 4 ], 86, 23, "sizeratexp",
"X7E3AA84784019E6C" ],
[ "\033[2XIsRationalExpression\033[102X", "3.1-5", [ 3, 1, 5 ], 100, 23,
"isrationalexpression", "X7DDB46817D6E79BE" ],
[ "\033[2XAlphabetOfRatExp\033[102X", "3.1-6", [ 3, 1, 6 ], 115, 24,
"alphabetofratexp", "X8773359880149A98" ],
[ "\033[2XAlphabetOfRatExpAsList\033[102X", "3.1-7", [ 3, 1, 7 ], 138, 24,
"alphabetofratexpaslist", "X84B9922B7C006158" ],
[ "\033[2XCopyRatExp\033[102X", "3.1-8", [ 3, 1, 8 ], 163, 25,
"copyratexp", "X786A096681CAC3CD" ],
[ "\033[2XUnionRatExp\033[102X", "3.3-1", [ 3, 3, 1 ], 204, 25,
"unionratexp", "X8206BD4E82A81D8F" ],
[ "\033[2XProductRatExp\033[102X", "3.3-2", [ 3, 3, 2 ], 207, 25,
"productratexp", "X7E29107587611CE2" ],
[ "\033[2X StarRatExp\033[102X", "3.3-3", [ 3, 3, 3 ], 210, 25,
"starratexp", "X83D8DAE6862C8A96" ],
[ "\033[2XAutomatonToRatExp \033[102X", "4.1-1", [ 4, 1, 1 ], 15, 27,
"automatontoratexp", "X8751E3927CA4DEA1" ],
[ "\033[2XAutToRatExp\033[102X", "4.1-1", [ 4, 1, 1 ], 15, 27,
"auttoratexp", "X8751E3927CA4DEA1" ],
[ "\033[2XFAtoRatExp\033[102X", "4.1-1", [ 4, 1, 1 ], 15, 27, "fatoratexp",
"X8751E3927CA4DEA1" ],
[ "\033[2XRatExpToNDAut\033[102X", "4.2-1", [ 4, 2, 1 ], 37, 27,
"ratexptondaut", "X840EEB7B7DD8B03D" ],
[ "\033[2XRatExpToAutomaton\033[102X", "4.2-2", [ 4, 2, 2 ], 64, 28,
"ratexptoautomaton", "X866BCCB2788E8561" ],
[ "\033[2XRatExpToAut\033[102X", "4.2-2", [ 4, 2, 2 ], 64, 28,
"ratexptoaut", "X866BCCB2788E8561" ],
[ "\033[2XIsEmptyLang\033[102X", "4.3-1", [ 4, 3, 1 ], 100, 29,
"isemptylang", "X84E0143A860889A6" ],
[ "\033[2XIsFullLang\033[102X", "4.3-2", [ 4, 3, 2 ], 118, 29,
"isfulllang", "X86AA1A5F7E1EEAFE" ],
[ "\033[2XAreEqualLang\033[102X", "4.3-3", [ 4, 3, 3 ], 136, 29,
"areequallang", "X8346D1B17DBF96E7" ],
[ "\033[2XAreEquivAut\033[102X", "4.3-3", [ 4, 3, 3 ], 136, 29,
"areequivaut", "X8346D1B17DBF96E7" ],
[ "\033[2XIsContainedLang\033[102X", "4.3-4", [ 4, 3, 4 ], 171, 30,
"iscontainedlang", "X7FCB176285FA5BBB" ],
[ "\033[2XAreDisjointLang\033[102X", "4.3-5", [ 4, 3, 5 ], 190, 30,
"aredisjointlang", "X83F1DE067C2D31A5" ],
[ "\033[2XEpsilonToNFA\033[102X", "5.1-1", [ 5, 1, 1 ], 15, 31,
"epsilontonfa", "X81E06D518428CA3C" ],
[ "\033[2XEpsilonToNFASet\033[102X", "5.1-2", [ 5, 1, 2 ], 41, 32,
"epsilontonfaset", "X81DC84E17A170270" ],
[ "\033[2XEpsilonCompactedAut\033[102X", "5.1-3", [ 5, 1, 3 ], 50, 32,
"epsiloncompactedaut", "X871F807D79CE148C" ],
[ "\033[2XReducedNFA\033[102X", "5.1-4", [ 5, 1, 4 ], 78, 32, "reducednfa",
"X83B0473278DC14F3" ],
[ "\033[2XNFAtoDFA\033[102X", "5.1-5", [ 5, 1, 5 ], 105, 33, "nfatodfa",
"X87D0F9F17F2BEB57" ],
[ "\033[2XFuseSymbolsAut\033[102X", "5.1-6", [ 5, 1, 6 ], 130, 33,
"fusesymbolsaut", "X7B61945581FE4AC6" ],
[ "\033[2XUsefulAutomaton\033[102X", "5.2-1", [ 5, 2, 1 ], 163, 34,
"usefulautomaton", "X7B5B5B10868FB525" ],
[ "\033[2XMinimalizedAut\033[102X", "5.2-2", [ 5, 2, 2 ], 187, 34,
"minimalizedaut", "X83C26846866AEE46" ],
[ "\033[2X MinimalAutomaton\033[102X", "5.2-3", [ 5, 2, 3 ], 210, 35,
"minimalautomaton", "X7F7AE088808A5D00" ],
[ "\033[2XAccessibleStates\033[102X", "5.2-4", [ 5, 2, 4 ], 234, 35,
"accessiblestates", "X7F484D5A781BB643" ],
[ "\033[2XAccessibleAutomaton\033[102X", "5.2-5", [ 5, 2, 5 ], 254, 35,
"accessibleautomaton", "X804A6BC979DA6E61" ],
[ "\033[2XIntersectionLanguage\033[102X", "5.2-6", [ 5, 2, 6 ], 282, 36,
"intersectionlanguage", "X7BAACCAF7E2D213B" ],
[ "\033[2XIntersectionAutomaton\033[102X", "5.2-6", [ 5, 2, 6 ], 282, 36,
"intersectionautomaton", "X7BAACCAF7E2D213B" ],
[ "\033[2XAutomatonAllPairsPaths\033[102X", "5.2-7", [ 5, 2, 7 ], 317, 36,
"automatonallpairspaths", "X8460C44386EE6225" ],
[ "\033[2XIsFiniteRegularLanguage\033[102X", "6.1-1", [ 6, 1, 1 ], 9, 38,
"isfiniteregularlanguage", "X82971FC2851B7B30" ],
[ "\033[2XFiniteRegularLanguageToListOfWords\033[102X", "6.1-2",
[ 6, 1, 2 ], 25, 38, "finiteregularlanguagetolistofwords",
"X7E48CD3E78277FF7" ],
[ "\033[2XListOfWordsToAutomaton\033[102X", "6.1-3", [ 6, 1, 3 ], 39, 38,
"listofwordstoautomaton", "X7F9C5C6F815773E6" ],
[ "\033[2XRandomDiGraph\033[102X", "a.1-1", [ "A", 1, 1 ], 17, 41,
"randomdigraph", "X86CF9F66788B2A24" ],
[ "\033[2XVertexInDegree\033[102X", "a.1-2", [ "A", 1, 2 ], 28, 41,
"vertexindegree", "X868EE741872B932D" ],
[ "\033[2XVertexOutDegree\033[102X", "a.1-3", [ "A", 1, 3 ], 40, 41,
"vertexoutdegree", "X84DF2E8E7A7B32C6" ],
[ "\033[2XAutoVertexDegree\033[102X", "a.1-4", [ "A", 1, 4 ], 52, 41,
"autovertexdegree", "X7FA6FAAE7AA8715D" ],
[ "\033[2XReversedGraph\033[102X", "a.1-5", [ "A", 1, 5 ], 64, 41,
"reversedgraph", "X7BA5F1DF7DA89DC5" ],
[ "\033[2XAutoConnectedComponents\033[102X", "a.1-6", [ "A", 1, 6 ], 81,
42, "autoconnectedcomponents", "X7F23780E7A12A79E" ],
[ "\033[2XGraphStronglyConnectedComponents\033[102X", "a.1-7",
[ "A", 1, 7 ], 96, 42, "graphstronglyconnectedcomponents",
"X7D5288C982F92481" ],
[ "\033[2XUnderlyingMultiGraphOfAutomaton\033[102X", "a.1-8",
[ "A", 1, 8 ], 108, 42, "underlyingmultigraphofautomaton",
"X859B7C517AFBD198" ],
[ "\033[2XUnderlyingGraphOfAutomaton\033[102X", "a.1-9", [ "A", 1, 9 ],
127, 42, "underlyinggraphofautomaton", "X78CF8E507E100C62" ],
[ "\033[2XDiGraphToRelation\033[102X", "a.1-10", [ "A", 1, 10 ], 146, 43,
"digraphtorelation", "X78869D478792B3AD" ],
[ "\033[2XMSccAutomaton\033[102X", "a.1-11", [ "A", 1, 11 ], 160, 43,
"msccautomaton", "X7D63604A8413AAAF" ],
[ "\033[2XAutoIsAcyclicGraph\033[102X", "a.1-12", [ "A", 1, 12 ], 191, 44,
"autoisacyclicgraph", "X7971EE367B6B7F36" ],
[ "\033[2XDrawAutomaton\033[102X", "b.2-1", [ "B", 2, 1 ], 18, 45,
"drawautomaton", "X7BC2FDA77FD0237B" ],
[ "\033[2XDotForDrawingAutomaton\033[102X", "b.2-2", [ "B", 2, 2 ], 45, 47,
"dotfordrawingautomaton", "X7896CAD4832C7748" ],
[ "\033[2XDrawSubAutomaton\033[102X", "b.2-3", [ "B", 2, 3 ], 105, 48,
"drawsubautomaton", "X84DF99868747DD69" ],
[ "\033[2XDotStringForDrawingSubAutomaton\033[102X", "b.2-4",
[ "B", 2, 4 ], 126, 49, "dotstringfordrawingsubautomaton",
"X7BB5015378320678" ],
[ "\033[2XDotStringForDrawingGraph\033[102X", "b.2-5", [ "B", 2, 5 ], 212,
50, "dotstringfordrawinggraph", "X7870774E83892026" ],
[ "\033[2XDrawGraph\033[102X", "b.2-5", [ "B", 2, 5 ], 212, 50,
"drawgraph", "X7870774E83892026" ],
[ "\033[2XDrawSCCAutomaton\033[102X", "b.2-6", [ "B", 2, 6 ], 244, 51,
"drawsccautomaton", "X7E478FDD807853CA" ],
[ "\033[2XGeneratorsToListRepresentation\033[102X", "c.1-1", [ "C", 1, 1 ],
30, 53, "generatorstolistrepresentation", "X85358D097C314EB5" ],
[ "\033[2XListToGeneratorsRepresentation\033[102X", "c.1-2", [ "C", 1, 2 ],
40, 53, "listtogeneratorsrepresentation", "X80F3E10784590374" ],
[ "\033[2XFlowerAutomaton\033[102X", "c.1-3", [ "C", 1, 3 ], 50, 54,
"flowerautomaton", "X7EAFF7E879D115C5" ],
[ "\033[2XFoldFlowerAutomaton\033[102X", "c.1-4", [ "C", 1, 4 ], 70, 54,
"foldflowerautomaton", "X7F729A4E8784D92E" ],
[ "\033[2XSubgroupGenToInvAut\033[102X", "c.1-5", [ "C", 1, 5 ], 93, 54,
"subgroupgentoinvaut", "X826D581D794F1BFB" ],
[ "\033[2XGeodesicTreeOfInverseAutomaton\033[102X", "c.2-1", [ "C", 2, 1 ],
120, 55, "geodesictreeofinverseautomaton", "X81DA149779A167BD" ],
[ "\033[2XInverseAutomatonToGenerators\033[102X", "c.2-2", [ "C", 2, 2 ],
140, 55, "inverseautomatontogenerators", "X7F117C43814F2CDE" ] ]
);
[ Dauer der Verarbeitung: 0.20 Sekunden
(vorverarbeitet)
]
|
