Probabilistic finite automata

Summary