Quelle  manual.six   Sprache: unbekannt

#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" ] ]
);