Probabilistic automata

Summary