Probabilistic finite automaton

Summary