for all productions . The new probabilities can be computed as
Note that only the forward probability is accumulated; is not used in this step.
Rationale. is the sum of all path probabilities leading up to , times the probability of choosing production . The value is just a special case of the definition.