Hidden Markov models with discrete non-parametric observation