Add the state transition table for the encoder to the code.