Source : Free On-Line Dictionary of Computing

probabilistic automaton
     
        {nondeterministic automaton}