Talk:Probabilistic automaton