Improve semantic description of Berlekamp Massey