lexer_v3.c

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

       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61
    } ;

static yyconst flex_int32_t yy_meta[62] =
    {   0,
        1,    2,    3,    4,    5,    6,    7,    8,    1,    9,
       10,   11,    8,   12,   13,   14,   15,   15,   15,   15,
       15,   15,   15,   16,    1,   17,   18,    1,   19,   20,
       21,   22,    1,    1,   10,    5,   21,   21,   21,   21,
       21,   21,   22,   22,   22,   22,   22,   22,   22,   22,
       22,   22,   22,   22,   22,   22,   22,   22,   23,   22,
       24
    } ;

static yyconst flex_int32_t yy_base[717] =
    {   0,
        0,   56,  112, 2556,  164, 2553, 2562,   60,  210, 2550,
      256, 2549,   50,   51,    0, 2548,    0,   66,  287, 2542,
     2555, 3391, 2509,   69,   64,  160,  212,  258, 2548, 2523,
      338,   71,  340,  345,  368,  373,    0, 2536,  379,  147,
      377,   58,  148,  327,  368,  318, 3391,  418, 2540,   62,
      424, 3391,  460, 2536, 3391,  460,  466, 2530, 2529, 3391,
      468, 2502, 2485, 3391,  425,  488,  497,  506,  515, 2505,
     2479,    0,  319,  412,  532, 2489,  533,  543,  554,  539,
      543,  540,  553, 2446,  232,  561,  559,  562,  572,  575,
      585,  583,  586,  601,  632,  639, 2429,   63,  241, 2436,

     2437,  645, 2477,  647,  668,  179, 2473,    0,  655,  686,
      700,  715, 2451,  413,  717,  723,  280,  722,  745,  754,
      763, 2425, 2446,  770,  789,    0,  800,  811,  820, 2459,
      648,  803,  804,  805, 2413, 2463,  382,  454, 3391,  814,
      820,  710,  823,  858,  843,  844,  845,  858,  862,  864,
      215, 2407, 2451, 3391, 2414, 2419, 2431,  876,  496,  567,
      336,  889,  644,  920,  636,  603,  364,  699,  918,  370,
      915,  751, 2451, 2452,  231,    0, 3391,  928,  944,  958,
      967,  976, 2440, 2415,  399,  981, 1000, 1011, 1022, 1031,
     1016, 1018, 1020, 1036, 2388, 3391,  690,  954, 1033, 1042,

     1039, 2383, 1052, 1055, 1063, 1065, 1069, 1080, 3391, 3391,
     2367,  767,  845,  408,  437, 3391, 3391, 1116,  369, 1108,
      374,  651, 1123,  456,  503,  516,  589,   48,  660,  558,
     2393,  947,  635,  863,  718,   47,  264, 1120,  279, 2411,
     1131, 1126, 1159, 1168, 1177, 2362, 2386, 1187,    0, 1206,
        0,    0, 1217, 1228, 1237, 2398, 1222, 1221, 1231,  449,
     2377, 1260, 1273, 1239,    0, 1240, 2359, 1249, 1255, 1257,
     1265, 1268, 1266,  322,  485,  964,  148,  512,  770,  729,
      835, 2382, 3391, 3391, 1306,  773, 1010,  579, 1037, 1319,
      901, 3391, 1307, 1349, 1358, 2392, 2345, 2375, 1373, 1430,

     1382, 1391, 1400, 1385, 1387, 3391, 2364, 1455, 1457, 1423,
        0, 1424, 2353, 1308, 1389, 1433, 1441, 1442, 1443,  445,
      942,  637,  877, 1090,  919, 2371, 1460, 1381, 1121, 1051,
     1174, 1252, 1500, 1332, 1060, 1054, 1122, 1501, 1125, 1486,
     1184,  774, 1175,  823, 1190, 1515,  284, 1522, 1529, 1539,
     2341, 2358, 2358, 1558, 1556, 1615, 1573, 1584, 1595, 1626,
     2364, 1609, 1462, 2324, 1651, 1653, 1635, 1620, 2312, 1638,
     1622, 1619, 1678, 1685, 1094, 1241,  916, 1274,  895, 1305,
     1583, 1315, 1388,  996, 1593, 1048, 1655, 1688, 1469, 1436,
     1536,  690, 1337,  982, 1134, 2343, 1708, 1525, 1467,  978,

      777, 1571, 1612, 1570, 1721,  188, 1700, 1711, 3391, 2322,
     1743, 1737, 1739, 1771, 1828,    0,    0, 1744, 1784, 1885,
     1942, 2332,    0, 1961, 1795, 1804, 1839, 1757, 1720, 2302,
     1711, 1827, 1857, 1871, 2337, 1725, 1842, 2306, 2306, 1187,
     1644, 1292, 1705, 1729, 1397, 1488, 1370, 1647, 1740, 2309,
     1759, 1735, 1781, 1806, 1812, 3391,  532, 2328, 1801,    0,
     1903, 1956,    0, 1979, 2018, 2298, 3391, 1848, 1906, 2288,
     1905, 1866, 1913, 2267, 1929,  848, 2270, 1416,  593, 2257,
     2271, 1897, 2252, 2229, 1900, 1860, 1426, 1903, 1546, 1540,
     1873, 1930, 1859, 1909, 1650, 1946, 1732, 1382, 2240, 2013,

     2036,    0, 2269,  285,  395,  862, 2076, 3391, 2225, 1981,
     2016, 2225, 2242, 2210, 2222, 2203, 2227, 1965, 2195, 2202,
     1917, 1954, 1708, 1926, 1970, 1972, 1927, 1782, 1279, 2188,
     2041, 2207, 1619, 3391, 2108, 2224, 1141, 2054, 2149, 2148,
     2149, 2133, 2156,    0,    0, 2141, 2153, 1977, 1974, 1980,
     1985, 2159, 2112, 2049, 2059, 2040, 2155, 2093, 2095, 2091,
     2083, 2110, 2084,    0,    0, 2078, 2014, 2006, 1973, 2097,
     2042, 2098, 2127, 2114,  647, 2031, 1975, 2065, 1975, 1894,
     2033, 2134, 1890, 2166, 2165, 2126, 2159, 1846, 1843, 2106,
     2129, 1838, 2085, 2189, 1792, 2227, 1773, 1761, 2154, 2196,

     1680, 2235, 1625, 1585, 1537, 2203, 1467, 2239, 2247, 2244,
     2268, 1341, 1318, 1246, 2273, 1233, 2271, 2283, 2296, 1202,
     1122, 1124, 1020, 2135, 2298, 2300,  963,  959,    0,  963,
     2302, 2305,  914,    0,  830, 2317, 2320,  746,  744, 2324,
     2326,  541,  517, 2332, 2338,  497,  293,  172, 2341, 2346,
      143, 2350, 2354,   25, 2362, 2366, 2374, 2380, 2386, 2388,
     2392, 3391, 2394, 3391, 3391, 2404, 2428, 2448, 2468, 2492,
     2516, 2536, 2556, 2576, 2589, 2608, 2629, 2182, 2652, 2672,
     2060, 2690, 2713, 2101, 2736, 2753, 2772, 2796, 2820, 2844,
     2868, 2892, 2910, 2930, 2950, 2970, 2990, 3010, 3034, 3054,

     3058, 3078, 3098, 3117, 3136, 3157, 3160, 3181, 3200, 3224,
     3248, 3271, 3294, 3318, 3342, 3366
    } ;

static yyconst flex_int32_t yy_def[717] =
    {   0,
      665,    1,  665,    3,    3,    5,    3,    3,    3,    9,
        9,   11,   11,   11,   11,   11,    3,    3,    3,   19,
      665,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      666,  665,  666,  666,  666,  666,  667,  665,  666,   39,
       39,   39,   39,   39,   39,   39,  665,  668,  665,  665,
      669,  665,  670,  671,  665,  672,  673,  665,  665,  665,
      674,  665,  665,  665,  665,  665,  665,  665,  665,  665,
      665,  675,   39,   39,  676,  665,  665,  665,  665,   39,
       39,   39,   39,  665,  677,   39,   39,   39,   39,   39,
       39,   39,   39,   39,  668,  668,  678,  665,  665,  665,

      665,  669,  665,  669,  679,  680,  671,  681,  672,  672,
      673,  673,  665,  677,  674,  674,  665,  665,  665,  665,
      665,  665,  675,  682,  676,  125,  665,  665,  665,  665,
       39,   39,   39,   39,  665,  677,  677,  677,  665,   39,
       39,   39,   39,  125,   39,   39,   39,   39,   39,   39,
      678,  678,  665,  665,  665,  665,  679,  679,  683,  679,
      679,  679,  679,  679,  679,  679,  679,  679,  679,  679,
      679,  679,  680,  665,  680,  684,  665,  685,  665,  665,
      665,  665,  665,  665,  665,  686,  687,  665,  665,  665,
       39,   39,   39,   39,  665,  665,  677,  677,   39,   39,

       39,  125,   39,   39,   39,   39,   39,   39,  665,  665,
      665,  679,  679,  679,  679,  665,  665,  679,  679,  679,
      679,  679,  679,  679,  679,  679,  679,  679,  679,  679,
      688,  689,  679,  679,  679,  679,  679,  665,  680,  665,
      685,  685,  665,  665,  665,  665,  665,  686,  248,  687,
      250,  250,  665,  665,  665,  665,   39,   39,   39,  665,
      665,  677,  677,   39,  690,   39,  125,   39,   39,   39,
       39,   39,   39,  679,  679,  679,  679,  679,  679,  679,
      679,  688,  665,  665,  691,  679,  679,  679,  679,  665,
      680,  665,  665,  665,  665,  665,  665,  692,  693,  694,

      665,  665,  665,   39,   39,  665,  665,  677,  677,   39,
      690,   39,  125,   39,   39,   39,   39,   39,   39,  679,
      679,  679,  679,  679,  679,  691,  691,  689,  691,  691,
      691,  691,  691,  691,  691,  691,  691,  691,  691,  691,
      691,  679,  679,  679,  679,  665,  680,  665,  665,  665,
      665,  692,  665,  695,  696,  697,  698,  665,  665,  665,
      665,   39,   39,  665,  677,  677,   39,   39,  125,   39,
       39,   39,  125,  125,  679,  679,  679,  679,  679,  691,
      691,  691,  691,  691,  691,  691,  691,  691,  691,  691,
      691,  691,  691,  691,  691,  699,  689,  691,  691,  691,

      691,  691,  679,  679,  665,  680,  665,  665,  665,  665,
      665,  696,  696,  700,  695,  701,  415,  698,  698,  702,
      697,  701,  421,  703,  665,  665,  665,   39,  704,  665,
      677,  677,  125,   39,  125,  433,   39,  125,  125,  679,
      679,  691,  691,  691,  691,  691,  691,  691,  691,  699,
      691,  691,  691,  691,  679,  665,  680,  665,  665,  415,
      696,  705,  421,  698,  703,  465,  665,  665,  665,  665,
      706,  704,  704,  665,  677,  677,  125,  125,  433,  125,
      125,   39,  125,  125,  679,  679,  691,  691,  691,  691,
      691,  691,  691,  691,  691,  691,  679,  680,  665,  705,

      705,  707,  421,  706,  706,  706,  708,  665,  665,  677,
      677,  125,  125,  125,  125,  125,  125,   39,  125,  125,
      679,  691,  691,  691,  691,  691,  691,  691,  680,  665,
      709,  421,  706,  665,  708,  665,  677,  677,  125,  125,
      125,  125,  125,  710,  711,  125,  125,  679,  691,  691,
      691,  680,  665,  709,  709,  706,  665,  677,  677,  125,
      125,  125,  125,  710,  711,  125,  691,  691,  691,  665,
      665,  706,  665,  677,  677,  125,  125,  712,  125,  125,
      691,  665,  665,  713,  665,  677,  677,  125,  125,  712,
      712,  125,  691,  665,  665,  713,  714,  596,  706,  665,

      677,  677,  125,  125,  125,  665,  665,  706,  665,  677,
      677,  125,  125,  125,  665,  665,  706,  677,  677,  125,
      125,  125,  665,  706,  677,  677,  125,  125,  715,  665,
      677,  677,  125,  715,  665,  677,  677,  125,  665,  677,
      677,  125,  716,  677,  677,  125,  716,  716,  677,  677,
      125,  677,  677,  125,  677,  677,  677,  677,  677,  677,
      677,  665,  677,  665,    0,  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_nxt[3453] =
    {   0,
       22,   23,   24,   23,   22,   22,   22,   25,   22,   22,
       22,   22,   22,   22,   22,   22,   26,   26,   27,   28,
       28,   28,   28,   22,   22,   29,   30,   22,   22,   22,
       31,   31,   32,   22,   22,   22,   31,   33,   34,   31,
       31,   35,   31,   31,   31,   31,   31,   31,   31,   36,
       31,   31,   31,   31,   31,   31,   31,   31,   31,   31,
       31,   37,   52,   58,   59,   53,   98,  562,   60,   38,
       63,   64,   63,   38,  159,  159,  153,   22,   22,   38,
       65,   65,   65,   65,   65,   65,   65,   77,   77,   78,
       79,   79,   79,   79,   39,   40,   73,   41,   99,  279,

       42,   73,  122,  100,   43,  288,  101,   91,   73,   44,
       45,   46,   22,   22,   47,   22,   22,   22,   22,   25,
       22,   22,   22,   22,   22,   22,   22,   22,   26,   26,
       27,   28,   28,   28,   28,   22,   22,   29,   22,   22,
       22,   22,   48,   48,   32,   22,   22,   22,   48,   48,
       48,   48,   48,   48,   48,   48,   48,   48,   48,   48,
       48,   48,   48,   48,   48,   48,   48,   48,   48,   48,
       48,   48,   48,   49,   66,  159,   67,   67,   67,   67,
       67,   67,   67,   88,  174,   73,   73,   89,   92,   50,
       73,   73,  654,  174,   51,   51,  223,   73,   73,  648,

       51,   51,   51,   51,   51,   51,   51,   51,   51,   51,
       51,   51,   51,   51,   51,   51,   51,   51,   51,   51,
       51,   51,   51,   51,   51,   54,   66,  175,   68,   68,
       68,   68,   69,   70,   70,  136,  174,   55,  457,  209,
       56,   56,  154,  154,  154,  138,   56,   56,   56,   56,
       56,   56,   56,   56,   56,   56,   56,   56,   56,   56,
       56,   56,   56,   56,   56,   56,   56,   56,   56,   56,
       56,   22,   66,  665,   70,   70,   70,   70,   70,   70,
       70,  178,  178,  178,  174,  239,   57,   57,  504,  174,
      505,  159,   57,   57,   57,   57,   57,   57,   57,   57,

       57,   57,   57,   57,   57,   57,   57,   57,   57,   57,
       57,   57,   57,   57,   57,   57,   57,   61,   61,  289,
      648,  291,  406,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
       61,   61,   61,   61,   61,   61,   61,   61,   74,  159,
       74,   75,   74,   75,   74,   74,   73,   73,   75,   74,
      320,   73,   73,  159,   76,   73,   76,   93,   86,   73,
       73,   76,   74,   74,   74,   74,  221,   73,   74,   74,
       74,   75,   74,   74,  196,  136,   75,   74,   81,   74,
       80,  159,   75,   74,   76,  197,  159,  159,  533,   76,

      665,  159,   74,   74,  230,   76,   73,   74,   74,   83,
      234,   73,   82,   74,   74,   73,  136,   86,   73,  274,
       73,   82,   81,  275,   94,   74,  138,   73,   96,   87,
       90,   96,   96,  103,  104,  159,  247,  104,  104,  118,
      177,   65,   65,   65,   65,   65,   65,   65,  229,  105,
       73,  247,   96,   96,  306,   73,  196,  136,  104,  104,
       84,   84,   73,   84,  159,   84,   84,  198,   84,   84,
      110,   84,  159,  110,  110,   84,  112,   72,  116,  112,
      112,  116,  116,  159,   84,   84,   84,   84,   84,   84,
      233,  375,   84,   84,  110,  110,  276,  217,  217,  217,

      112,  112,  116,  116,  119,  119,  120,  121,  121,  121,
      121,   66,  159,   70,   70,   70,   70,   70,   70,   70,
       66,  218,   70,   70,   70,   70,   70,   70,   70,   66,
      159,   70,   70,   70,   70,   70,   73,  174,  124,  159,
      321,  651,   74,  159,  648,  125,   74,  127,  323,   79,
       79,   79,   79,   79,   79,   79,  277,  127,   76,  128,
      128,  128,  128,  129,  130,  130,   74,   74,  127,  278,
      130,  130,  130,  130,  130,  130,  130,   73,   73,  132,
      646,   73,   73,   73,  139,  159,   73,  133,  498,   73,
       73,   73,   73,   73,  159,  131,   73,   73,  144,   73,

       73,  134,   73,   73,   73,   73,  159,  281,  140,   73,
       73,   73,   73,   73,  219,   73,  159,  141,   73,  142,
      220,   73,   73,   73,  146,  143,   73,  147,   73,   73,
      159,  220,  515,   73,  344,   73,   73,  145,  150,   73,
      148,  149,   96,  229,   73,   96,   96,  220,  126,   96,
      136,   73,   96,   96,  103,  104,  665,  104,  104,  104,
      104,  104,  159,  159,  159,  110,   96,   96,  110,  110,
      105,  159,  665,   96,   96,  223,  377,  226,  159,  104,
      104,  104,  104,  158,  227,  228,   73,  159,  224,  110,
      110,   73,  196,  136,  225,  159,  110,  191,   73,  110,

      110,  587,  280,  262,  223,  160,  161,  162,  223,  163,
      112,  164,  165,  112,  112,  166,  167,  328,  168,  169,
      110,  110,  170,  171,  172,  112,  159,  116,  112,  112,
      116,  116,  385,  116,  112,  112,  116,  116,  179,  179,
      179,  179,  179,  179,  179,  159,  223,  643,   73,  112,
      112,  116,  116,   73,  201,  287,  159,  116,  116,  180,
       73,  121,  121,  121,  121,  121,  121,  121,  180,  325,
      181,  181,  181,  181,  182,  183,  183,  180,  159,  183,
      183,  183,  183,  183,  183,  183,  186,  186,  186,  186,
      186,  186,  186,   73,  159,  124,  642,  159,  223,   74,

      159,  159,  125,   74,  328,  187,  187,  187,  187,  187,
      187,  187,  403,  342,  219,   76,  188,  188,  189,  190,