Performance bound and trellis-code design criterion for discrete memoryless channels and finite-delay symbol-by-symbol decoding

A new tight analytical upper bound is presented for the performance of finite-delay symbol-by-symbol (SBS) Abend-Fritchman-like decoding of trellis-encoded data crossing arbitrary (eventually time-varying) discrete memoryless channels (DMCs). On the basis of this bound, a related criterion for the optimal design of trellis codes with SBS decoding is then proposed. It gives rise to an effective procedure for the construction of good trellis codes (generally time varying and nonlinear) with assigned decoding complexity