Finite state automata stochastic