The main transitions that are traced in our construction are those that map heads, In order to generalize from instances in the training data, some model states arising from different training instances are shared.
in the construction described here, for a given pair (w, v) there is only one final state.