Furthermore, for each complete computation c there is a complete derivation d such that f (c ) = d, and p A (c ) = p G (d) > 0.
p A (τ ) > 0 for each transition τ , and p A (c) > 0, where c is the above-mentioned dead computation.