Probabilistic automaton
 
x
OK