Stochastic Automata door E. -E. Doberkat