Finite Horizon Robust State Estimation For Uncertain Finite-Alphabet Hidden Markov Models