Probabilistic finite automaton