As already discussed, one particular expert may be better at predicting the kth substructure while some other expert may be more accurate at predicting another substructure.
this leads us to considering an acyclic finite automaton G such as that of Figure 1 which admits all possible sequences of substructure hypotheses, or, more generally, a finite automaton such as that of Figure 2 which only allows a subset of these sequences.