static short zznstate[] = {
25, 92, 2, 31, 4, 90, 13, 7, 15, 87, 11, 5, 6, 8, 81, 10,
1, 3, 18, 75, 29, 9, 22, 23, 82, 69, 99,175, 83, 65,100,174,
84, 59,101,176,177, 85, 52,102, 88, 0, 86, 63, 89, 17, 28, 12,
...
125, 0,113,151,126, 0, 0,116,152,127, 0, 0,117,153,128, 16,
134,139,119, 0,135,140,120, 0,136,141,121, 0, 0,137,142,122,
0, 0,138,143,123 } ;
zztrans(c,n) int c; int n;
{
int *state;
int index;
state = &(zzstms[n].zzstate);
if(zzdeftrans[*state])
*state = zzdeftrans[*state];
else{
index = zznindex[*state] + zzctype[c];
...
}