A technique to evaluate an exact formula for the bit error rate of convolutional codes in case of finite length words