Probabilistic Fsa