- from_state[t] is the state number which a transition leads from and
- to_state[t] is the state number it leads to. All the transitions
- that accept a particular variable are grouped together and
- goto_map[i - ntokens] is the index in from_state and to_state of
- the first of them. */
-
-extern short *goto_map;
-extern short *from_state;
-extern short *to_state;
-
-/* CONSISTENT[S] is nonzero if no lookahead is needed to decide what
- to do in state S. */
+/* Compute how to make the finite state machine deterministic; find
+ which rules need look-ahead in each state, and which look-ahead
+ tokens they accept. */