Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes (The Springer International Series in Engineering and Computer Science, 443, Band 443)