Online Computer Terms Dictionary - P

probabilistic automaton ==>

nondeterministic 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.