  This paper introduces techniques to construct binary polar source/channel
codes based on the bit error probability of successive-cancellation decoding.
The polarization lemma is reconstructed based on the bit error probability and
then techniques to compute the bit error probability are introduced. These
techniques can be applied to the construction of polar codes and the
computation of lower and upper bounds of the block decoding error probability.
