Figure P10.35 depicts two processing stages involved in the MAP decoding algorithm. The first stage is a convolutional encoder of rate, r = k/n, producing the code vector c in response to the message vector m. The second stage is a mapper, represented by binary PSK. The signal energy per message bit at the encoder input is denoted by Eb; the noise spectral density of the AWGN channel is N0/2. Let Es denote the signal energy per symbol transmitted by the binary PSK mapper. Show that the SNR measured at the channel output is given by