The log semiring ǫ-removal and determinization required to sum the probabilities of paths labelled with each u can be slow.
if we use the proposed Ψ R n , then each path in E n • Ψ R n has only one non-ǫ output label u and all paths leading to a given final state share the same u.