nondeterministic automaton

1 definition found

nondeterministic automaton - Free On-line Dictionary of Computing (26 May 2007) :

  nondeterministic automaton
  probabilistic automaton
  
     <theory> (Or "probabilistic automaton") An automaton in
     which there are several possible actions (outputs and next
     states) at each state of the computation such that the overall
     course of the computation is not completely determined by the
     program, the starting state, and the initial inputs.
  
     See also nondeterministic Turing Machine.
  
     (1996-05-07)