On the computation of the probability of post-decoding error events for block codes (Corresp.) | Synapse