(x)) can be done by repeating the sender calculations: compute r CRC bits from the first |c′|−r bits of c′(x), as in Eq. (1), and compare them against the trailing r bits of c′ (x). A mismatch indicates that c′ (x) is not a codeword. Alternatively, c′ (x) is...