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.