|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "PatternClass",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Table of Contents", "0.0-1", [ 0, 0, 1 ], 61, 2, "table of contents",
"X8537FEB07AF2BEC8" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1",
[ 1, 0, 0 ], 1, 4, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YToken Passing Networks\033[133X\033[101X", "2",
[ 2, 0, 0 ], 1, 5, "token passing networks", "X7C769071875E96B2" ],
[ "\033[1X\033[33X\033[0;-2YSpecific TPN\033[133X\033[101X", "2.1",
[ 2, 1, 0 ], 35, 5, "specific tpn", "X80EE110279808BD3" ],
[ "\033[1X\033[33X\033[0;-2YPermutation Encoding\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 9, "permutation encoding", "X8696E21E80C1AEC1" ],
[ "\033[1X\033[33X\033[0;-2YEncoding and Decoding\033[133X\033[101X",
"3.1", [ 3, 1, 0 ], 42, 10, "encoding and decoding",
"X793F8BF48048365F" ],
[ "\033[1X\033[33X\033[0;-2YFrom Networks to Automata\033[133X\033[101X",
"4", [ 4, 0, 0 ], 1, 11, "from networks to automata",
"X84E9957A81BF938D" ],
[ "\033[1X\033[33X\033[0;-2YFunctions\033[133X\033[101X", "4.1",
[ 4, 1, 0 ], 17, 11, "functions", "X86FA580F8055B274" ],
[ "\033[1X\033[33X\033[0;-2YFrom Automata to Networks\033[133X\033[101X",
"5", [ 5, 0, 0 ], 1, 19, "from automata to networks",
"X78223796785BC628" ],
[ "\033[1X\033[33X\033[0;-2YFunctions\033[133X\033[101X", "5.1",
[ 5, 1, 0 ], 10, 19, "functions", "X86FA580F8055B274" ],
[ "\033[1X\033[33X\033[0;-2YPattern Classes\033[133X\033[101X", "6",
[ 6, 0, 0 ], 1, 22, "pattern classes", "X85A198CB7EBA4BDE" ],
[ "\033[1X\033[33X\033[0;-2YTransducers\033[133X\033[101X", "6.1",
[ 6, 1, 0 ], 13, 22, "transducers", "X843CB33182B8E477" ],
[
"\033[1X\033[33X\033[0;-2YFrom Class to Basis and vice versa\033[133X\033[1\
01X", "6.2", [ 6, 2, 0 ], 148, 26, "from class to basis and vice versa",
"X7CFEC6DB7CA880CC" ],
[ "\033[1X\033[33X\033[0;-2YDirect Sum of Regular Classes\033[133X\033[101X"
, "6.3", [ 6, 3, 0 ], 350, 29, "direct sum of regular classes",
"X8218BF7787571EE0" ],
[ "\033[1X\033[33X\033[0;-2YStatistical Inspections\033[133X\033[101X",
"6.4", [ 6, 4, 0 ], 384, 30, "statistical inspections",
"X80F7EB16817DDB99" ],
[ "\033[1X\033[33X\033[0;-2YSome Permutation Essentials\033[133X\033[101X",
"7", [ 7, 0, 0 ], 1, 32, "some permutation essentials",
"X81DB657E7FEF0295" ],
[ "\033[1X\033[33X\033[0;-2YComplement\033[133X\033[101X", "7.1",
[ 7, 1, 0 ], 7, 32, "complement", "X80E3E5BB8156C6A1" ],
[ "\033[1X\033[33X\033[0;-2YRank Encoding\033[133X\033[101X", "7.2",
[ 7, 2, 0 ], 28, 32, "rank encoding", "X8453836D83A63E54" ],
[ "\033[1X\033[33X\033[0;-2YProperties of Permutations\033[133X\033[101X",
"8", [ 8, 0, 0 ], 1, 33, "properties of permutations",
"X87A0210C7BCFBA99" ],
[ "\033[1X\033[33X\033[0;-2YIntervals in Permutations\033[133X\033[101X",
"8.1", [ 8, 1, 0 ], 16, 33, "intervals in permutations",
"X85B2BC647868C9C4" ],
[ "\033[1X\033[33X\033[0;-2YSimplicity\033[133X\033[101X", "8.2",
[ 8, 2, 0 ], 40, 33, "simplicity", "X7B82346E7E2C330C" ],
[
"\033[1X\033[33X\033[0;-2YPoint Deletion in Simple Permutations\033[133X\\
033[101X", "8.3", [ 8, 3, 0 ], 65, 34, "point deletion in simple permutations"
, "X7A6836EC7E9CE3D8" ],
[ "\033[1X\033[33X\033[0;-2YBlock-Decomposition\033[133X\033[101X", "8.4",
[ 8, 4, 0 ], 126, 35, "block-decomposition", "X87EB37927F40662B" ],
[ "\033[1X\033[33X\033[0;-2YPlus-Decomposability\033[133X\033[101X", "8.5",
[ 8, 5, 0 ], 189, 36, "plus-decomposability", "X8278DD0F7F128656" ],
[ "\033[1X\033[33X\033[0;-2YMinus-Decomposability\033[133X\033[101X",
"8.6", [ 8, 6, 0 ], 223, 37, "minus-decomposability",
"X801EF8FB79F18910" ],
[ "\033[1X\033[33X\033[0;-2YSums of Permutations\033[133X\033[101X", "8.7",
[ 8, 7, 0 ], 259, 37, "sums of permutations", "X7B7C59AA84E3425C" ],
[
"\033[1X\033[33X\033[0;-2YRegular Languages of Sets of Permutations\033[133\
X\033[101X", "9", [ 9, 0, 0 ], 1, 39,
"regular languages of sets of permutations", "X7E9C84807FCB6408" ],
[ "\033[1X\033[33X\033[0;-2YInversions in Permutations\033[133X\033[101X",
"9.1", [ 9, 1, 0 ], 7, 39, "inversions in permutations",
"X82F103DB7A446E7B" ],
[
"\033[1X\033[33X\033[0;-2YPlus- and Minus-(In)Decomposablilty\033[133X\033[\
101X", "9.2", [ 9, 2, 0 ], 62, 40, "plus- and minus- in decomposablilty",
"X8603B5A3872690FD" ],
[
"\033[1X\033[33X\033[0;-2YLanguage of all non-simple permutations\033[133X\\
033[101X", "9.3", [ 9, 3, 0 ], 162, 42,
"language of all non-simple permutations", "X80E741077DE09F63" ],
[ "\033[1X\033[33X\033[0;-2YSimplicity\033[133X\033[101X", "9.4",
[ 9, 4, 0 ], 367, 45, "simplicity", "X7B82346E7E2C330C" ],
[ "\033[1X\033[33X\033[0;-2YExceptionality\033[133X\033[101X", "9.5",
[ 9, 5, 0 ], 401, 46, "exceptionality", "X82CA692F808FA08F" ],
[ "\033[1X\033[33X\033[0;-2YMiscellaneous functions\033[133X\033[101X",
"10", [ 10, 0, 0 ], 1, 47, "miscellaneous functions",
"X8308D685809A4E2F" ],
[ "\033[1X\033[33X\033[0;-2YPermutation Inclusion Set\033[133X\033[101X",
"10.1", [ 10, 1, 0 ], 7, 47, "permutation inclusion set",
"X81D407EF82C4B194" ],
[ "\033[1X\033[33X\033[0;-2YAutomaton Manipulation\033[133X\033[101X",
"10.2", [ 10, 2, 0 ], 71, 48, "automaton manipulation",
"X7A2B46957AB49125" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 50, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 50, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 51, "index", "X83A0356F839C696F" ],
[ "\033[2XParstacks\033[102X", "2.1-1", [ 2, 1, 1 ], 41, 6, "parstacks",
"X85AFF5537F917AEB" ],
[ "\033[2XSeqstacks\033[102X", "2.1-2", [ 2, 1, 2 ], 63, 7, "seqstacks",
"X7D6D07D980634845" ],
[ "\033[2XBufferAndStack\033[102X", "2.1-3", [ 2, 1, 3 ], 86, 8,
"bufferandstack", "X81E3656E85CB6EB7" ],
[ "\033[2XRankEncoding\033[102X", "3.1-1", [ 3, 1, 1 ], 45, 10,
"rankencoding", "X8143AF3D79F4CC1D" ],
[ "\033[2XRankDecoding\033[102X", "3.1-2", [ 3, 1, 2 ], 61, 10,
"rankdecoding", "X7DA97A7B7C8EB18A" ],
[ "\033[2XSequencesToRatExp\033[102X", "3.1-3", [ 3, 1, 3 ], 77, 10,
"sequencestoratexp", "X832A1FEC7E5491EA" ],
[ "\033[2XGraphToAut\033[102X", "4.1-1", [ 4, 1, 1 ], 20, 11, "graphtoaut",
"X7CFD21C47E43D8FF" ],
[ "\033[2XConstrainedGraphToAut\033[102X", "4.1-2", [ 4, 1, 2 ], 106, 15,
"constrainedgraphtoaut", "X7D457B517F2FDDA9" ],
[ "\033[2XIsStarClosed\033[102X", "5.1-1", [ 5, 1, 1 ], 13, 19,
"isstarclosed", "X7E1DAEB979824B68" ],
[ "\033[2XIs2StarReplaceable\033[102X", "5.1-2", [ 5, 1, 2 ], 38, 19,
"is2starreplaceable", "X873324D67DC9DC41" ],
[ "\033[2XIsStratified\033[102X", "5.1-3", [ 5, 1, 3 ], 63, 20,
"isstratified", "X7FF528F784C9020B" ],
[ "\033[2XIsPossibleGraphAut\033[102X", "5.1-4", [ 5, 1, 4 ], 90, 20,
"ispossiblegraphaut", "X7C3B9EB080F72043" ],
[ "\033[2XTransducer\033[102X", "6.1-1", [ 6, 1, 1 ], 16, 22, "transducer",
"X7A2DA7017E4F6BC4" ],
[ "\033[2XDeletionTransducer\033[102X", "6.1-2", [ 6, 1, 2 ], 45, 23,
"deletiontransducer", "X7EB2EA8C78DA1F74" ],
[ "\033[2XTransposedTransducer\033[102X", "6.1-3", [ 6, 1, 3 ], 71, 24,
"transposedtransducer", "X85711F837F30E225" ],
[ "\033[2XInvolvementTransducer\033[102X", "6.1-4", [ 6, 1, 4 ], 92, 24,
"involvementtransducer", "X7BBBA46E84BDD089" ],
[ "\033[2XCombineAutTransducer\033[102X", "6.1-5", [ 6, 1, 5 ], 113, 25,
"combineauttransducer", "X7E41CAC57CE71CB1" ],
[ "\033[2XBasisAutomaton\033[102X", "6.2-1", [ 6, 2, 1 ], 151, 26,
"basisautomaton", "X7FD8B2357CAAFC0B" ],
[ "\033[2XClassAutomaton\033[102X", "6.2-2", [ 6, 2, 2 ], 205, 26,
"classautomaton", "X78BD24D7828004E8" ],
[ "\033[2XBoundedClassAutomaton\033[102X", "6.2-3", [ 6, 2, 3 ], 243, 27,
"boundedclassautomaton", "X856A6F5085BAA7C3" ],
[ "\033[2XClassAutFromBaseEncoding\033[102X", "6.2-4", [ 6, 2, 4 ], 266,
27, "classautfrombaseencoding", "X82D67FC587793580" ],
[ "\033[2XClassAutFromBase\033[102X", "6.2-5", [ 6, 2, 5 ], 291, 28,
"classautfrombase", "X80CBBEE08239B1B1" ],
[ "\033[2XExpandAlphabet\033[102X", "6.2-6", [ 6, 2, 6 ], 316, 28,
"expandalphabet", "X877C8457804E4B45" ],
[ "\033[2XClassDirectSum\033[102X", "6.3-1", [ 6, 3, 1 ], 359, 29,
"classdirectsum", "X7DC869E27CC3BFE0" ],
[ "\033[2XSpectrum\033[102X", "6.4-1", [ 6, 4, 1 ], 408, 30, "spectrum",
"X82004197784C17F8" ],
[ "\033[2XNumberAcceptedWords\033[102X", "6.4-2", [ 6, 4, 2 ], 427, 30,
"numberacceptedwords", "X7E07D0B882DD9033" ],
[ "\033[2XAutStateTransitionMatrix\033[102X", "6.4-3", [ 6, 4, 3 ], 443,
31, "autstatetransitionmatrix", "X7BAE229C84A45841" ],
[ "\033[2XAcceptedWords\033[102X", "6.4-4", [ 6, 4, 4 ], 464, 31,
"acceptedwords", "X7DF05204860111D5" ],
[ "\033[2XAcceptedWordsR\033[102X", "6.4-5", [ 6, 4, 5 ], 481, 31,
"acceptedwordsr", "X7C80854A872A5665" ],
[ "\033[2XAcceptedWordsReversed\033[102X", "6.4-5", [ 6, 4, 5 ], 481, 31,
"acceptedwordsreversed", "X7C80854A872A5665" ],
[ "\033[2XPermComplement\033[102X", "7.1-1", [ 7, 1, 1 ], 10, 32,
"permcomplement", "X820405DB787A5D32" ],
[ "\033[2XIsRankEncoding\033[102X", "7.2-1", [ 7, 2, 1 ], 31, 32,
"isrankencoding", "X7F1000E882050AFF" ],
[ "\033[2XIsInterval\033[102X", "8.1-1", [ 8, 1, 1 ], 24, 33, "isinterval",
"X78D28CDF87CF35E4" ],
[ "\033[2XIsSimplePerm\033[102X", "8.2-1", [ 8, 2, 1 ], 46, 34,
"issimpleperm", "X7ECAD3E4818C589D" ],
[ "\033[2XOnePointDelete\033[102X", "8.3-1", [ 8, 3, 1 ], 74, 34,
"onepointdelete", "X877D962E7FBFB47E" ],
[ "\033[2XTwoPointDelete\033[102X", "8.3-2", [ 8, 3, 2 ], 90, 34,
"twopointdelete", "X787F62137E709A2C" ],
[ "\033[2XPointDeletion\033[102X", "8.3-3", [ 8, 3, 3 ], 106, 35,
"pointdeletion", "X8696CBE580B27FE5" ],
[ "\033[2XInflation\033[102X", "8.4-1", [ 8, 4, 1 ], 143, 35, "inflation",
"X8279728778F1F299" ],
[ "\033[2XBlockDecomposition\033[102X", "8.4-2", [ 8, 4, 2 ], 165, 36,
"blockdecomposition", "X7C07BE268055FEBD" ],
[ "\033[2XIsPlusDecomposable\033[102X", "8.5-1", [ 8, 5, 1 ], 204, 36,
"isplusdecomposable", "X80CBC61C851B1D20" ],
[ "\033[2XIsMinusDecomposable\033[102X", "8.6-1", [ 8, 6, 1 ], 239, 37,
"isminusdecomposable", "X87A6DF207B27C676" ],
[ "\033[2XPermDirectSum\033[102X", "8.7-1", [ 8, 7, 1 ], 283, 37,
"permdirectsum", "X7E0DD72F7F6E0440" ],
[ "\033[2XPermSkewSum\033[102X", "8.7-2", [ 8, 7, 2 ], 300, 38,
"permskewsum", "X7CE8A32A78A4A6BB" ],
[ "\033[2XInversionAut\033[102X", "9.1-1", [ 9, 1, 1 ], 13, 39,
"inversionaut", "X79B3989A7D90B227" ],
[ "\033[2XInversionAutOfClass\033[102X", "9.1-2", [ 9, 1, 2 ], 39, 39,
"inversionautofclass", "X7C6166407D4A1798" ],
[ "\033[2XPlusDecomposableAut\033[102X", "9.2-1", [ 9, 2, 1 ], 65, 40,
"plusdecomposableaut", "X7B43561F78C4C03C" ],
[ "\033[2XPlusIndecomposableAut\033[102X", "9.2-2", [ 9, 2, 2 ], 88, 40,
"plusindecomposableaut", "X780030727DF57B1C" ],
[ "\033[2XMinusDecomposableAut\033[102X", "9.2-3", [ 9, 2, 3 ], 114, 41,
"minusdecomposableaut", "X80F5A8AC8306FEE2" ],
[ "\033[2XMinusIndecomposableAut\033[102X", "9.2-4", [ 9, 2, 4 ], 137, 41,
"minusindecomposableaut", "X8689DB147A7EE2C1" ],
[ "\033[2XLengthBoundAut\033[102X", "9.3-1", [ 9, 3, 1 ], 194, 42,
"lengthboundaut", "X7EE214F57A6350E0" ],
[ "\033[2XShiftAut\033[102X", "9.3-2", [ 9, 3, 2 ], 216, 42, "shiftaut",
"X7B11C3137DEA8B4B" ],
[ "\033[2XNextGap\033[102X", "9.3-3", [ 9, 3, 3 ], 250, 43, "nextgap",
"X864D53717A30C8EE" ],
[ "\033[2XGapAut\033[102X", "9.3-4", [ 9, 3, 4 ], 270, 43, "gapaut",
"X7A660F527E913DB6" ],
[ "\033[2XSumAut\033[102X", "9.3-5", [ 9, 3, 5 ], 299, 44, "sumaut",
"X809340BA7C999E86" ],
[ "\033[2XGapSumAut\033[102X", "9.3-6", [ 9, 3, 6 ], 321, 44, "gapsumaut",
"X83BD683B7A92D492" ],
[ "\033[2XNonSimpleAut\033[102X", "9.3-7", [ 9, 3, 7 ], 344, 45,
"nonsimpleaut", "X867C42167E943F94" ],
[ "\033[2XSimplePermAut\033[102X", "9.4-1", [ 9, 4, 1 ], 378, 45,
"simplepermaut", "X7C7F3B6680370860" ],
[ "\033[2XIsExceptionalPerm\033[102X", "9.5-1", [ 9, 5, 1 ], 421, 46,
"isexceptionalperm", "X820901F881D220EE" ],
[ "\033[2XExceptionalBoundedAutomaton\033[102X", "9.5-2", [ 9, 5, 2 ], 441,
46, "exceptionalboundedautomaton", "X7B0086217E986ADA" ],
[ "\033[2XInbetweenPermAutomaton\033[102X", "10.1-1", [ 10, 1, 1 ], 13, 47,
"inbetweenpermautomaton", "X7E83DB497CCB5CDC" ],
[ "\033[2XInbetweenPermSet\033[102X", "10.1-2", [ 10, 1, 2 ], 37, 47,
"inbetweenpermset", "X7A07B52779B59271" ],
[ "\033[2XIsSubPerm\033[102X", "10.1-3", [ 10, 1, 3 ], 54, 48, "issubperm",
"X876ABC5F7822D768" ],
[ "\033[2XLoopFreeAut\033[102X", "10.2-1", [ 10, 2, 1 ], 74, 48,
"loopfreeaut", "X85793D54837E38D5" ],
[ "\033[2XLoopVertexFreeAut\033[102X", "10.2-2", [ 10, 2, 2 ], 106, 49,
"loopvertexfreeaut", "X8503A7707FA666C4" ] ]
);
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
