The total time to compute our λ(F q ) values is therefore O(|states| + t • |arcs|), where t is the maximum length of any arc's weight.
an arc from q i to r i with weight k ∈ ∆ * was reweighted asλ(q i )\(k ⊗λ(r i )).