Computing State Probabilities