Designing the minimal structure of hidden Markov model by bisimulation