Efficient state classification of finite state Markov chains