BCJR Algorithm

An exact dynamic-programming algorithm that computes symbol- or bit-wise a posteriori probabilities on a finite-state trellis by performing forward and backward recursions over state metrics and branch metrics; produces soft outputs (posterior probabilities or log‑likelihood ratios) for each symbol given a probabilistic channel and an explicit state model.