Yes. The encoding/encoder tuple is part of the definition of K complexity. Sipser gives a lucid explanation in his textbook and I highly recommend it.