Next: , Previous: , Up: Earlemes   [Contents]


4.1.8 The generalized model

To fully generalize the input model, we now need to remove only one restriction. We now allow empty earlemes — earlemes with no tokens and no Earley set. For the generalized input model, the effect on the earleme variables of a call to marpa_r_alternative() is exactly the same as it is for the variable length input model. The effect on the earleme variables of a call to to marpa_r_earleme_complete() depends on whether or not that call creates an empty earleme. A call to marpa_r_earleme_complete() creates an empty earleme if and only if it falls into one of these two cases:

Suppose, in the generalized input model that, for a call to marpa_r_earleme_complete() that creates an empty earleme, the following is true:

In that case, after the call to marpa_r_earleme_complete(), the following will be true:

Suppose, in the generalized input model that, for a call to marpa_r_earleme_complete() that does not create an empty earleme, the following is true:

In that case, after the call to marpa_r_earleme_complete(), the following will be true:


Next: , Previous: , Up: Earlemes   [Contents]