Add methods for generating transition table

[DaulPavid]

Also, the encoder should use the transition matrix and trellis object, and it should be consistent with the decoder.