Redirecting to Probabilistic automaton