lexer_v3.c

一个C语言写的快速贝叶斯垃圾邮件过滤工具

      352,  352,  634,  634,  665,  634,  634,  634,  634,  634,
      634,  634,  634,  634,  634,  634,  634,  634,  634,  634,
      634,  634,  634,  634,  634,  634,  647,  647,  665,  647,
      647,  647,  647,  647,  647,  647,  647,  647,  647,  647,
      647,  647,  647,  647,  647,  647,  647,  647,  647,  647,
       21,  665,  665,  665,  665,  665,  665,  665,  665,  665,

      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  665
    } ;

static yyconst flex_int32_t yy_chk[3453] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    2,    8,   13,   14,    8,   50,  654,   18,    2,
       24,   24,   24,    8,  236,  228,   98,   13,   14,   18,
       25,   25,   25,   25,   25,   25,   25,   32,   32,   32,
       32,   32,   32,   32,    2,    2,   42,    2,   50,  228,

        2,   42,   98,   50,    2,  236,   50,   42,   42,    2,
        2,    2,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
        3,    3,    3,    5,   26,  277,   26,   26,   26,   26,
       26,   26,   26,   40,  106,   40,   43,   40,   43,    5,
       40,   43,  651,  406,    5,    5,  277,   40,   43,  648,

        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
        5,    5,    5,    5,    5,    9,   27,  106,   27,   27,
       27,   27,   27,   27,   27,   85,  175,    9,  406,  151,
        9,    9,   99,   99,   99,   85,    9,    9,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,   11,   28,  151,   28,   28,   28,   28,   28,   28,
       28,  117,  117,  117,  239,  175,   11,   11,  504,  347,
      504,  237,   11,   11,   11,   11,   11,   11,   11,   11,

       11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
       11,   11,   11,   11,   11,   11,   11,   19,   19,  237,
      647,  239,  347,   19,   19,   19,   19,   19,   19,   19,
       19,   19,   19,   19,   19,   19,   19,   19,   19,   19,
       19,   19,   19,   19,   19,   19,   19,   19,   31,  274,
       33,   31,   31,   33,   33,   34,   46,   73,   34,   34,
      274,   46,   73,  161,   31,   44,   33,   44,   46,   73,
       44,   34,   31,   31,   33,   33,  161,   44,   35,   34,
       34,   35,   35,   36,  137,  137,   36,   36,   34,   39,
       33,  167,   39,   39,   35,  137,  219,  170,  505,   36,

      505,  221,   35,   35,  167,   39,   45,   36,   36,   36,
      170,   45,   35,   39,   39,   41,  114,   39,   45,  219,
       41,   41,   39,  221,   45,   74,  114,   41,   48,   39,
       41,   48,   48,   51,   51,  214,  185,   51,   51,   65,
      114,   65,   65,   65,   65,   65,   65,   65,  214,   51,
       74,  185,   48,   48,  260,   74,  138,  138,   51,   51,
       53,   53,   74,   53,  215,   53,   53,  138,   53,   53,
       56,   53,  320,   56,   56,   53,   57,  260,   61,   57,
       57,   61,   61,  224,   53,   53,   53,   53,   53,   53,
      215,  320,   53,   53,   56,   56,  224,  159,  159,  159,

       57,   57,   61,   61,   66,   66,   66,   66,   66,   66,
       66,   67,  275,   67,   67,   67,   67,   67,   67,   67,
       68,  159,   68,   68,   68,   68,   68,   68,   68,   69,
      225,   69,   69,   69,   69,   69,   75,  457,   75,  278,
      275,  646,   75,  226,  643,   75,   75,   77,  278,   77,
       77,   77,   77,   77,   77,   77,  225,   78,   75,   78,
       78,   78,   78,   78,   78,   78,   75,   75,   79,  226,
       79,   79,   79,   79,   79,   79,   79,   80,   82,   81,
      642,   81,   80,   82,   86,  230,   81,   82,  457,   80,
       82,   83,   75,   81,  160,   80,   83,   87,   91,   86,

       88,   83,   87,   83,   86,   88,  288,  230,   87,   87,
       89,   86,   88,   90,  160,   89,  227,   88,   90,   89,
      160,   92,   89,   91,   93,   90,   92,   93,   91,   93,
      166,  227,  479,   92,  288,   91,   93,   92,   94,   94,
       93,   93,   95,  166,   94,   95,   95,  166,  479,   96,
      575,   94,   96,   96,  102,  102,  104,  104,  102,  102,
      104,  104,  233,  165,  322,  109,   95,   95,  109,  109,
      102,  163,  104,   96,   96,  233,  322,  165,  222,  102,
      102,  104,  104,  105,  165,  165,  131,  229,  163,  109,
      109,  131,  197,  197,  163,  105,  110,  131,  131,  110,

      110,  575,  229,  197,  222,  105,  105,  105,  222,  105,
      111,  105,  105,  111,  111,  105,  105,  392,  105,  105,
      110,  110,  105,  105,  105,  112,  168,  115,  112,  112,
      115,  115,  392,  116,  111,  111,  116,  116,  118,  118,
      118,  118,  118,  118,  118,  235,  168,  639,  142,  112,
      112,  115,  115,  142,  142,  235,  280,  116,  116,  119,
      142,  119,  119,  119,  119,  119,  119,  119,  120,  280,
      120,  120,  120,  120,  120,  120,  120,  121,  172,  121,
      121,  121,  121,  121,  121,  121,  124,  124,  124,  124,
      124,  124,  124,  125,  212,  125,  638,  279,  172,  125,

      286,  342,  125,  125,  401,  125,  125,  125,  125,  125,
      125,  125,  342,  286,  212,  125,  127,  127,  127,  127,
      127,  127,  127,  125,  125,  128,  279,  128,  128,  128,
      128,  128,  128,  128,  129,  401,  129,  129,  129,  129,
      129,  132,  133,  134,  133,  134,  132,  133,  134,  125,
      344,  476,  140,  132,  133,  134,  132,  140,  141,  344,
      141,  143,  281,  141,  140,  506,  143,  506,  635,  140,
      141,  143,  213,  143,  144,  144,  144,  144,  144,  144,
      144,  145,  146,  147,  146,  147,  145,  146,  147,  213,
      234,  281,  213,  145,  146,  147,  148,  145,  148,  476,

      149,  148,  150,  158,  323,  149,  291,  150,  148,  150,
      234,  144,  149,  158,  150,  158,  162,  158,  149,  169,
      169,  169,  379,  158,  158,  323,  158,  158,  162,  178,
      178,  178,  158,  162,  379,  291,  162,  164,  164,  164,
      164,  164,  171,  377,  162,  169,  325,  164,  232,  232,
      232,  171,  633,  178,  171,  171,  198,  198,  171,  171,
      179,  179,  179,  179,  179,  179,  179,  198,  325,  321,
      377,  169,  232,  164,  180,  180,  180,  180,  180,  180,
      180,  181,  321,  181,  181,  181,  181,  181,  181,  181,
      182,  276,  182,  182,  182,  182,  182,  186,  186,  186,

      186,  186,  186,  186,  187,  400,  187,  630,  628,  394,
      187,  276,  627,  187,  187,  400,  187,  187,  187,  187,
      187,  187,  187,  384,  394,  188,  187,  188,  188,  188,
      188,  188,  188,  188,  187,  187,  189,  287,  189,  189,
      189,  189,  189,  189,  189,  190,  384,  190,  190,  190,
      190,  190,  190,  190,  191,  191,  192,  287,  193,  191,
      187,  192,  194,  193,  289,  200,  191,  623,  192,  193,
      193,  199,  192,  199,  194,  386,  199,  201,  330,  194,
      200,  336,  201,  199,  289,  200,  194,  335,  203,  201,
      203,  330,  200,  204,  336,  203,  201,  386,  204,  204,

      335,  205,  203,  206,  335,  204,  205,  207,  206,  220,
      220,  220,  207,  205,  206,  206,  205,  324,  208,  207,
      208,  375,  207,  208,  223,  223,  223,  242,  242,  242,
      208,  218,  241,  241,  241,  220,  238,  238,  238,  238,
      238,  238,  238,  218,  537,  324,  375,  622,  329,  337,
      223,  242,  339,  218,  218,  218,  241,  218,  241,  218,
      218,  395,  621,  218,  218,  339,  218,  218,  329,  337,
      218,  218,  218,  243,  329,  243,  243,  243,  243,  243,
      243,  243,  244,  395,  244,  244,  244,  244,  244,  244,
      244,  245,  537,  245,  245,  245,  245,  245,  245,  245,

      248,  331,  343,  248,  248,  248,  248,  248,  248,  248,
      250,  341,  250,  331,  440,  343,  250,  345,  331,  250,
      250,  331,  250,  250,  250,  250,  250,  250,  250,  331,
      345,  341,  250,  253,  253,  253,  253,  253,  253,  253,
      250,  250,  254,  440,  254,  254,  254,  254,  254,  254,
      254,  255,  620,  255,  255,  255,  255,  255,  257,  258,
      257,  258,  262,  262,  258,  257,  250,  259,  376,  259,
      616,  258,  257,  262,  259,  263,  263,  264,  266,  332,
      266,  259,  264,  266,  529,  614,  263,  268,  264,  264,
      266,  268,  268,  269,  376,  270,  332,  270,  269,  268,

      270,  378,  332,  271,  273,  269,  272,  270,  271,  273,
      263,  272,  269,  263,  378,  271,  273,  272,  272,  442,
      271,  285,  290,  293,  293,  293,  293,  293,  293,  293,
      442,  613,  380,  285,  529,  290,  290,  290,  290,  290,
      290,  290,  382,  285,  285,  285,  314,  285,  314,  285,
      285,  314,  380,  285,  285,  382,  285,  285,  314,  334,
      285,  285,  285,  294,  393,  294,  294,  294,  294,  294,
      294,  294,  295,  334,  295,  295,  295,  295,  295,  299,
      334,  334,  328,  328,  328,  612,  299,  498,  393,  299,
      299,  299,  299,  299,  299,  299,  301,  447,  301,  301,

      301,  301,  301,  301,  301,  302,  328,  302,  302,  302,
      302,  302,  302,  302,  303,  383,  303,  303,  303,  303,
      303,  303,  303,  304,  445,  305,  447,  315,  304,  315,
      305,  498,  315,  299,  300,  304,  300,  305,  304,  315,
      300,  383,  305,  300,  300,  445,  300,  300,  300,  300,
      300,  300,  300,  487,  317,  318,  300,  308,  308,  309,
      309,  310,  312,  390,  300,  300,  310,  312,  308,  478,
      309,  316,  487,  310,  312,  478,  316,  312,  310,  317,
      318,  319,  316,  316,  317,  318,  319,  327,  363,  390,
      300,  317,  318,  319,  399,  308,  389,  327,  319,  327,

      363,  327,  338,  338,  338,  363,  309,  327,  327,  389,
      327,  327,  363,  340,  399,  446,  327,  333,  333,  333,
      333,  333,  340,  607,  446,  340,  340,  333,  338,  340,
      340,  346,  346,  346,  346,  346,  346,  346,  348,  348,
      348,  348,  348,  348,  348,  349,  349,  349,  349,  349,
      349,  349,  398,  333,  338,  350,  350,  350,  350,  350,
      350,  350,  354,  391,  354,  398,  355,  490,  354,  355,
      355,  354,  354,  489,  354,  354,  354,  354,  354,  354,
      354,  605,  355,  357,  354,  489,  357,  357,  490,  391,
      355,  355,  354,  354,  385,  385,  385,  404,  402,  357,

      358,  358,  358,  358,  358,  358,  358,  357,  357,  359,
      381,  359,  359,  359,  359,  359,  359,  359,  354,  356,
      385,  356,  533,  404,  533,  356,  402,  381,  356,  356,
      381,  356,  356,  356,  356,  356,  356,  356,  604,  403,
      360,  356,  360,  360,  360,  360,  360,  362,  367,  356,
      356,  370,  362,  365,  365,  366,  366,  372,  368,  362,
      371,  371,  372,  368,  365,  371,  366,  403,  362,  372,
      368,  441,  371,  367,  448,  356,  370,  495,  367,  368,
      603,  370,  387,  601,  441,  367,  495,  448,  370,  388,
      388,  388,  366,  365,  373,  373,  373,  373,  373,  373,

      373,  374,  374,  374,  374,  374,  374,  374,  387,  397,
      397,  397,  387,  431,  431,  388,  407,  407,  407,  407,
      407,  407,  407,  405,  431,  429,  373,  408,  408,  408,
      408,  408,  443,  397,  601,  523,  374,  405,  405,  405,
      405,  405,  405,  405,  411,  411,  411,  412,  429,  413,
      412,  412,  413,  413,  418,  431,  444,  418,  418,  497,
      443,  523,  452,  412,  436,  413,  598,  449,  497,  436,
      418,  412,  412,  413,  413,  414,  444,  414,  418,  418,
      436,  414,  452,  428,  414,  414,  451,  414,  414,  414,
      414,  414,  414,  414,  419,  428,  449,  419,  419,  451,

      428,  597,  459,  459,  459,  414,  414,  428,  453,  528,
      419,  425,  425,  425,  425,  425,  425,  425,  419,  419,
      426,  426,  426,  426,  426,  426,  426,  459,  425,  432,
      432,  414,  415,  454,  415,  528,  453,  426,  415,  455,
      432,  415,  415,  595,  415,  415,  415,  415,  415,  415,
      415,  592,  455,  454,  415,  427,  427,  427,  427,  427,
      427,  427,  415,  415,  468,  468,  468,  468,  468,  468,
      468,  472,  427,  433,  433,  433,  433,  433,  433,  433,
      437,  468,  437,  589,  434,  437,  493,  486,  415,  420,
      588,  420,  437,  583,  472,  420,  433,  493,  420,  420,

      491,  420,  420,  420,  420,  420,  420,  420,  471,  434,
      471,  420,  433,  461,  434,  486,  461,  461,  473,  420,
      420,  434,  469,  469,  469,  469,  469,  485,  491,  461,
      488,  475,  475,  471,  580,  482,  494,  461,  461,  469,
      482,  473,  475,  488,  521,  420,  421,  482,  421,  494,
      485,  482,  421,  524,  527,  421,  421,  492,  421,  421,
      421,  421,  421,  421,  421,  424,  462,  424,  421,  462,
      462,  424,  521,  496,  424,  424,  421,  421,  475,  492,
      524,  522,  527,  510,  510,  462,  496,  424,  518,  464,
      462,  462,  464,  464,  510,  424,  424,  525,  579,  526,

      569,  549,  421,  518,  548,  464,  522,  550,  518,  569,
      525,  526,  551,  464,  464,  518,  577,  548,  511,  511,
      550,  424,  465,  500,  465,  551,  500,  500,  465,  511,
      549,  465,  465,  568,  465,  465,  465,  465,  465,  465,
      465,  567,  500,  556,  465,  556,  501,  500,  500,  501,
      501,  531,  465,  465,  531,  531,  538,  538,  511,  554,
      581,  568,  554,  554,  567,  501,  578,  538,  578,  555,
      501,  501,  555,  555,  681,  531,  531,  556,  465,  507,
      681,  507,  507,  554,  554,  576,  507,  507,  581,  571,
      507,  507,  556,  555,  555,  558,  558,  559,  559,  507,

      570,  572,  507,  572,  507,  538,  558,  590,  559,  590,
      507,  535,  593,  535,  535,  684,  574,  574,  535,  535,
      566,  684,  535,  535,  563,  593,  572,  574,  586,  586,
      591,  535,  591,  562,  535,  558,  535,  561,  624,  586,
      624,  560,  535,  573,  573,  573,  573,  573,  573,  573,
      582,  582,  582,  582,  582,  582,  582,  599,  557,  599,
      553,  587,  587,  624,  552,  574,  584,  584,  585,  584,
      584,  584,  587,  584,  584,  584,  547,  546,  584,  543,
      599,  585,  585,  585,  585,  585,  585,  585,  542,  541,
      584,  584,  594,  584,  584,  584,  678,  540,  584,  584,

      539,  584,  678,  587,  678,  594,  594,  594,  594,  594,
      594,  594,  600,  600,  600,  600,  600,  600,  600,  606,
      606,  606,  606,  606,  606,  606,  584,  596,  596,  536,
      596,  596,  596,  532,  596,  596,  596,  602,  602,  596,
      608,  608,  608,  530,  608,  520,  610,  610,  602,  519,
      517,  596,  596,  516,  596,  596,  596,  610,  515,  596,
      596,  514,  596,  609,  609,  609,  609,  609,  609,  609,
      611,  611,  617,  617,  617,  615,  617,  602,  513,  512,
      509,  611,  503,  499,  484,  618,  618,  596,  610,  615,
      615,  615,  615,  615,  615,  615,  618,  617,  619,  619,

      625,  625,  626,  626,  631,  631,  483,  632,  632,  619,
      481,  625,  480,  626,  477,  631,  474,  611,  632,  636,
      636,  470,  637,  637,  466,  618,  640,  640,  641,  641,
      636,  458,  619,  637,  644,  644,  450,  640,  631,  641,
      645,  645,  439,  649,  649,  644,  438,  625,  650,  650,
      435,  645,  652,  652,  649,  626,  653,  653,  430,  650,
      422,  632,  410,  652,  655,  655,