Efficient joint source-channel decoding of multi-state Markov sequences.