An algorithm to compute the optimal (most likely) state sequence in a hidden Markov model given a sequence of observed outputs.