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


4.1.5 The standard model of input

In the standard model of input, calls to marpa_r_alternative() and marpa_r_earleme_complete() are made in pairs. There is, first, exactly one call to marpa_r_alternative(), and it is for a token with length 1. Following it must be a call to marpa_r_earleme_complete(). For an input of length n, there will be exactly n such paired calls.

Suppose, in the standard model that, for a call to marpa_r_alternative(), the following is true:

Because this is the standard model, this means that we also know that

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

Suppose, in the standard model that, for a call to marpa_r_earleme_complete(), the following is true:

Because this is the standard model, this means that we also know that

In that case, after the call to marpa_r_earleme_complete(), the current, latest and furthest earlemes will be the same. Specifically, the following will be true:


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