30 |
state. These symbols at these items are the allowable inputs that |
state. These symbols at these items are the allowable inputs that |
31 |
can follow now. |
can follow now. |
32 |
|
|
33 |
A core represents one state. States are numbered in the number |
A core represents one state. States are numbered in the NUMBER |
34 |
field. When generate_states is finished, the starting state is |
field. When generate_states is finished, the starting state is |
35 |
state 0 and nstates is the number of states. (A transition to a |
state 0 and NSTATES is the number of states. (FIXME: This sentence |
36 |
state whose state number is nstates indicates termination.) All |
is no longer true: A transition to a state whose state number is |
37 |
the cores are chained together and first_state points to the first |
NSTATES indicates termination.) All the cores are chained together |
38 |
one (state 0). |
and FIRST_STATE points to the first one (state 0). |
39 |
|
|
40 |
For each state there is a particular symbol which must have been |
For each state there is a particular symbol which must have been |
41 |
the last thing accepted to reach that state. It is the |
the last thing accepted to reach that state. It is the |
42 |
accessing_symbol of the core. |
ACCESSING_SYMBOL of the core. |
43 |
|
|
44 |
Each core contains a vector of NITEMS items which are the indices |
Each core contains a vector of NITEMS items which are the indices |
45 |
in the ritems vector of the items that are selected in this state. |
in the RITEMS vector of the items that are selected in this state. |
46 |
|
|
47 |
The link field is used for chaining symbols that hash states by |
The link field is used for chaining symbols that hash states by |
48 |
their itemsets. This is for recognizing equivalent states and |
their itemsets. This is for recognizing equivalent states and |