For this reason, a set of possible alignments is maintained.
when accepting a non-terminal, all possible nodes in the input that it may correspond to are identified and a state is maintained for each possibility.