|
Dave,
Like the approach in the article, but I think it is marred by some serious typos (or else I am just not getting it at all <grin>). For example, "In this particular case, we see that V1 and V2 are compatible with V1 because the V1 Accept Set is a superset of V1 and V2." Shouldn't it be "In this particular case, we see that V1 and V2 are compatible with V1' because the V1' Accept Set is a superset of V1 and V2"?
Also, when you first introduce V2, in Figure 4 you define "V2 Accept[sic] first, last, ?middle, *" (missing a colon after Accept) and "V2 Defined: first, middle, last". $64K Question: If V2 Accept requires "middle" AFTER last, how can V2 Defined require "middle" BEFORE "last"?!
These are just a couple of things that have me VERY confused.
-- Nick
|